%0 Conference Paper %1 conf/cade/SchneiderS11 %A Schneider, Michael %A Sutcliffe, Geoff %B CADE %D 2011 %E Bjørner, Nikolaj S. %E Sofronie-Stokkermans, Viorica %I Springer %K dblp %P 461-475 %T Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving. %U http://dblp.uni-trier.de/db/conf/cade/cade2011.html#SchneiderS11 %V 6803 %@ 978-3-642-22437-9

@inproceedings{conf/cade/SchneiderS11, added-at = {2021-04-09T00:00:00.000+0200}, author = {Schneider, Michael and Sutcliffe, Geoff}, biburl = {https://www.bibsonomy.org/bibtex/20f62d5f6bf3be383fbd540de18d51337/dblp}, booktitle = {CADE}, crossref = {conf/cade/2011}, editor = {Bjørner, Nikolaj S. and Sofronie-Stokkermans, Viorica}, ee = {https://doi.org/10.1007/978-3-642-22438-6_35}, interhash = {df8b01516dd616c80af7eb5c5f2978fe}, intrahash = {0f62d5f6bf3be383fbd540de18d51337}, isbn = {978-3-642-22437-9}, keywords = {dblp}, pages = {461-475}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:54:57.000+0200}, title = {Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade2011.html#SchneiderS11}, volume = 6803, year = 2011 }