Computer Science

Birte Glimm, Ian Horrocks, B. Motik, G. Stoilos, Zhe Wang

2014.10.1JOURNAL OF AUTOMATED REASONING

DOI: 10.1007/s10817-014-9305-1

Abstract

Abstract is not available.

Citation format

GLIMM, Birte, et al. Hermit: An OWL 2 reasoner. JOURNAL OF AUTOMATED REASONING, 2014, 53: 245–269.