HermiT: An OWL 2 Reasoner

By Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang. Journal of automated reasoning, 2014

727 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Information Systems, Molecular Biology

View Paper: https://www.semanticscholar.org/paper/cde4ef129340d21aec4519560db351e69abcd8bd