%0 Conference Paper %1 conf/owled/ShearerMH08 %A Shearer, Rob %A Motik, Boris %A Horrocks, Ian %B OWLED %D 2008 %E Dolbear, Catherine %E Ruttenberg, Alan %E Sattler, Ulrike %I CEUR-WS.org %K %T HermiT: A Highly-Efficient OWL Reasoner. %U http://dblp.uni-trier.de/db/conf/owled/owled2008.html#ShearerMH08 %V 432

@inproceedings{conf/owled/ShearerMH08, added-at = {2023-12-12T17:21:04.000+0100}, author = {Shearer, Rob and Motik, Boris and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2d627c61c8b8546e7ed71c5867d83b378/admin}, booktitle = {OWLED}, crossref = {conf/owled/2008}, editor = {Dolbear, Catherine and Ruttenberg, Alan and Sattler, Ulrike}, ee = {http://ceur-ws.org/Vol-432/owled2008eu_submission_12.pdf}, interhash = {026601a2fbc81d1c87338fbe35d8e457}, intrahash = {d627c61c8b8546e7ed71c5867d83b378}, keywords = {}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2023-12-12T17:21:04.000+0100}, title = {HermiT: A Highly-Efficient OWL Reasoner.}, url = {http://dblp.uni-trier.de/db/conf/owled/owled2008.html#ShearerMH08}, volume = 432, year = 2008 }