Difference between revisions of "NoHR"
| (9 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Plugin | {{Plugin | ||
| − | |Description=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 and a set of Reasoning Rules. | + | |Description=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 for OWL 2 EL and the rule engine XSB Prolog to deliver very fast interactive response times. | + | 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. |
|PluginType=Reasoner | |PluginType=Reasoner | ||
|PluginType2=Tab Widget | |PluginType2=Tab Widget | ||
| − | |ForApplication1=Protege-OWL | + | |ForApplication1=Protege-OWL 5.0 |
| − | |ForApplication2 | + | |ForApplication2=Protege-OWL 4.3 |
| − | + | |Screenshot=NoHRv2.png | |
| − | |Screenshot= | ||
|HomepageURL=http://centria.di.fct.unl.pt/nohr/ | |HomepageURL=http://centria.di.fct.unl.pt/nohr/ | ||
| − | |DeveloperID1=Vadim Ivanov | + | |DeveloperID1=Nuno Costa |
| − | | | + | |DeveloperID2=Vadim Ivanov |
| − | | | + | |DeveloperID3=Matthias Knorr |
| − | |LastUpdated=October | + | |DeveloperID4=João Leite |
| + | |LastUpdated=October 1, 2015 | ||
|Topic1=Reasoning | |Topic1=Reasoning | ||
|Topic2=Inference | |Topic2=Inference | ||
|Topic3=Query | |Topic3=Query | ||
|Topic4=Semantic Web | |Topic4=Semantic Web | ||
| − | |Affiliation1=Nova | + | |License=Mozilla Public License 2.0 |
| + | |Affiliation1=Universidade Nova de Lisboa | ||
}} | }} | ||
| + | |||
| + | <div style="clear: both; "></div> | ||
| + | Further information can be obtained from the webpage or from the papers at [http://centria.di.fct.unl.pt/~mknorr/resources/ISWC13.pdf ISWC 2013] and at [http://centria.di.fct.unl.pt/~mknorr/resources/ISWC15.pdf ISWC 2015]. | ||
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.
