As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
We introduce and formalize the key elements of a recent approach [1] 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.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.