%0 Journal Article %1 journals/jar/GlimmHMSW14 %A Glimm, Birte %A Horrocks, Ian %A Motik, Boris %A Stoilos, Giorgos %A Wang, Zhe %D 2014 %J J. Autom. Reason. %K %N 3 %P 245-269 %T HermiT: An OWL 2 Reasoner. %U http://dblp.uni-trier.de/db/journals/jar/jar53.html#GlimmHMSW14 %V 53

@article{journals/jar/GlimmHMSW14, added-at = {2023-12-13T01:43:17.000+0100}, author = {Glimm, Birte and Horrocks, Ian and Motik, Boris and Stoilos, Giorgos and Wang, Zhe}, biburl = {https://www.bibsonomy.org/bibtex/27646d6fc6784b2a1ddf09f3c54475192/admin}, ee = {https://www.wikidata.org/entity/Q56988544}, interhash = {757e9eee07f7e513380d098acad4e6ca}, intrahash = {7646d6fc6784b2a1ddf09f3c54475192}, journal = {J. Autom. Reason.}, keywords = {}, number = 3, pages = {245-269}, timestamp = {2023-12-13T01:43:17.000+0100}, title = {HermiT: An OWL 2 Reasoner.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar53.html#GlimmHMSW14}, volume = 53, year = 2014 }