Proposta de dissertação do MEI Título: NoHR - A showcase application Proponente(s): João Leite and Matthias Knorr Créditos: 42 ECTS Área científica: Decision Support and Artificial Intelligence Início preferencial: Qualquer semestre URL: Já estão em curso trabalhos preliminares executados pelo alunos: Breve descrição: NoHR (Nova Hybrid Reasoner) is a plug-in for the ontology editor Protégé that allows its users to query knowledge bases composed of both an ontology in OWL 2 EL or OWL 2 QL and a set of Reasoning Rules. Using a top-down reasoning approach, which means that only the part of the ontology and rules that is relevant for the query is actually evaluated, NoHR combines the capabilities of ELK and a dedicated direct translation for OWL 2 EL and OWL 2 QL, respectively, with the rule engine XSB Prolog to deliver very fast interactive response times. The theory on which NoHR is based, including its expressive power and potential practical benefits, is well-studied and -understood, and NoHR has reached a development state where it can be used in practical applications. The goal of this dissertation is to develop an application that uses NoHR – NOVA Hybrid Reasoner. Observações: A good student adopting this topic will be awarded a NOVA LINCS research grant.