Computer Science
Birte Glimm, Ian Horrocks, B. Motik, G. Stoilos, Zhe Wang
2014.10.1JOURNAL OF AUTOMATED REASONING
Abstract
Abstract is not available.
Citation format
GLIMM, Birte, et al. Hermit: An OWL 2 reasoner. JOURNAL OF AUTOMATED REASONING, 2014, 53: 245–269.