HermiT: an OWL 2 reasoner

This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully compliant with the OWL 2 Direct Semantics as standardised by the World Wide Web Consortium (W3C). HermiT is based on the hypertableau calculus, and it supports a wide range of standard and novel optimisations t...

詳細記述

書誌詳細
主要な著者: Glimm, B, Horrocks, I, Motik, B, Stoilos, G, Wang, Z
フォーマット: Journal article
言語:English
出版事項: Springer Netherlands 2014
主題:

類似資料