Verifying and Mapping the Mereotopology of Upper-Level Ontologies

Lydia Silva Muñoz, Michael Grüninger

2016

Abstract

Upper-level ontologies provide an account of the most basic, domain-independent, existing entities, such as time, space, objects, and processes. Ontology verification is the process by which a theory is checked to rule out unintended models, and possibly characterize missing intended ones. In this paper, we verify the core characterization of mereotopology of the Suggested Upper Merged Ontology (SUMO), and the mereology of the Descriptive Ontology for Linguistic and Cognitive Engineering (DOLCE), while relating their axiomatizations via ontology mapping. As a result, we propose the correction and addition of some axioms to the analyzed theories which eliminate unintended models and characterize missing ones. In addition, we show by formal means which is the relation existing between the axiomatization of mereology in both upper-level ontologies, and make available a modular representation in first-order logic of the SUMO characterization of mereotopology.

References

  1. Benzmüller, C. and Pease, A. (2012). Higher-order aspects and context in SUMO. J. Web Sem., 12:104-117.
  2. Borgo, S. and Masolo, C. (2009). Handbook on Ontologies, chapter Foundational Choices in DOLCE, pages 361- 381. Springer Berlin Heidelberg, Berlin, Heidelberg.
  3. Casati, R. and Varzi, A. (1999). Parts and Places: The Structures of Spatial Representation. A Bradford book. MIT Press.
  4. Davey, B. and Priestley, H. (2002). Introduction to Lattices and Order. Cambridge mathematical text books. Cambridge University Press.
  5. Enderton (1972). A Mathematical Introduction to Logic. Academic Press.
  6. Euzenat, J. and Shvaiko, P. (2013). Ontology matching. Springer-Verlag, Heidelberg (DE), 2nd edition.
  7. Gangemi, A., Guarino, N., Masolo, C., and Oltramari, A. (2003). Sweetening wordnet with dolce. AI Magazine, 24(3):13-24.
  8. Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., and Schneider, L. (2002). Sweetening ontologies with dolce. In Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web, EKAW 7802, pages 166-181, London, UK, UK. Springer-Verlag.
  9. Grenon, P. and Smith, B. (2004). Snap and span: Towards dynamic spatial ontology. Spatial Cognition and Computation, 4(1):69-103.
  10. Grüninger, M., Hahmann, T., Hashemi, A., and Ong, D. (2010). Ontology verification with repositories. In Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, FOIS 2010, Toronto, Canada, May 11-14, 2010, pages 317- 330.
  11. Guarino, N. (1998). Formal ontology and information systems. In Formal Ontology in Information Systems - Proceedings of FOIS 1998, Trento, Italy, 6-8 June 1998. Amsterdam, IOS Press, pp. 3-15., pages 3-15. IOS Press.
  12. Guarino, N. and Welty, C. (2002). Evaluating ontological decisions with ontoclean. Commun. ACM, 45(2):61- 65.
  13. Hayes, P. (1996). Catalog of temporal theories. Technical Report Technical Report UIUC-BI-AI-96-01, University of Illinois Urbana-Champagne.
  14. Masolo, C., Borgo, S., Gangemi, A., Guarino, N., and Oltramari, A. (2003). WonderWeb Deliverable D18 Ontology Library (Final). Technical report, IST Project 2001-33052 WonderWeb: Ontology Infrastructure for the Semantic Web.
  15. McCune, W. (2005-2010). Prover9 and mace4. http://www.cs.unm.edu/~mccune/prover9/.
  16. Niles, I. and Pease, A. (2001). Towards a standard upper ontology. In FOIS 7801: Proceedings of the international conference on Formal Ontology in Information Systems, pages 2-9, New York, NY, USA. ACM.
  17. Niles, I. and Pease, A. (2003). Linking lexicons and ontologies: Mapping WordNet to the suggested upper merged ontology. In Proceedings of the 2003 International Conference on Information and Knowledge Engineering (IKE 7803), Las Vegas, Nevada.
  18. Pearce, D. and Valverde, A. (2012). Synonymous theories and knowledge representations in answer set programming. J. Comput. Syst. Sci., 78(1):86-104.
  19. Silva Mu n˜oz, L. and Grüninger, M. (2016). Mapping and Verification of the Time Ontology in SUMO. InFormal Ontology in Information Systems - Proceedings of the 9th International Conference, FOIS, July 6-9, 2016, Annecy, France.
  20. Varzi, C. A. (2007). Handbook of Spatial Logics, chapter Spatial Reasoning and Ontology: Parts, Wholes, and Locations, pages 945-1038. Springer Netherlands, Dordrecht.
Download


Paper Citation


in Harvard Style

Silva Muñoz L. and Grüninger M. (2016). Verifying and Mapping the Mereotopology of Upper-Level Ontologies . In Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD, (IC3K 2016) ISBN 978-989-758-203-5, pages 31-42. DOI: 10.5220/0006052100310042


in Bibtex Style

@conference{keod16,
author={Lydia Silva Muñoz and Michael Grüninger},
title={Verifying and Mapping the Mereotopology of Upper-Level Ontologies},
booktitle={Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD, (IC3K 2016)},
year={2016},
pages={31-42},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006052100310042},
isbn={978-989-758-203-5},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 8th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - Volume 2: KEOD, (IC3K 2016)
TI - Verifying and Mapping the Mereotopology of Upper-Level Ontologies
SN - 978-989-758-203-5
AU - Silva Muñoz L.
AU - Grüninger M.
PY - 2016
SP - 31
EP - 42
DO - 10.5220/0006052100310042