TY - GEN
T1 - NoHR
T2 - 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017
AU - Lopes, Carlos
AU - Leite, João
AU - Knorr, Matthias
N1 - Sem PDF.
Fundacao para a Ciencia e a Tecnologia (FCT) (UID/CEC/04516/2013;
SFRH/BPD/86970/2012)
PY - 2017
Y1 - 2017
N2 - We present the latest, substantially improved, version of NoHR, a reasoner designed to answer queries over hybrid theories composed of an OWL ontology in Description Logics and a set of nonmonotonic rules in Logic Programming. Whereas the need to combine the distinctive features of these two knowledge representation and reasoning approaches stems from real world applications, their integration is nevertheless theoretically challenging due to their substantial semantical differences. NoHR has been developed as a plug-in for the widely used ontology editor Protégé - in fact, the first hybrid reasoner of its kind for 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. Compared to previous versions of NoHR, this is the first that supports all polynomial OWL profiles, and even beyond, allowing for its usage with real-world ontologies that do not fit within a single profile. In addition, NoHR has now an enhanced integration with its rule engine, which provides support for a vast number of standard built-in Prolog predicates that considerably extend its usability.
AB - We present the latest, substantially improved, version of NoHR, a reasoner designed to answer queries over hybrid theories composed of an OWL ontology in Description Logics and a set of nonmonotonic rules in Logic Programming. Whereas the need to combine the distinctive features of these two knowledge representation and reasoning approaches stems from real world applications, their integration is nevertheless theoretically challenging due to their substantial semantical differences. NoHR has been developed as a plug-in for the widely used ontology editor Protégé - in fact, the first hybrid reasoner of its kind for 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. Compared to previous versions of NoHR, this is the first that supports all polynomial OWL profiles, and even beyond, allowing for its usage with real-world ontologies that do not fit within a single profile. In addition, NoHR has now an enhanced integration with its rule engine, which provides support for a vast number of standard built-in Prolog predicates that considerably extend its usability.
KW - Description logic ontologies
KW - Logic programming
KW - Query answering
UR - http://www.scopus.com/inward/record.url?scp=85025148927&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-61660-5_22
DO - 10.1007/978-3-319-61660-5_22
M3 - Conference contribution
AN - SCOPUS:85025148927
SN - 9783319616599
VL - 10377 LNAI
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 236
EP - 249
BT - Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings
PB - Springer Verlag
Y2 - 3 July 2017 through 6 July 2017
ER -