Observed since 20 Oct, 22:58 UTC
No superseded metadata states collected. Unchanged observations do not create new revisions.
pt.unl.fct.novalincs:nohr
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.
Download counts and popularity will appear here as the collector receives them.
Declarations describe requirements; they are not a resolved dependency graph.
Source distribution · 5.42 KB
Observed since 20 Oct, 22:58 UTC
No superseded metadata states collected. Unchanged observations do not create new revisions.
package_version:1b3d1cc5894400841e82598843561a7ee6b36f5aa284e41cd4e4b7bbc112d133