Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

NoHR - Querying EL Ontologies and Non-Monotonic Rules

Main informationBy: Matthias Knorr (CENTRIA)

Date: Wednesday, 22nd of January 2014, 14h00

Location: FCT/UNL, Seminar Room (Ed. II)
AbstractIn 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-bioMatthias 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.
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT