HermiT - Revision history

Markus Krötzsch: updated name of affiliation

2011-08-02T08:08:35Z

updated name of affiliation

JenniferVendetti at 00:24, March 5, 2010

2010-03-05T00:24:25Z

JenniferVendetti: updated last updated property

2010-03-05T00:24:08Z

updated last updated property

JenniferVendetti at 00:19, March 5, 2010

2010-03-05T00:19:18Z

B.glimm at 23:17, December 16, 2009

2009-12-16T23:17:37Z

B.glimm at 23:17, December 16, 2009

2009-12-16T23:17:09Z

B.glimm at 23:15, December 16, 2009

2009-12-16T23:15:59Z

B.glimm at 23:15, December 16, 2009

2009-12-16T23:15:32Z

B.glimm at 23:14, December 16, 2009

2009-12-16T23:14:56Z

B.glimm: Created page with '{{Plugin |Description=HermiT is an OWL 2 DL reasoner based on the hypertableau calculus. |PluginType=Backend |ForApplication1=Protege-OWL |HomepageURL=http://www.hermit-reasoner...'

2009-12-01T17:29:13Z

Created page with '{{Plugin |Description=HermiT is an OWL 2 DL reasoner based on the hypertableau calculus. |PluginType=Backend |ForApplication1=Protege-OWL |HomepageURL=http://www.hermit-reasoner...'

New page

{{Plugin
|Description=HermiT is an OWL 2 DL reasoner based on the hypertableau calculus.
|PluginType=Backend
|ForApplication1=Protege-OWL
|HomepageURL=http://www.hermit-reasoner.com
|DeveloperID1=Boris Motik
|DeveloperID2=Birte Glimm
|DeveloperID3=Giorgos Stoilos
|DeveloperID4=Ian Horrocks
|DeveloperID5=Rob Shearer
|LastUpdated=October 23, 2009
|Topic1=Reasoning
|Topic2=Inference
|License=http://www.gnu.org/licenses/gpl.html
|Affiliation1=Oxford University Computing Laboratory
}}
HermiT is reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.

HermiT is the first publicly-available OWL reasoner based on a novel “hypertableau” calculus which provides much more efficient reasoning than any previously-known algorithm. Ontologies which previously required minutes or hours to classify can often by classified in seconds by HermiT, and HermiT is the first reasoner able to classify a number of ontologies which had previously proven too complex for any available system to handle.

@@ Line 13: / Line 13: @@
 |Topic2=Inference
 |License=LGPL
-|Affiliation1=Oxford University Computing Laboratory
+|Affiliation1=University of Oxford
 }}

@@ Line 2: / Line 2: @@
 |Description=HermiT is reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.
-HermiT is the first publicly-available OWL reasoner based on a novel hypertableau calculus which provides much more efficient reasoning than any previously-known algorithm. Ontologies which previously required minutes or hours to classify can often by classified in seconds by HermiT, and HermiT is the first reasoner able to classify a number of ontologies which had previously proven too complex for any available system to handle.
+HermiT is based on a novel hypertableau calculus which provides much more efficient reasoning than any previously-known algorithm. Ontologies which previously required minutes or hours to classify can often by classified in seconds by HermiT, and HermiT is the first reasoner able to classify a number of ontologies which had previously proven too complex for any available system to handle.
 |PluginType=Backend
 |ForApplication1=Protege-OWL

@@ Line 1: / Line 1: @@
 {{Plugin
-|Description=HermiT is reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.
+|Description=HermiT is a reasoner for ontologies written using the Web Ontology Language (OWL). Given an OWL file, HermiT can determine whether or not the ontology is consistent, identify subsumption relationships between classes, and much more.
 |PluginType=Reasoner
 |ForApplication1=Protege-OWL
@@ Line 9: / Line 9: @@
 |DeveloperID4=Ian Horrocks
 |DeveloperID5=Rob Shearer
-|LastUpdated=October 23, 2009
+|LastUpdated=March 1, 2010
 |Topic1=Reasoning
 |Topic2=Inference