2 papers
cs.AI2012
Modeling in OWL 2 without Restrictions
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
The Semantic Web ontology language OWL 2 DL comes with a variety of language features that enable sophisticated and practically useful modeling. However, the use of these features…
cs.AI2011
Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving
Michael Schneider, Geoff Sutcliffe
OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a family of ontology languages for the Semantic Web. The most expressive of these languages is OWL 2 Full, but…