http://www.cnr.it/ontology/cnr/individuo/prodotto/ID140195

Formalizations of functions within the dolce ontology (Contributo in volume (capitolo o saggio))

Type

Label

Formalizations of functions within the dolce ontology (Contributo in volume (capitolo o saggio)) (literal)

Anno

Alternative label

Borgo, Stefano; Carrara, Massimiliano; Garbacz, Pawe?; Vermaas, Pieter E. (2010)
Formalizations of functions within the dolce ontology
Delft University of Technology, Delft (Paesi Bassi) in Proceedings of the Eighth International Symposium on Tools and Methods of Competitive Engineering, 2010
(literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

Borgo, Stefano; Carrara, Massimiliano; Garbacz, Pawe?; Vermaas, Pieter E. (literal)

Pagina inizio

Pagina fine

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

http://www.scopus.com/record/display.url?eid=2-s2.0-79960543061&origin=inward (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

Proceedings of the Eighth International Symposium on Tools and Methods of Competitive Engineering (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto

In this paper we give formalizations of two engi- neering concepts of technical functions and present in more general terms the project of supporting en- gineering functional reasoning by means of onto- logical analyses. The concepts that we formalize are the concepts of function as defined in the Func- tional Representation approach by Chandrasekaran and Josephson and in the Functional Basis approach by Stone and Wood. These two concepts represent two main ways of understanding functions in engi- neering: the first by means of the behavior of ar- tifacts, and the second by means of operations on flows as preformed by artifacts. Both formalizations are given within the foundational DOLCE ontology. Our choice to formalize existing concepts of func- tions within a single foundational ontology, is one strategy towards the goal of ontological analyses of functions. This goal of enabling the development of tools for automated functional reasoning, may be re- alized by other strategies as well, such as defining a single formalized concept of function, either for re- placing existing concepts or for use as a reference to which existing concepts should be related. We com- pare these strategies briefly and discuss the merits and shortcomings of our strategy. (literal)

Note

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

Istituto Di Scienze E Tecnologie Della Cognizione, Rome; Universita degli Studi di Padova; John Paul II Catholic University of Lublin; Delft University of Technology (literal)

Titolo

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#inCollana

Proceedings of Tools and Methods of Competitive Engineering (TMCE 2010) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

Abstract

In this paper we give formalizations of two engineering concepts of technical functions and present in more general terms the project of supporting engineering functional reasoning by means of ontological analyses. The concepts that we formalize are the concepts of function as defined in the Functional Representation approach by Chandrasekaran and Josephson and in the Functional Basis approach by Stone and Wood. These two concepts represent two main ways of understanding functions in engineering: the first by means of the behavior of artifacts, and the second by means of operations on flows as preformed by artifacts. Both formalizations are given within the foundational DOLCE ontology. Our choice to formalize existing concepts of functions within a single foundational ontology, is one strategy towards the goal of ontological analyses of functions. This goal of enabling the development of tools for automated functional reasoning, may be realized by other strategies as well, such as defining a single formalized concept of function, either for replacing existing concepts or for use as a reference to which existing concepts should be related. We compare these strategies briefly and discuss the merits and shortcomings of our strategy. © Organizing Committee of TMCE 2010 Symposium. (literal)

Editore