Title: NoHR - Querying EL Ontologies and Non-Monotonic Rules
By: Matthias Knorr (CENTRIA)
Abstract:
In this talk, we present a plug-in for the ontology editor Protégé called NoHR 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. 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 top- down querying engine XSB Prolog. With the resulting Protégé plug-in, the first of its kind, 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.
Short-bio:
Matthias Knorr holds a Master in Computational Logic from both Technische Universität Dresden, Germany, and Universidade Nova de Lisboa (UNL), Portugal, and a PhD from UNL since 2011 with the thesis "Combining open and closed world reasoning for the Semantic Web". After being a visiting researcher at Kno.e.sis Center, Wright State University, Dayton, Ohio, USA, in September 2011, he became a PostDoc Researcher at CENTRIA at FCT-UNL. His work focusses on Knowledge Representation and Reasoning (KRR) with a particular focus on KRR related to the Semantic Web.