Download pt.unl.fct.novalincs JAR files with all dependencies

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 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 respectively combines the capabilities of ELK for OWL 2 EL and a dedicated direct translation for OWL 2 QL with the rule engine XSB Prolog to deliver very fast interactive response times. NoHR is the first hybrid reasoner of its kind for Protégé. NoHR is also distributed as an API.