HermiT: An OWL 2 Reasoner

Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, Zhe Wang. HermiT: An OWL 2 Reasoner. Journal of Automated Reasoning, 53(3):245-269, 2014. [doi]

Authors

Birte Glimm

This author has not been identified. Look up 'Birte Glimm' in Google

Ian Horrocks

This author has not been identified. Look up 'Ian Horrocks' in Google

Boris Motik

This author has not been identified. Look up 'Boris Motik' in Google

Giorgos Stoilos

This author has not been identified. Look up 'Giorgos Stoilos' in Google

Zhe Wang

This author has not been identified. Look up 'Zhe Wang' in Google