Extending NoHR for OWL 2 QL

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

12 Downloads (Pure)

Abstract

The Protégé plug-in NoHR allows the user to combine an OWL 2 EL ontology with a set of nonmonotonic (logic programming) rules - suitable, e.g., to express defaults and exceptions - and query the combined knowledge base (KB). The formal approach realized in NoHR is polynomial (w.r.t. data complexity) and it has been shown that even very large health care ontologies, such as SNOMED CT, can be handled. As each of the tractable OWL profiles is motivated by different application cases, extending the tool to the other profiles is of particular interest, also because these preserve the polynomial data complexity of the combined formalism. Yet, a straightforward adaptation of the existing approach to OWL 2 QL turns out to not be viable. In this paper, we provide the nontrivial solution for the extension of NoHR to OWL 2 QL by directly translating the ontology into rules without any prior pre-processing or classification. We have implemented our approach and our evaluation shows encouraging results.

Original languageEnglish
Title of host publicationJoint Ontology Workshops 2015, JOWO 2015 - Episode 1
Subtitle of host publicationThe Argentine Winter of Ontology
EditorsL. Garcia , T. Meyer , S. Borgo , S. Benferhat , E. Ferme , D. Porello , K. Baclawski , A. Krisnadhi , P. Klinov , T. Hahmann , O. Papini , M. Mugnier , R. Wassermann , O. Kutz
PublisherCEUR-WS
Publication statusPublished - 2015
EventJoint Ontology Workshops (JOWO 2015) - Buenos Aires, Argentina
Duration: 25 Jul 201527 Jul 2015

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR-WS
Volume1517
ISSN (Print)1613-0073

Conference

ConferenceJoint Ontology Workshops (JOWO 2015)
Abbreviated titleJOWO 2015
CountryArgentina
CityBuenos Aires
Period25/07/1527/07/15

Keywords

  • Artificial intelligence
  • Knowledge based systems
  • Logic programming
  • Data complexity
  • Defaults and exceptions
  • Formal approach
  • Knowledge base
  • Nonmonotonic
  • Nontrivial solution
  • Polynomial data
  • Pre-processing

Fingerprint Dive into the research topics of 'Extending NoHR for OWL 2 QL'. Together they form a unique fingerprint.

  • Cite this

    Costa, N., Knorr, M., & Leite, J. (2015). Extending NoHR for OWL 2 QL. In L. Garcia , T. Meyer , S. Borgo , S. Benferhat , E. Ferme , D. Porello , K. Baclawski , A. Krisnadhi , P. Klinov , T. Hahmann , O. Papini , M. Mugnier , R. Wassermann , & O. Kutz (Eds.), Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology (CEUR Workshop Proceedings; Vol. 1517). CEUR-WS.