Preventing, Detecting, and Revising Flaws in Object Property Expressions

Keet, C. Maria (2014) Preventing, Detecting, and Revising Flaws in Object Property Expressions, Journal on Data Semantics, 3, 189-206, Springer.

[img] PDF

Download (692kB)


The OWL 2 DL ontology language is very expressive and has many features for declaring complex object property expressions. Standard reasoning services for OWL ontologies take these expressions as correct and according to the ontologist's intention. However, the more one can do, the higher the chance modelling flaws are introduced; hence, an unexpected or undesired classification or inconsistency in the class hierarchy may actually be due to a mistake in the 'object property box', not the class axioms. We analyse the principles of subsumption in object property hierarchies, and use it to identify the types of flaws that can occur in object property expressions. We propose the compatibility services SubProS and ProChainS that check for meaningful property hierarchies and property chaining and propose how to revise a flaw. These insights can also be used to prevent flaws and to choose the best option, which we demonstrate with the chain pattern for upward and downward distributivity over parthood relations. SubProS and ProChainS were evaluated with several ontologies, which demonstrates that such flaws do exist, that they can be isolated effectively, and useful suggestions for revisions can be proposed.

Item Type: Journal article (paginated)
Additional Information: Extended version of the EKAW 2012 paper that won the best research paper award
Uncontrolled Keywords: Ontology engineering, OWL, Role Inclusion Axioms, Property Chains, Property Hierarchy, Ontology Quality
Subjects: Computing methodologies > Artificial intelligence
Information systems
Alternate Locations:
Date Deposited: 14 Sep 2014
Last Modified: 10 Oct 2019 15:32

Actions (login required)

View Item View Item