Next step for NoHR: OWL 2 QL

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Citations (Scopus)

Abstract

The Protégé plug-in NoHR allows the user to combine an OWL 2 EL ontology with a set of non-monotonic (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 non-trivial solution for the extension of NoHR to OWL 2 QL by directly translating the ontology into rules without any prior classification. We have implemented our approach and our evaluation shows encouraging results.

Original languageEnglish
Title of host publicationThe Semantic Web – ISWC 2015 - 14th International Semantic Web Conference, Proceedings
PublisherSpringer-Verlag
Pages569-586
Number of pages18
Volume9366
ISBN (Electronic)978-3-319-25007-6
ISBN (Print)978-3-319-25006-9
DOIs
Publication statusPublished - 2015
Event14th International Semantic Web Conference, ISWC 2015 - Bethlehem, United States
Duration: 11 Oct 201515 Oct 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer International Publishing
Volume9366
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference14th International Semantic Web Conference, ISWC 2015
CountryUnited States
CityBethlehem
Period11/10/1515/10/15

Keywords

  • DL-LITE FAMILY
  • DESCRIPTION LOGICS
  • SYSTEM

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

Cite this