"Reasoning in the OWL 2 Full Ontology Language Using First-Order Automated ..."

Michael Schneider, Geoff Sutcliffe (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics