Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology

Conference paper

DOI: 10.1007/978-3-319-49004-5_39

Part of the Lecture Notes in Computer Science book series (LNCS, volume 10024)
Cite this paper as:
Silva Muñoz L., Grüninger M. (2016) Locating Things in Space and Time: Verification of the SUMO Upper-Level Ontology. In: Blomqvist E., Ciancarini P., Poggi F., Vitali F. (eds) Knowledge Engineering and Knowledge Management. EKAW 2016. Lecture Notes in Computer Science, vol 10024. Springer, Cham


Upper-level ontologies provide an account of the most basic, domain independent entities, such as time, space, objects and processes. They are intended to be broadly reused, among others, during ontology engineering tasks, such as ontology building and integration. Ontology verification is the process by which a theory is checked to rule out its unintended models, and possibly characterize missing intended ones. In this paper, we translate into first-order logic, modularize, and verify the subtheory of location of entities in space and time of the Suggested Upper Merged Ontology (SUMO). As a result, we propose the addition of some axioms that rule out unintended models in SUMO, the correction of others, and make available a modularized version of SUMO characterization of location of entities in time and space represented in standard first-order logic.


Spatial location Time location SUMO upper level ontology Ontology verification Ontology mapping 

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.Computer ScienceUniversity of TorontoTorontoCanada
  2. 2.Mechanical and Industrial EngineeringUniversity of TorontoTorontoCanada

Personalised recommendations