Modeling in OWL 2 without restrictions

Michael Schneider, Sebastian Rudolph, Geoffrey Sutcliffe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Abstract

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)
Title of host publicationCEUR Workshop Proceedings
PublisherCEUR-WS
Volume1080
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

Other

Other10th International Workshop on OWL: Experiences and Directions, OWLED 2013 - Co-located with 10th Extended Semantic Web Conference, ESWC 2013
CountryFrance
CityMontpellier
Period5/26/135/27/13

    Fingerprint

Keywords

  • Modeling
  • Ontology
  • OWL DL
  • Semantic Web

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Schneider, M., Rudolph, S., & Sutcliffe, G. (2013). Modeling in OWL 2 without restrictions. In CEUR Workshop Proceedings (Vol. 1080). CEUR-WS.