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...
Prif Awduron: | Glimm, B, Horrocks, I, Motik, B, Stoilos, G, Wang, Z |
---|---|
Fformat: | Journal article |
Iaith: | English |
Cyhoeddwyd: |
Springer Netherlands
2014
|
Pynciau: |
Eitemau Tebyg
-
The HermiT OWL Reasoner
gan: Horrocks, I, et al.
Cyhoeddwyd: (2012) -
Commonsense reasoning : an event calculus based approach /
gan: Mueller, Erik T.
Cyhoeddwyd: (2015) -
Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedings /
gan: Holldobler, Steffen, 1957-, et al.
Cyhoeddwyd: (2008) -
Mathematical reasoning /
gan: 344032 Harnadek, Anita
Cyhoeddwyd: (1969) -
Mathematics and plausible reasoning /
gan: Polya, George, 1887-1985
Cyhoeddwyd: (1954)