NoHR

Integrating XSB prolog with the OWL 2 profiles and beyond

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationLogic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings
PublisherSpringer Verlag
Pages236-249
Number of pages14
Volume10377 LNAI
ISBN (Print)9783319616599
DOIs
Publication statusPublished - 2017
Event14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017 - Espoo, Finland
Duration: 3 Jul 20176 Jul 2017

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume10377 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017
CountryFinland
CityEspoo
Period3/07/176/07/17

    Fingerprint

Keywords

  • Description logic ontologies
  • Logic programming
  • Query answering

Cite this

Lopes, C., Leite, J., & Knorr, M. (2017). NoHR: Integrating XSB prolog with the OWL 2 profiles and beyond. In Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings (Vol. 10377 LNAI, pp. 236-249). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10377 LNAI). Springer Verlag. https://doi.org/10.1007/978-3-319-61660-5_22