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...
Những tác giả chính: | Glimm, B, Horrocks, I, Motik, B, Stoilos, G, Wang, Z |
---|---|
Định dạng: | Journal article |
Ngôn ngữ: | English |
Được phát hành: |
Springer Netherlands
2014
|
Những chủ đề: |
Những quyển sách tương tự
-
The HermiT OWL Reasoner
Bằng: Horrocks, I, et al.
Được phát hành: (2012) -
Commonsense reasoning : an event calculus based approach /
Bằng: Mueller, Erik T.
Được phát hành: (2015) -
Logics in artificial intelligence : 11th European conference, JELIA 2008 Dresden, Germany, September/October 2008 : proceedings /
Bằng: Holldobler, Steffen, 1957-, et al.
Được phát hành: (2008) -
Mathematical reasoning /
Bằng: 344032 Harnadek, Anita
Được phát hành: (1969) -
Mathematics and plausible reasoning /
Bằng: Polya, George, 1887-1985
Được phát hành: (1954)