Formalizing and Adapting a General Function Module for Foundational Ontologies

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.

[1]  Riichiro Mizoguchi,et al.  An ontological model of device function: industrial deployment and lessons learned , 2006, Appl. Ontology.

[2]  Tetsuo Tomiyama,et al.  A review of function modeling: Approaches and applications , 2008, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[3]  Riichiro Mizoguchi,et al.  Characterizing functions based on phase- and evolution-oriented models , 2013, Appl. Ontology.

[4]  Stefano Borgo,et al.  Towards A Unified Definition of Function , 2012, FOIS.

[5]  Barry Smith,et al.  Functional Anatomy: A Taxonomic Proposal , 2005, Acta biotheoretica.

[6]  Stefano Borgo,et al.  A unifying definition for artifact and biological functions , 2016, Appl. Ontology.

[7]  Stefano Borgo,et al.  Artefacts in Formal Ontology , 2009 .

[8]  B. Chandrasekaran,et al.  Function in Device Representation , 2000, Engineering with Computers.

[9]  Marc Artiga,et al.  Re-organizing organizational accounts of function , 2011, Appl. Ontology.

[10]  Stefano Borgo,et al.  A Formalization of Functions as Operations on Flows , 2011, J. Comput. Inf. Sci. Eng..

[11]  Ulrich Krohs,et al.  Functions and fixed types: Biological and other functions in the post-adaptationist era , 2011, Appl. Ontology.

[12]  Friedrich Steimann,et al.  The role data model revisited , 2007, Appl. Ontology.

[13]  Leon D. Segal,et al.  Functions , 1995 .

[14]  Kenneth D. Forbus.  Intelligent Computer-Aided Engineering , 1988, AI Mag..

[15]  David Chart.  What Functions Explain: Functional Explanation and Self-Reproducing Systems , 2002 .

[16]  Antony Galton,et al.  The water falls but the waterfall does not fall: New perspectives on objects, processes and events , 2009, Appl. Ontology.

[17]  Johannes Röhl,et al.  Why functions are not special dispositions: an improved classification of realizables for top-level ontologies , 2014, J. Biomed. Semant..

[18]  Tetsuo Tomiyama,et al.  Supporting conceptual design based on the function-behavior-state modeler , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[19]  Robert Arp,et al.  Basic Formal Ontology at Work , 2015 .

[20]  Hyunjoong Kim,et al.  Functional Analysis I , 2017 .

[21]  Mark Perlman,et al.  The Modern Philosophical Resurrection of Teleology , 2004 .

[22]  Stefano Borgo,et al.  Technical Artifact: An Integrated Perspective , 2011, FOMI.

[23]  Nicola Guarino,et al.  Social Roles and their Descriptions , 2004, KR.

[24]  Stefano Borgo,et al.  A First-order Formalization of Event, Object, Process and Role in YAMATO , 2014, FOIS.

[25]  Per Galle,et al.  Technical Functions: On the Use and Design of Artefacts , 2011 .

[26]  Stefano Borgo,et al.  Technical artifacts: An integrated perspective , 2014, Appl. Ontology.

[27]  Peter Kroes,et al.  Functions in biological and artificial worlds : comparative philosophical perspectives , 2009 .

[28]  Stefano Borgo,et al.  Foundational Choices in DOLCE , 2009, Handbook on Ontologies.

[29]  Antony Galton,et al.  Families of roles: A new theory of occurrent-dependent roles , 2015, Appl. Ontology.

[30]  A. Wouters,et al.  The Function Debate in Philosophy , 2005, Acta biotheoretica.

[31]  Robert Arp,et al.  Function, Role and Disposition in Basic Formal Ontology , 2008 .