"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