TY  - RPRT
TI  - Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
AU  - Michael Schneider
AU  - Geoff Sutcliffe
PY  - 2011
UR  - https://arxiv.org/abs/1108.0155
ID  - 1108.0155
ER  -