Formalizing and adapting a general function module for foundational ontologies

We introduce and formalize the key elements of a recent approach [25] to function definition that covers both biological and artefact functions. The paper concentrates on the steps from informal definitions to formal expressions and aims to show how to develop an ontological module for generic function representation. This part is done assuming the YAMATO ontology as background system. The second goal of the paper discusses how the module could be adapted to other foundational ontologies. In this part, we first point out the ontological assumptions on which the module relies and then discuss problems in reformulating them in other systems. This step is needed to verify whether and how the function module can be meaningfully used in other ontologies. We exemplify this case by discussing BFO and DOLCE, and by formalizing the module in the latter ontology.

Tipo Pubblicazione: 
Contributo in volume
Author or Creator: 
Borgo, Stefano
Mizoguchi, Riichiro
Kitamura, Yoshinobu
Publisher: 
IOS Press, Amsterdam, NLD
Source: 
Formal Ontology in Information Systems, pp. 241–254. Amsterdam: IOS Press, 2016
Date: 
2016
Resource Identifier: 
http://www.cnr.it/prodotto/i/366316
https://dx.doi.org/10.3233/978-1-61499-660-6-241
info:doi:10.3233/978-1-61499-660-6-241
http://www.scopus.com/record/display.url?eid=2-s2.0-84978492583&origin=inward
urn:isbn:9781614996590
Language: 
Eng
ISTC Author: 
Ritratto di Stefano Borgo
Real name: