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 , den OWL Editor oder die Kommandozeile benutzt werden. HermiT ist unter der Lizenz erh盲ltlich und l盲uft auf allen Betriebssystemen, die Java 1.6 oder h枚her unterst眉tzen.
HermiT stammt von der 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 .
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
叠眉谤辞
James-Franck-Ring
Geb盲ude O27, 4. Niveau
Raum 448