Modeling in OWL 2 without Restrictions

12/12/2012
by   Michael Schneider, et al.
0

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. Next we show how off-the-shelf first-order logic theorem proving technology can be used to perform reasoning in the OWL 2 direct semantics, the semantics that underlies OWL 2 DL, but without requiring the global restrictions. Applying a naive proof-of-concept implementation of this approach to the test problems was successful in all cases. Based on our observations, we make suggestions for future lines of research on expressive description logic-style OWL reasoning.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/24/2019

Decidability of an Expressive Description Logic with Rational Grading

In this paper syntactic objects---concept constructors called part restr...
research
01/19/2012

A Description Logic Primer

This paper provides a self-contained first introduction to description l...
research
07/27/2021

Efficient TBox Reasoning with Value Restrictions using the ℱℒ_ower reasoner

The inexpressive Description Logic (DL) ℱℒ_0, which has conjunction and ...
research
07/31/2011

Reasoning in the OWL 2 Full Ontology Language using First-Order Automated Theorem Proving

OWL 2 has been standardized by the World Wide Web Consortium (W3C) as a ...
research
06/18/2019

A Framework for Parallelizing OWL Classification in Description Logic Reasoners

In this paper we report on a black-box approach to parallelize existing ...
research
07/28/2016

Modeling selectional restrictions in a relational type system

Selectional restrictions are semantic constraints on forming certain com...
research
05/08/2013

Semantic-based Anomalous Pattern Discovery in Moving Object Trajectories

In this work, we investigate a novel semantic approach for pattern disco...

Please sign up or login with your details

Forgot password? Click here to reset