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...
Hlavní autoři: | Glimm, B, Horrocks, I, Motik, B, Stoilos, G, Wang, Z |
---|---|
Médium: | Journal article |
Jazyk: | English |
Vydáno: |
Springer Netherlands
2014
|
Témata: |
Podobné jednotky
-
The HermiT OWL Reasoner
Autor: Horrocks, I, a další
Vydáno: (2012) -
Commonsense reasoning : an event calculus based approach /
Autor: Mueller, Erik T.
Vydáno: (2015) -
Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedings /
Autor: Holldobler, Steffen, 1957-, a další
Vydáno: (2008) -
Mathematical reasoning /
Autor: 344032 Harnadek, Anita
Vydáno: (1969) -
Mathematics and plausible reasoning /
Autor: Polya, George, 1887-1985
Vydáno: (1954)