Der HermiT Reasoner
HermiT ist ein Schlussfolgerungstool (Reasoner) für OWL 2 Ontologien, der alle OWL 2 DL Features unterstützt. HermiT is ein kostenlos verfügbarer open source Reasoner, der an der University of Oxford und der Universität Ulm entwickelt wird. Der Reasoner ist in Java implementiert und kann über das OWL API, den Protégé OWL Editor oder die Kommandozeile benutzt werden. HermiT ist unter der LGPL 3.0 Lizenz erhältlich und läuft auf allen Betriebssystemen, die Java 1.6 oder höher unterstützen.
HermiT stammt von der Information Systems Group der University of Oxford, wo Birte Glimm Teil des Entwicklerteams war. Sie setzt Ihre Arbeit an HermiT auch an der Universität Ulm in Zusammenarbeit mit Mitarbeitern der University of Oxford fort.
Weitere Informationen zu HermiT sind auf der HermiT Website.
Kontakt
E-Mail: Birte.Glimm(at)uni-ulm.de
Telefon: +49 (0)731/50-24125
Telefax: +49 (0)731/50-24119
Postanschrift
Birte Glimm
Universität Ulm
Institut für Künstliche Intelligenz
D-89069 Ulm
Büro
James-Franck-Ring
Gebäude O27, 4. Niveau
Raum 448