Publications

Birte Glimm, Ian Horrocks, Boris Motik, Giorgos Stoilos, and Zhe Wang. HermiT: An OWL 2 Reasoner. Journal of Automated Reasoning, (53)3:245--269, Oct 1, 2014. [PUMA: hermit metadata reasoning semanticWeb] URL

Lamy Jean-Baptiste. Automatic reasoning. Ontologies with Python: Programming OWL 2.0 Ontologies with Python and Owlready2, 157--185, Apress, Berkeley, CA, 2021. [PUMA: hermit metadata python reasoning semanticWeb] URL