TY - JOUR
T1 - NoHR: An Overview: Reasoning with Ontologies and Nonmonotonic Rules
AU - Kasalica, Vedran
AU - Knorr, Matthias
AU - Leite, João
AU - Lopes, Carlos
N1 - PTDC/CCI-COM/30952/2017
UIDB/04516/2020
Sem PDF conforme despacho
PY - 2020/12
Y1 - 2020/12
N2 - Description logic ontologies, such as ontologies written in OWL, and non-monotonic rules, as known in Logic Programming, are two major approaches in Knowledge Representation and Reasoning. Even though their integration is challenging due to their inherent differences, the need to combine their distinctive features stems from real world applications. In this paper, we give an overview of NoHR, a reasoner designed to answer queries over theories composed of an OWL ontology in a Description logic and a set of non-monotonic rules. NoHR has been developed as a plug-in for the widely used ontology editor Protégé, building on a combination of reasoners dedicated to OWL and rules, but it is also available as a library, allowing for its integration within other environments and applications. It comes with support for all polynomial OWL profiles and the integration of their constructors as well as for standard built-in Prolog predicates, and allows the direct consultation of databases during query evaluation and the usage of sophisticated mechanisms, such as tabling already computed results, all of which enhances the applicability and the efficiency of query answering.
AB - Description logic ontologies, such as ontologies written in OWL, and non-monotonic rules, as known in Logic Programming, are two major approaches in Knowledge Representation and Reasoning. Even though their integration is challenging due to their inherent differences, the need to combine their distinctive features stems from real world applications. In this paper, we give an overview of NoHR, a reasoner designed to answer queries over theories composed of an OWL ontology in a Description logic and a set of non-monotonic rules. NoHR has been developed as a plug-in for the widely used ontology editor Protégé, building on a combination of reasoners dedicated to OWL and rules, but it is also available as a library, allowing for its integration within other environments and applications. It comes with support for all polynomial OWL profiles and the integration of their constructors as well as for standard built-in Prolog predicates, and allows the direct consultation of databases during query evaluation and the usage of sophisticated mechanisms, such as tabling already computed results, all of which enhances the applicability and the efficiency of query answering.
KW - Description logic ontologies
KW - Query answering
KW - Rule-based languages
UR - http://www.scopus.com/inward/record.url?scp=85097491810&partnerID=8YFLogxK
U2 - 10.1007/s13218-020-00650-1
DO - 10.1007/s13218-020-00650-1
M3 - Article
AN - SCOPUS:85097491810
SN - 0933-1875
VL - 34
SP - 509
EP - 515
JO - KI - Kunstliche Intelligenz
JF - KI - Kunstliche Intelligenz
IS - 4(SI)
ER -