https://protegewiki.stanford.edu/api.php?action=feedcontributions&user=Matthias+Knorr&feedformat=atomProtege Wiki - User contributions [en]2024-03-28T17:11:38ZUser contributionsMediaWiki 1.27.7https://protegewiki.stanford.edu/index.php?title=NoHR&diff=13249NoHR2015-10-12T15:27:30Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 5.0<br />
|ForApplication2=Protege-OWL 4.3<br />
|Screenshot=NoHRv2.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Nuno Costa<br />
|DeveloperID2=Vadim Ivanov<br />
|DeveloperID3=Matthias Knorr<br />
|DeveloperID4=João Leite<br />
|LastUpdated=October 1, 2015<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|License=Mozilla Public License 2.0<br />
|Affiliation1=Universidade Nova de Lisboa<br />
}}<br />
<br />
<div style="clear: both; "></div><br />
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].</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=File:NoHRv2.png&diff=13248File:NoHRv2.png2015-10-12T15:26:11Z<p>Matthias Knorr: Showing the query tab of NoHR 2.0.0 with an example based on the LUBM benchmark ontology.</p>
<hr />
<div>Showing the query tab of NoHR 2.0.0 with an example based on the LUBM benchmark ontology.</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=User:Matthias_Knorr&diff=13247User:Matthias Knorr2015-10-12T15:22:31Z<p>Matthias Knorr: </p>
<hr />
<div>Matthias Knorr is (as of October 2015) a postdoctoral researcher at the research center NOVA LINCS of the Universidade Nova de Lisboa in Portugal. He holds a PhD in Computer Science of the Universidade Nova de Lisboa. His research interests lie in the field of Artificial Intelligence, in particular in the area of Knowledge Representation and Reasoning.</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=13246NoHR2015-10-12T15:20:07Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 5.0<br />
|ForApplication2=Protege-OWL 4.3<br />
|Screenshot=NoHRscrshot.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Nuno Costa<br />
|DeveloperID2=Vadim Ivanov<br />
|DeveloperID3=Matthias Knorr<br />
|DeveloperID4=João Leite<br />
|LastUpdated=October 1, 2015<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|License=Mozilla Public License 2.0<br />
|Affiliation1=Universidade Nova de Lisboa<br />
}}<br />
<br />
<div style="clear: both; "></div><br />
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].</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR_1.0.0&diff=13245NoHR 1.0.02015-10-12T14:22:30Z<p>Matthias Knorr: </p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=NoHR<br />
|Number=1.0.0<br />
|LastUpdate=10/24/2013<br />
|File=http://centria.di.fct.unl.pt/nohr/install.html<br />
|CompatibleWith1=Protege-OWL 4.3<br />
|DependsOn1=XSB Prolog<br />
|Changelog=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.<br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR_2.0.0&diff=13244NoHR 2.0.02015-10-12T14:21:49Z<p>Matthias Knorr: </p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=NoHR<br />
|Number=2.0.0<br />
|LastUpdate=10/01/2015<br />
|File=http://central.maven.org/maven2/pt/unl/fct/novalincs/nohr-plugin/2.0.0/nohr-plugin-2.0.0.jar<br />
|CompatibleWith1=Protege-OWL 5.0<br />
|DependsOn1=XSB Prolog<br />
|Changelog=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.<br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=13243NoHR2015-10-12T14:21:00Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 5.0<br />
|ForApplication2=Protege-OWL 4.3<br />
|Screenshot=NoHRscrshot.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Nuno Costa<br />
|DeveloperID2=Vadim Ivanov<br />
|DeveloperID3=Matthias Knorr<br />
|DeveloperID4=João Leite<br />
|LastUpdated=October 1, 2015<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|License=Mozilla Public License 2.0<br />
|Affiliation1=Nova University of Lisbon<br />
}}<br />
<br />
<div style="clear: both; "></div><br />
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].</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=13242NoHR2015-10-12T14:19:09Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 5.0<br />
|ForApplication2=Protege-OWL 4.3<br />
|Screenshot=NoHRscrshot.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Nuno Costa<br />
|DeveloperID2=Vadim Ivanov<br />
|DeveloperID3=Matthias Knorr<br />
|DeveloperID4=João Leite<br />
|LastUpdated=October 1, 2015<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|License=Mozilla Public License 2.0<br />
|Affiliation1=Nova University of Lisbon<br />
}}<br />
<br />
|free text=}}<br />
<div style="clear: both; "></div><br />
Further information can be obtained from the webpage or from the [http://centria.di.fct.unl.pt/~mknorr/resources/ISWC13.pdf paper] at ISWC 2013.</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=13241NoHR2015-10-12T14:18:15Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 4.3<br />
|Screenshot=NoHRscrshot.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Nuno Costa<br />
|DeveloperID2=Vadim Ivanov<br />
|DeveloperID3=Matthias Knorr<br />
|DeveloperID4=João Leite<br />
|LastUpdated=October 1, 2015<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|License=Mozilla Public License 2.0<br />
|Affiliation1=Nova University of Lisbon<br />
}}<br />
<br />
<div style="clear: both; "></div><br />
Further information can be obtained from the webpage or from the [http://centria.di.fct.unl.pt/~mknorr/resources/ISWC13.pdf paper] at ISWC 2013.</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR_2.0.0&diff=13240NoHR 2.0.02015-10-12T14:11:12Z<p>Matthias Knorr: </p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=NoHR<br />
|Number=2.0.0<br />
|LastUpdate=10/01/2015<br />
|File=http://central.maven.org/maven2/pt/unl/fct/novalincs/nohr-plugin/2.0.0/nohr-plugin-2.0.0.jar<br />
|CompatibleWith1=Protege-OWL 5.0<br />
|DependsOn1=XSB Prolog<br />
|Changelog=Complete revamp for performance improvements, new support of the OWL 2 QL profile in addition to OWL 2 WL, and a new rule parser for improved rule edition and querying.<br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR_2.0.0&diff=13239NoHR 2.0.02015-10-12T14:10:49Z<p>Matthias Knorr: </p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=NoHR<br />
|Number=2.0.0<br />
|LastUpdate=10/01/2015<br />
|File=http://central.maven.org/maven2/pt/unl/fct/novalincs/nohr-plugin/2.0.0/nohr-plugin-2.0.0.jar<br />
|CompatibleWith1=Protege-OWL 5.0<br />
|DependsOn1=XSB Prolog<br />
|Changelog=Complete revamp for performance improvements, new support of the OWL 2 QL profile in addition to OWL 2 WL, and a new rule parser for improved rule edition and querying.<br />
}}<br />
<br />
|free text=}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR_2.0.0&diff=13238NoHR 2.0.02015-10-12T14:08:48Z<p>Matthias Knorr: (checkpoint save)</p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=NoHR<br />
|Number=2.0.0<br />
|LastUpdate=10/01/2015<br />
|File=http://central.maven.org/maven2/pt/unl/fct/novalincs/nohr-plugin/2.0.0/nohr-plugin-2.0.0.jar<br />
|CompatibleWith1=Protege-OWL 5.0<br />
|DependsOn1=XSB Prolog<br />
|Changelog=Complete revamp for performance improvements, new support of the OWL 2 QL profile in addition to OWL 2 WL, and a new rule parser for improved rule edition and querying.<br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR_2.0.0&diff=13237NoHR 2.0.02015-10-12T14:07:42Z<p>Matthias Knorr: (checkpoint save)</p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=NoHR<br />
|Number=2.0.0<br />
|LastUpdate=10/01/2015<br />
|File=http://central.maven.org/maven2/pt/unl/fct/novalincs/nohr-plugin/2.0.0/nohr-plugin-2.0.0.jar<br />
|CompatibleWith1=Protege-OWL 5.0<br />
|DependsOn1=XSB Prolog<br />
|Changelog=Complete revamp for performance improvements, additional support of the OWL 2 QL profile, and a new rule parser for improved rule edition and querying.<br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR_2.0.0&diff=13236NoHR 2.0.02015-10-12T14:06:50Z<p>Matthias Knorr: Created page with "{{VersionOfPlugin |VersionOf=NoHR |Number=2.0.0 |LastUpdate=01.10.2015 |File=http://central.maven.org/maven2/pt/unl/fct/novalincs/nohr-plugin/2.0.0/nohr-plugin-2.0.0.jar |Comp..."</p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=NoHR<br />
|Number=2.0.0<br />
|LastUpdate=01.10.2015<br />
|File=http://central.maven.org/maven2/pt/unl/fct/novalincs/nohr-plugin/2.0.0/nohr-plugin-2.0.0.jar<br />
|CompatibleWith1=Protege-OWL 5.0<br />
|DependsOn1=XSB Prolog<br />
|Changelog=Complete revamp for performance improvements, additional support of the OWL 2 QL profile, and a new rule parser for improved rule edition and querying.<br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=12351NoHR2013-10-29T11:15:25Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 4.3<br />
|Screenshot=NoHRscrshot.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Vadim Ivanov<br />
|DeveloperID2=Matthias Knorr<br />
|DeveloperID3=João Leite<br />
|LastUpdated=October 24, 2013<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|Affiliation1=Nova University of Lisbon<br />
}}<br />
<br />
<div style="clear: both; "></div><br />
Further information can be obtained from the webpage or from the [http://centria.di.fct.unl.pt/~mknorr/resources/ISWC13.pdf paper] at ISWC 2013.</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=12350NoHR2013-10-25T12:52:06Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 4.3<br />
|Screenshot=NoHRscrshot.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Vadim Ivanov<br />
|DeveloperID2=Matthias Knorr<br />
|DeveloperID3=João Leite<br />
|LastUpdated=October 24, 2013<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|Affiliation1=Nova University of Lisbon<br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=12349NoHR2013-10-25T12:51:33Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 4.3<br />
|Screenshot=NoHRscrshot.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Vadim Ivanov<br />
|DeveloperID2=Matthias Knorr<br />
|DeveloperID3=João Leite<br />
|LastUpdated=October 24, 2013<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|Affiliation1=Nova University of Lisbon<br />
}}<br />
<br />
|free text=}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=12348NoHR2013-10-25T01:25:45Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 4.3<br />
|Screenshot=NoHRscrshot.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Vadim Ivanov<br />
|DeveloperID2=Matthias Knorr<br />
|DeveloperID3=João Leite<br />
|LastUpdated=October 24, 2013<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|Affiliation1=Nova University of Lisbon<br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR_1.0.0&diff=12347NoHR 1.0.02013-10-25T01:23:54Z<p>Matthias Knorr: Created page with "{{VersionOfPlugin |VersionOf=NoHR |Number=1.0.0 |LastUpdate=now |File=http://centria.di.fct.unl.pt/nohr/install.html |CompatibleWith1=Protege-OWL 4.3 |DependsOn1=XSB Prolog |C..."</p>
<hr />
<div>{{VersionOfPlugin<br />
|VersionOf=NoHR<br />
|Number=1.0.0<br />
|LastUpdate=now<br />
|File=http://centria.di.fct.unl.pt/nohr/install.html<br />
|CompatibleWith1=Protege-OWL 4.3<br />
|DependsOn1=XSB Prolog<br />
|Changelog=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. <br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=12346NoHR2013-10-25T01:08:44Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 4.3<br />
|Screenshot=NoHRscrshot.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Vadim Ivanov<br />
|DeveloperID2=Matthias Knorr<br />
|DeveloperID3=João Leite<br />
|LastUpdated=October 24, 2013<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|Affiliation1=Nova University of Lisbon<br />
}}<br />
<br />
|free text=}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=12345NoHR2013-10-25T01:08:08Z<p>Matthias Knorr: </p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 4.1<br />
|ForApplication2=Protege-OWL 4.2<br />
|ForApplication3=Protege-OWL 4.3<br />
|Screenshot=NoHRscrshot.png<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Vadim Ivanov<br />
|DeveloperID2=Matthias Knorr<br />
|DeveloperID3=João Leite<br />
|LastUpdated=October 24, 2013<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|Affiliation1=Nova University of Lisbon<br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=NoHR&diff=12344NoHR2013-10-25T01:06:48Z<p>Matthias Knorr: Created page with "{{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 Re..."</p>
<hr />
<div>{{Plugin<br />
|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.<br />
<br />
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.<br />
|PluginType=Reasoner<br />
|PluginType2=Tab Widget<br />
|ForApplication1=Protege-OWL 4.1<br />
|ForApplication2=Protege-OWL 4.2<br />
|ForApplication3=Protege-OWL 4.3<br />
|Screenshot=[[File:NoHRscrshot.png]]<br />
|HomepageURL=http://centria.di.fct.unl.pt/nohr/<br />
|DeveloperID1=Vadim Ivanov<br />
|DeveloperID2=Matthias Knorr<br />
|DeveloperID3=João Leite<br />
|LastUpdated=October 24, 2013<br />
|Topic1=Reasoning<br />
|Topic2=Inference<br />
|Topic3=Query<br />
|Topic4=Semantic Web<br />
|Affiliation1=Nova University of Lisbon<br />
}}</div>Matthias Knorrhttps://protegewiki.stanford.edu/index.php?title=File:NoHRscrshot.png&diff=12343File:NoHRscrshot.png2013-10-25T00:56:21Z<p>Matthias Knorr: Screenshot showing the query tab of the NoHR reasoner plug-in for Protégé.</p>
<hr />
<div>Screenshot showing the query tab of the NoHR reasoner plug-in for Protégé.</div>Matthias Knorr