Locating things in space and time: Verification of the SUMO upper-level ontology

0Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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.

Cite

CITATION STYLE

APA

Muñoz, L. S., & Grüninger, M. (2016). Locating things in space and time: Verification of the SUMO upper-level ontology. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10024 LNAI, pp. 606–620). Springer Verlag. https://doi.org/10.1007/978-3-319-49004-5_39

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free