Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/iswc2013/poster-demo-proceedings/paper-12> ?p ?o. }
Showing items 1 to 7 of
7
with 100 items per page.
- paper-12 type InProceedings.
- paper-12 label "NoHR: Querying EL with Non-monotonic rules".
- paper-12 sameAs paper-12.
- paper-12 abstract "We present NoHR, a Protege plug-in that allows the user to take an EL ontology, add a set of non-monotonic (logic programming) rules - suitable e.g. to express defaults and exceptions - and query the combined knowledge base. Provided the given ontology alone is consistent, the system is capable of dealing with potential inconsistencies between the ontology and the rules, and, after an initial brief pre-processing period utilizing OWL 2 EL reasoner ELK, returns answers to queries at an interactive response time by means of XSB Prolog.".
- paper-12 hasAuthorList authorList.
- paper-12 isPartOf poster-demo-proceedings.
- paper-12 title "NoHR: Querying EL with Non-monotonic rules".