NoHR

Integrating XSB prolog with the OWL 2 profiles and beyond

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

4 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

Prolog
Ontology
Knowledge Representation and Reasoning
Logic programming
Description Logics
Knowledge representation
Plug-in
Logic Programming
Real-world Applications
Predicate
Usability
Engine
Polynomials
Query
Engines
Polynomial
Profile

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
Lopes, Carlos ; Leite, João ; Knorr, Matthias. / NoHR : Integrating XSB prolog with the OWL 2 profiles and beyond. Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings. Vol. 10377 LNAI Springer Verlag, 2017. pp. 236-249 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{10ae0f48dcd2417087aa285e6aca3167,
title = "NoHR: Integrating XSB prolog with the OWL 2 profiles and beyond",
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{\'e}g{\'e} - in fact, the first hybrid reasoner of its kind for Prot{\'e}g{\'e}, 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.",
keywords = "Description logic ontologies, Logic programming, Query answering",
author = "Carlos Lopes and Jo{\~a}o Leite and Matthias Knorr",
note = "Sem PDF. Fundacao para a Ciencia e a Tecnologia (FCT) (UID/CEC/04516/2013; SFRH/BPD/86970/2012)",
year = "2017",
doi = "10.1007/978-3-319-61660-5_22",
language = "English",
isbn = "9783319616599",
volume = "10377 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "236--249",
booktitle = "Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings",
address = "Germany",

}

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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10377 LNAI, Springer Verlag, pp. 236-249, 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, Espoo, Finland, 3/07/17. https://doi.org/10.1007/978-3-319-61660-5_22

NoHR : Integrating XSB prolog with the OWL 2 profiles and beyond. / Lopes, Carlos; Leite, João; Knorr, Matthias.

Logic Programming and Nonmonotonic Reasoning - 14th International Conference, LPNMR 2017, Proceedings. Vol. 10377 LNAI Springer Verlag, 2017. p. 236-249 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10377 LNAI).

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

TY - GEN

T1 - NoHR

T2 - Integrating XSB prolog with the OWL 2 profiles and beyond

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

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

ER -

Lopes C, Leite J, Knorr M. 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. Springer Verlag. 2017. p. 236-249. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-61660-5_22