HermiT: An OWL 2 Reasoner

Erstveröffentlichung
2014
Metadata only
Search for full text
Wissenschaftlicher Artikel


Authors
Glimm, Birte
Horrocks, Ian
Motik, Boris
Stoilos, Giorgos
Wang, Zhe
Faculties
Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
Institutions
Institut für Künstliche Intelligenz
Published in
Journal of Automated Reasoning ; 53 (2014), 3. - S. 245-269. - ISSN 0168-7433. - eISSN 1573-0670
Link to publication
https://dx.doi.org/10.1007/s10817-014-9305-1
Keywords
Ontologies; OWL; Class classification; Property classification; Optimisations; DL
Dewey Decimal Group
DDC 000 / Computer science, information & general works
Metadata
Show full item record