HermiT: An OWL 2 Reasoner

Glimm, Birte; Horrocks, Ian; Motik, Boris; Stoilos, Giorgos; Wang, Zhe

doi:10.1007/s10817-014-9305-1

Cited by 486 publications

(320 citation statements)

References 28 publications

Supporting

Mentioning

311

Contrasting

Unclassified

Order By: Relevance

“…Hence, we feel that one of its interesting features is that any application developer can plug his/her system into Hydrowl with minimum implementation effort and, moreover, many different combinations of systems are possible. This is also supported by the fact that we have already provided implementations in Hydrowl that combine the OWL 2 RL reasoner OWLim [1] with HermiT [10], with HermiT-BGP [5], and with Rapid [11].…”

Section: Introductionmentioning

confidence: 90%

“…So far we have provided implementations of CompleteReasoner using the standard HermiT reasoner [10] and HermiT-BGP [5], an implementation of QueryRewritingSystem using Rapid [11], and an implementation of IncompleteReasoner using OWLim, however, we envision that OWL 2 DL systems such as Pellet, query rewriting systems such as Ontop and Clipper, as well as OWL 2 RL systems and triple stores such as Apache Jena, RDFox, and Stardog can be easily integrated.…”

Section: Fig 1 Main Components Of Hydrowlmentioning

confidence: 99%

See 1 more Smart Citation

Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies

Stoilos

2014

Web Reasoning and Rule Systems

Self Cite

View full text Add to dashboard Cite

Abstract. This system description paper introduces the OWL 2 query answering system Hydrowl. Hydrowl is based on novel hybrid techniques which in order to compute the query answers combine at run-time a reasoner ans1 supporting a (tractable) fragment of OWL 2 (e.g., OWL 2 QL and OWL 2 RL) with a fully-fledged OWL 2 DL reasoner ans2. The motivation is that if most of the (query answering) work is delegated to the (usually) very scalable system ans1 while the interaction with ans2 is kept to a bare minimum, then we can possibly provide with scalable query answering even over expressive fragments of OWL 2 DL. We discuss the system's architecture and we present an overview of the techniques used. Finally, we present some first encouraging experimental results.

show abstract

Section: Introductionmentioning

confidence: 90%

Section: Fig 1 Main Components Of Hydrowlmentioning

confidence: 99%

Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies

Stoilos

2014

Web Reasoning and Rule Systems

Self Cite

View full text Add to dashboard Cite

show abstract

“…The Hermit reasoner [42] is the first reasoner using hypertableau calculcus, resulting in a more efficient reasoning process than other reasoners.…”

Section: Hermitmentioning

confidence: 99%

The OCarePlatform: A context-aware system to support independent living

Backere

Bonte

Verstichel

et al. 2017

Computer Methods and Programs in Biomedicine

View full text Add to dashboard Cite

Background: Currently, healthcare services, such as institutional care facilities, are burdened with an increasing number of elderly people and individuals with chronic illnesses and a decreasing number of competent caregivers.Objectives: To relieve the burden on healthcare services, independent living at home could be facilitated, by offering individuals and their (in)formal caregivers support in their daily care and needs. With the rise of pervasive healthcare, new information technology solutions can assist elderly people ("residents") and their caregivers to allow residents to live independently for as long as possible.Methods: To this end, the OCarePlatform system was designed. This semantic, data-driven and cloud-based back-end system facilitates independent living by offering information and knowledge-based services to the resident and his/her (in)formal caregivers. Data and context information are gathered to realize context-aware and personalized services and to support residents in meeting their daily needs. This body of data, originating from heterogeneous data and information sources, is sent to personalized services, where is fused, thus creating an overview of the resident's current situation.Results: The architecture of the OCarePlatform is proposed, which is based on a service-oriented approach, together with its different components and their interactions. The implementation details are presented, together with a run- * Corresponding author; Tel: +32 9 331 49 38; Fax: +32 9 331 48 99Email addresses: femke.debackere@intec.ugent.be (F. De Backere), pieter.bonte@intec.ugent.be (P. Bonte), stijn.verstichel@intec.ugent.be (S. Verstichel), femke.ongenae@intec.ugent.be (F. Ongenae), filip.deturck@intec.ugent.be (F. De Turck) Preprint submitted to ElsevierNovember 25, 2016 ning example. A scalability and performance study of the OCarePlatform was performed. The results indicate that the OCarePlatform is able to support a realistic working environment and respond to a trigger in less than 5 seconds.The system is highly dependent on the allocated memory.Conclusions: The data-driven character of the OCarePlatform facilitates easy plug-in of new functionality, enabling the design of personalized, context-aware services. The OCarePlatform leads to better support for elderly people and individuals with chronic illnesses, who live independently.

show abstract

“…The T-Box of an ontology is firstly classified by a tableauxbased reasoner, such as Pellet [27], FaCT++ [28] or Hermit [29], in order to obtain the complete set of subsumption relationships w.r.t. the T-Box.…”

Section: Our Approachmentioning

confidence: 99%

Transactional and Incremental Type Inference from Data Updates

Liu

McBrien

2015

Data Science

View full text Add to dashboard Cite

A distinctive property of relational database systems is the ability to perform data updates and queries in atomic blocks called transactions, with the well-known atomicity, consistency, isolation and durability (ACID) properties. To date, the ability of systems performing reasoning to maintain the ACID properties, even over data held within a relational database, has been largely ignored. This article studies an approach to reasoning over data from web ontology language (OWL) 2 RL ontologies held in a relational database, where the ACID properties of transactions are maintained. Taking an incremental approach to maintaining materialised views of the result of reasoning, the approach is demonstrated to support a query and reasoning performance comparable to or better than other OWL reasoning systems, yet adding the important benefit of supporting transactions.

show abstract

HermiT: An OWL 2 Reasoner

Cited by 486 publications

References 28 publications

Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies

Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies

The OCarePlatform: A context-aware system to support independent living

Transactional and Incremental Type Inference from Data Updates

Contact Info

Product

Resources

About