Top

Journal on Data Semantics

Published in:

01-09-2014 | Original Article

Preventing, Detecting, and Revising Flaws in Object Property Expressions

Author: C. Maria Keet

Published in: Journal on Data Semantics | Issue 3/2014

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

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 that 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 and can be isolated effectively, and useful suggestions for revisions can be proposed.

previous article Modeling CrowdSourcing Scenarios in Socially-Enabled Human Computation Applications

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

http://www.co-ode.org/roberts/family-tree.owl; last accessed 12-3-2012.

http://www.ihtsdo.org/our-standards/snomed-ct/.

Note that a cardinality constraint applies to the axiom, not the property, and hence is not considered here.

Two informal, but well-known, sources promoting this representation are: the W3C Best Practices document on Simple Part–Whole relations, http://www.w3.org/2001/sw/BestPractices/OEP/SimplePartWhole/, and the Componency Ontology Design Pattern at http://ontologydesignpatterns.org/wiki/Submissions:Componency.

http://owl.cs.manchester.ac.uk/repository/.

Further, as might be gleaned from (E.11), it is better to have (E.1) the other way around (Protein \(\sqsubseteq \) \(\exists \) hasPart.AminoAcid), because not all amino acids are part of a protein, yet each protein must have some amino acids.

http://obofoundry.org/ro/; last accessed on: 20-12-2012.

This is being updated such that it is integrated with BFO as the impending BFO v2, which diverges from the new relation ontology (http://code.google.com/p/obo-relations/; last accessed on: 20-12-2012) that is tailored to biology and has many object properties.

Artale A, Franconi E, Guarino N, Pazzi L (1996) Part-whole relations in object-centered systems: an overview. Data Knowl Eng 20(3):347–383CrossRefMATH

Beisswanger E, Schulz S, Stenzhorn H, Hahn U (2008) BioTop: an upper domain ontology for the life sciences—a description of its current structure, contents, and interfaces to OBO ontologies. Appl Ontol 3(4):205–212

Boran A, Bedini I, Matheus CJ, Patel-Schneider PF, Keene, J (2011) Choosing between axioms, rules and queries: experiments in semantic integration techniques. In: Eigth international workshop OWL: experiences and directions (OWLED’11) (2011). San Francisco, CA, USA, June 5–6 2011

Grau Cuenca B, Horrocks I, Motik B, Parsia B, Patel-Schneider P, Sattler U (2008) OWL 2: The next step for OWL. J Web Semant Sci Services Agents World Wide Web 6(4):309–322

Dumontier M, Villanueva-Rosales N (2008) Modeling life science knowledge with OWL 1.1. In: Fourth international workshop OWL: experiences and directions 2008 (OWLED 2008 DC) (2008). Washington, DC (metro), 1–2 April 2008

Glimm B, Rudolph S, Völker J (2010) Integrated metamodeling and diagnosis in OWL 2. In: Patel-Schneider PF, Pan Y, Hitzler P, Mika P, Zhang L, Pan JZ, Horrocks I, Glimm B (eds) Proceedings of the 9th international semantic web conference. LNCS, vol 6496. Springer, Berlin, pp 257–272

Guarino N, Welty C (2004) An overview of OntoClean. In: Staab S, Studer R (eds) Handbook on ontologies. Springer, Berlin, pp 151–159

Halpin T (2001) Information modeling and relational databases. Morgan Kaufmann Publishers, San Francisco

Halpin TA, Curland M (2011) Enriched support for ring constraints. In: Meersman R, Dillon TS, Herrero P (eds) OTM Workshops 2011, Hersonissos, Crete, Greece, October 17–21, 2011. LNCS, vol 7046. Springer, Berlin, pp 309–318

10.

Herre H (2010) General formal ontology (GFO): a foundational ontology for conceptual modelling. In: Poli R, Healy M, Kameas A (eds) Theory and applications of ontology: computer applications, chap 14. Springer, Heidelberg, pp 297–345. doi:10.1007/978-90-481-8847-5

11.

Hilario M, Nguyen P, Do H, Woznica A, Kalous A (2011) Ontology-based meta-mining of knowledge discovery workflows. In: Jankowski N, Duch W, Grabczewski K (eds) Meta-learning in computational intelligence. Springer, Berlin, pp 273–315

12.

Horridge M, Parsia B, Sattler U (2008) Laconic and precise justifications in OWL. In: Proceedings of the 7th international semantic web conference (ISWC 2008). LNCS, vol 5318. Springer, Berlin

13.

Horrocks I, Kutz O, Sattler U (2006) The even more irresistible \(\cal {SROIQ}\). In: Proceedings of KR-2006, pp 452–457

14.

Horrocks I, Patel-Schneider PF, van Harmelen F (2003) From SHIQ and RDF to OWL: the making of a web ontology language. J Web Seman 1(1):7CrossRef

15.

Horrocks I, Rector A, Goble C (1996) A description logic based schema for the classification of medical data. In: Proceedings of the 3rd Inteernational Workshop on Knowledge Representation meets Databases (KRDB’96), CEUR-WS, vol 4, pp 24–28

16.

Kalyanpur A, Parsia B, Sirin E, Grau B (2006) Repairing unsatisfiable concepts in OWL ontologies. In: Sure Y, Domingue J (eds) Proceedings of the European semantic web conference (ESWC’06). LNCS, vol 4011. Springer, Berlin

17.

Keet CM (2012) Detecting and revising flaws in OWL object property expressions. In: ten Teije A et al (eds) 18th International Conference on Knowledge Engineering and Knowledge Management (EKAW’12), Oct 8–12, Galway, Ireland. LNAI, vol 7603. Springer, Berlin, pp 252–266

18.

Keet CM, Artale A (2008) Representing and reasoning over a taxonomy of part-whole relations. Appl Ontol 3(1–2):91–110

19.

Keet CM, Fernández-Reyes FC, Morales-González A (2012) Representing mereotopological relations in OWL ontologies with ontoparts. In: Simperl E et al (eds) Proceedings of the 9th extended semantic web conference (ESWC’12), 29–31 May 2012, Heraklion, Crete, Greece. LNCS, vol 7295. Springer, Berlin, pp 240–254

20.

Koutsomitropoulos DA, Solomou GD, Papatheodorou TS (2009) Metadata and semantics in digital object collections: a case-study on CIDOC-CRM and Dublin Core and a prototype implementation. J Digit Inf 10(6). http://journals.tdl.org/jodi/article/viewArticle/693/577

21.

Masolo C, Borgo S, Gangemi A, Guarino N, Oltramari A (2003) Ontology library. WonderWeb Deliverable D18 (ver. 1.0, 31–12-2003). http://wonderweb.semanticweb.org

22.

Massacci F (2001) Decision procedures for expressive description logics with intersection, composition, converse of roles and role identity. In: Proceedings of the 17th international joint conference on artificial intelligence (IJCAI’2001), pp 193–198

23.

Motik B, Patel-Schneider PF, Parsia B (2009) OWL 2 web ontology language structural specification and functional-style syntax. W3c recommendation, W3C. http://www.w3.org/TR/owl2-syntax/

24.

Parsia B, Sirin E, Kalyanpur A (2005) Debugging OWL ontologies. In: Proceedings of the World Wide Web Conference (WWW 2005), May 10–14, 2005, Chiba, Japan

25.

Poveda-Villalón M, Suárez-Figueroa MC, Gómez-Pérez A (2012) Validating ontologies with OOPS! In: ten Teije A et al (eds) 18th international conference on knowledge engineering and knowledge management (EKAW’12), Oct 8–12. Galway, Ireland. LNAI, vol. 7603. Springer, Berlin, pp 267–281

26.

Rector A (2002) Analysis of propagation along transitive roles: Formalisation of the GALEN experience with medical ontologies. In: Horrocks I, Tessaris S (eds) Proceedings of the international workshop on description logics (DL’02), CEUR-WS, vol 53. Toulouse, France, April 19–21, 2002

27.

Rector A, Drummond N, Horridge M, Rogers L, Knublauch H, Stevens R, Wang H, Wroe Csallner C (2004) OWL pizzas: practical experience of teaching OWL-DL: common errors & common patterns. In: Proceedings of the 14th international conference knowledge acquisition, modeling and management (EKAW’02). LNCS, vol 3257. Springer, Berlin, Whittlebury Hall, UK, pp 63–81

28.

Roussey C, Corcho O, Vilches-Blázquez L (2009) A catalogue of OWL ontology antipatterns. In: Proceedings of K-CAP’09, pp 205–206

29.

Schmidt-Schauss M (1989) Subsumption in KL-ONE is undecidable. In: Proceedings of 1st conference on knowledge representation and reasoning (KR’89), pp 421–431

30.

Smith B, Ashburner M, Rosse C, Bard J, Bug W, Ceusters W, Goldberg L, Eilbeck K, Ireland A, Mungall C; OBI Consortium T, Leontis N, Rocca-Serra A, Ruttenberg A, Sansone SA, Shah M, Whetzel P, Lewis S (2007) The OBO foundry: coordinated evolution of ontologies to support biomedical data integration. Nat Biotechnol 25(11):1251–1255

31.

Smith B, Ceusters W, Klagges B, Köhler J, Kumar A, Lomax J, Mungall C, Neuhaus F, Rector AL, Rosse C (2005) Relations in biomedical ontologies. Genome Biol 6:R46CrossRef

32.

Varzi A (2007) Handbook of spatial logics, chap. Spatial reasoning and ontology: parts, wholes, and locations. Springer, Berlin, pp 945–1038

33.

Wessel M (2001) Obstacles on the way to qualitative spatial reasoning with description logics: some undecidability results. In: Goble CA, McGuinness DL, Möller R, Patel-Schneider PF (eds) Proceedings of the international workshop in description logics (DL’01), CEUR WS, vol 49. Stanford, CA, USA, August 1–3, 2001

Title: Preventing, Detecting, and Revising Flaws in Object Property Expressions
Author: C. Maria Keet
Publication date: 01-09-2014
Publisher: Springer Berlin Heidelberg
Published in: Journal on Data Semantics / Issue 3/2014
Print ISSN: 1861-2032
Electronic ISSN: 1861-2040
DOI: https://doi.org/10.1007/s13740-013-0028-y

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 3/2014

Modeling CrowdSourcing Scenarios in Socially-Enabled Human Computation Applications

Special Issue on: Model and Data Engineering

Context-Based Query Using Dependency Structures Based on Latent Topic Model

Integrating a Formal Development for DSLs into Meta-Modeling

Premium Partner