Modeling in OWL 2 without restrictions

Michael Schneider, Sebastian Rudolph, Geoffrey Sutcliffe

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

3 Citations (Scopus)

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

Computability and decidability
Semantic Web
Ontology

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.

Modeling in OWL 2 without restrictions. / Schneider, Michael; Rudolph, Sebastian; Sutcliffe, Geoffrey.

CEUR Workshop Proceedings. Vol. 1080 CEUR-WS, 2013.

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

Schneider, M, Rudolph, S & Sutcliffe, G 2013, Modeling in OWL 2 without restrictions. in CEUR Workshop Proceedings. vol. 1080, CEUR-WS, 10th International Workshop on OWL: Experiences and Directions, OWLED 2013 - Co-located with 10th Extended Semantic Web Conference, ESWC 2013, Montpellier, France, 5/26/13.
Schneider M, Rudolph S, Sutcliffe G. Modeling in OWL 2 without restrictions. In CEUR Workshop Proceedings. Vol. 1080. CEUR-WS. 2013
Schneider, Michael ; Rudolph, Sebastian ; Sutcliffe, Geoffrey. / Modeling in OWL 2 without restrictions. CEUR Workshop Proceedings. Vol. 1080 CEUR-WS, 2013.
@inproceedings{2deef30c0d8b4277ad52c5ccbaad854e,
title = "Modeling in OWL 2 without restrictions",
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.",
keywords = "Modeling, Ontology, OWL DL, Semantic Web",
author = "Michael Schneider and Sebastian Rudolph and Geoffrey Sutcliffe",
year = "2013",
language = "English (US)",
volume = "1080",
booktitle = "CEUR Workshop Proceedings",
publisher = "CEUR-WS",

}

TY - GEN

T1 - Modeling in OWL 2 without restrictions

AU - Schneider, Michael

AU - Rudolph, Sebastian

AU - Sutcliffe, Geoffrey

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - Modeling

KW - Ontology

KW - OWL DL

KW - Semantic Web

UR - http://www.scopus.com/inward/record.url?scp=84924007173&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84924007173&partnerID=8YFLogxK

M3 - Conference contribution

VL - 1080

BT - CEUR Workshop Proceedings

PB - CEUR-WS

ER -