Querying LUBM with Non-monotonic Features in Protege using NoHR?
Nuno Costa, Matthias Knorr · 2016
Abstract. The Protége ́ 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 knowl-edge 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. 1