Modeling in OWL 2 without restrictions

Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe

Research output: Contribution to journalConference articlepeer-review

8 Scopus citations


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 has been severely restricted in order to retain decidability of the language. For example, OWL 2 DL does not allow a property to be both transitive and asymmetric, which would be desirable, e.g., for representing an ancestor relation. In this paper, we argue that the so-called "global restrictions" of OWL 2 DL preclude many useful forms of modeling, by providing a catalog of basic modeling patterns that would be available in OWL 2 DL if the global restrictions were discarded. We then report on the results of evaluating several state-of-the-art OWL 2 DL reasoners on problems that use combinations of features in a way that the global restrictions are violated. The systems turn out to rely heavily on the global restrictions and are thus largely incapable of coping with the modeling patterns. Based on our observations, we make suggestions for future lines of research on expressive description logic-style OWL reasoning.

Original languageEnglish (US)
JournalCEUR Workshop Proceedings
StatePublished - 2013
Event10th International Workshop on OWL: Experiences and Directions, OWLED 2013 - Co-located with 10th Extended Semantic Web Conference, ESWC 2013 - Montpellier, France
Duration: May 26 2013May 27 2013


  • Modeling
  • Ontology
  • OWL DL
  • Semantic Web

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Modeling in OWL 2 without restrictions'. Together they form a unique fingerprint.

Cite this