Difference between revisions of "NoHR"
| Line 7: | Line 7: | ||
|ForApplication1=Protege-OWL 5.0 | |ForApplication1=Protege-OWL 5.0 | ||
|ForApplication2=Protege-OWL 4.3 | |ForApplication2=Protege-OWL 4.3 | ||
| − | |Screenshot= | + | |Screenshot=NoHRv2.png |
|HomepageURL=http://centria.di.fct.unl.pt/nohr/ | |HomepageURL=http://centria.di.fct.unl.pt/nohr/ | ||
|DeveloperID1=Nuno Costa | |DeveloperID1=Nuno Costa | ||
Latest revision as of 07:27, October 12, 2015
NoHR
| Type | Reasoner, Tab Widget |
| Author(s) | Nuno Costa, Vadim Ivanov, Matthias Knorr, João Leite |
| Last Update | October 1, 2015 |
| License | Mozilla Public License 2.0 |
| Homepage | NoHR website |
| For Application | |
| Topic(s) | |
| Affiliation |
NoHR (Nova Hybrid Reasoner) is a plug-in for Protégé that allows its users to query knowledge bases composed of an ontology in OWL 2 EL or OWL 2 QL (from version 2.0.0 on) 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.
Contents
Versions & Compatibility
This section lists available versions of NoHR.
| Version | Compatible with | Dependencies |
|---|---|---|
| NoHR 2.0.0 | Protege-OWL 5.0.0 | XSB Prolog |
| NoHR 1.0.0 | Protege-OWL 4.3 | XSB Prolog |
If you click on the button below to add a new version of NoHR, you will be asked to define a page title for the new version. Please adhere to the naming convention of NoHR X.X.X when you define the new page!
Changelog
| Version | Changes in this version |
|---|---|
| NoHR 2.0.0 | Complete revamp for performance improvements, new support of the OWL 2 QL profile in addition to OWL 2 EL, and a new rule parser for improved rule edition and querying. |
| NoHR 1.0.0 | Initial Release of NoHR for querying combinations of OWL 2 EL ontologies (as admitted in the ELK 0.4.0 libraries) and non-monotonic rules in an easy-to-read declarative rule language. |
Further information can be obtained from the webpage or from the papers at ISWC 2013 and at ISWC 2015.
