A first-order formalization of event, object, process and role in YAMATO

Upper ontologies are sophisticated systems that require an expressive language to be properly formalized and correctly implemented. This paper provides a formal study of one of these ontologies, called YAMATO, by providing an axiomatization in first-order logic of part of the main system. YAMATO, which has been available in OWL for some years and is used in research projects as well as in applications, is quite rich in terms of categories and relations. The system is also interesting from its ontological perspective as it presents a different combination of ontological choices with respects to todays popular upper ontologies. Here we isolate a fairly compact fragment of this system that covers important categories, such as Process and Role, and relations, such as Enacting and CausallyContributing. The axiomatization is a first step towards the full exploitation of YAMATO in information and computational systems.

Publication type: 
Contributo in atti di convegno
Author or Creator: 
Borgo, Stefano
Mizoguchi, Riichiro
Publisher: 
Springfield, Amsterdam , Paesi Bassi
Source: 
International Conference on Formal Ontology in Information Systems (FOIS 2014), pp. 79–92, Rio de Janeiro, 22-25 September 2014
Date: 
2014
Resource Identifier: 
http://www.cnr.it/prodotto/i/319685
https://dx.doi.org/10.3233/978-1-61499-438-1-79
info:doi:10.3233/978-1-61499-438-1-79
http://www.scopus.com/record/display.url?eid=2-s2.0-84906995587&origin=inward
urn:isbn:9781614994374
Language: 
Eng
ISTC Author: 
Stefano Borgo's picture
Real name: