%0 Conference Paper %1 schneider2011 %A Schneider, Michael %D 2011 %K iswc2011 owl reasoner semantic_web %T A prototypical OWL Full Reasoner based on First-Order Reasoning %U http://iswc2011.semanticweb.org/fileadmin/iswc/Papers/PostersDemos/iswc11pd_submission_81.pdf

@inproceedings{schneider2011, added-at = {2011-10-27T09:44:31.000+0200}, author = {Schneider, Michael}, biburl = {https://www.bibsonomy.org/bibtex/27512c1f2ced2b8ea7893909d4a48b0ec/maxirichter}, interhash = {02c54919ba04b559ab370d5eea951be6}, intrahash = {7512c1f2ced2b8ea7893909d4a48b0ec}, keywords = {iswc2011 owl reasoner semantic_web}, timestamp = {2011-10-27T09:44:31.000+0200}, title = {A prototypical OWL Full Reasoner based on First-Order Reasoning}, url = {http://iswc2011.semanticweb.org/fileadmin/iswc/Papers/PostersDemos/iswc11pd_submission_81.pdf}, year = 2011 }