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
|
主題: |
類似資料
-
The HermiT OWL Reasoner
著者:: Horrocks, I, 等
出版事項: (2012) -
Commonsense reasoning : an event calculus based approach /
著者:: Mueller, Erik T.
出版事項: (2015) -
Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedings /
著者:: Holldobler, Steffen, 1957-, 等
出版事項: (2008) -
Mathematical reasoning /
著者:: 344032 Harnadek, Anita
出版事項: (1969) -
Mathematics and plausible reasoning /
著者:: Polya, George, 1887-1985
出版事項: (1954)