Querying LUBM with non-monotonic features in protégé using NoHR

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

1 Citation (Scopus)


The Protégé plug-in NoHR, which 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), has recently been extended to OWL 2 QL in a non-trivial way. In this paper, we showcase this extension using an OWL 2 QL version of the well-known LUBM benchmark ontology that preserves all its reasoning features and, in addition, introduce meaningful non-monotonic rules. We can then query this extended knowledge base making use of the data sets that can be generated with LUBM. The demo will thus not only showcase the extension(s) of the tool NoHR, but also its usability with potentially large data sets.

Original languageEnglish
Title of host publicationProceedings of the ISWC 2015 Posters and Demonstrations Track co-located with the 14th International Semantic Web Conference (ISWC 2015)
EditorsJ. Z. Pan, S. Villata, M. Dragoni
Publication statusPublished - 2015
Event14th International Semantic Web Conference (ISWC 2015) - Bethlehem, United States
Duration: 11 Oct 201515 Oct 2015
Conference number: 14th

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073


Conference14th International Semantic Web Conference (ISWC 2015)
Abbreviated titleISWC 2015
CountryUnited States


  • Birds
  • Knowledge based systems
  • Logic programming
  • Defaults and exceptions
  • Knowledge base
  • Large datasets
  • Monotonic rules
  • Non-trivial
  • Plug-ins


Dive into the research topics of 'Querying LUBM with non-monotonic features in protégé using NoHR'. Together they form a unique fingerprint.

Cite this