Keet, CM2014-05-132014-05-132013-09Keet, C.M. 2013. Preventing, detecting & revising flaws in object property expressions. Journal on Data Semantics, pp 1-181861-2032http://download.springer.com/static/pdf/323/art%253A10.1007%252Fs13740-013-0028-y.pdf?auth66=1399815350_68dd40f6f0da21caa39b50ce8830e5bd&ext=.pdfhttp://hdl.handle.net/10204/7402Copyright: 2013 Springer. This is the post print version. The definitive version is published in Journal on Data Semantics, pp 1-18The 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.enOWL 2 DL ontology languageData sematicsOntologiesRole Inclusion AxiomsProperty ChainsProperty HierarchyOntology QualityArticleKeet, C. (2013). Preventing, detecting & revising flaws in object property expressions. http://hdl.handle.net/10204/7402Keet, CM "Preventing, detecting & revising flaws in object property expressions." (2013) http://hdl.handle.net/10204/7402Keet C. Preventing, detecting & revising flaws in object property expressions. 2013; http://hdl.handle.net/10204/7402.TY - Article AU - Keet, CM AB - 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. DA - 2013-09 DB - ResearchSpace DP - CSIR KW - OWL 2 DL ontology language KW - Data sematics KW - Ontologies KW - Role Inclusion Axioms KW - Property Chains KW - Property Hierarchy KW - Ontology Quality LK - https://researchspace.csir.co.za PY - 2013 SM - 1861-2032 T1 - Preventing, detecting & revising flaws in object property expressions TI - Preventing, detecting & revising flaws in object property expressions UR - http://hdl.handle.net/10204/7402 ER -