Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2013/proceedings-1/paper-14> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- paper-14 type InProceedings.
- paper-14 label "A Query Tool for EL with Non-monotonic rules".
- paper-14 sameAs paper-14.
- paper-14 abstract "We present the Protégé plug-in NoHR that allows the user to take an E L+⊥ ontology, add a set of non-monotonic (logic programming) rules – suitable e.g. to express defaults and exceptions – and query the combined knowledge base. Our approach uses the well-founded semantics for MKNF knowledge bases as underlying formalism, so no restriction other than DL-safety is imposed on the rules that can be written. The tool itself builds on the procedure SLG(O) and, with the help of OWL 2 EL reasoner ELK, pre-processes the ontology into rules, whose result together with the non-monotonic rules serve as input for the topdown querying engine XSB Prolog. With the resulting plug-in, even queries to very large ontologies, such as SNOMED CT, augmented with a large number of rules, can be processed at an interactive response time after one initial brief pre-processing period. At the same time, our system is able to deal with possible inconsistencies between the rules and an ontology that alone is consistent.".
- paper-14 hasAuthorList authorList.
- paper-14 isPartOf proceedings-1.
- paper-14 title "A Query Tool for EL with Non-monotonic rules".