Home |  English version |  Mappa |  Commenti |  Sondaggio |  Staff |  Contattaci Cerca nel sito  
Istituto di scienze e tecnologie della cognizione

Torna all'elenco Contributi in rivista anno 2011

Contributo in rivista

Tipo: Articolo in rivista

Titolo: A Formalization of Functions as Operations on Flows

Anno di pubblicazione: 2011

Autori: Borgo, Stefano ; Carrara, Massimiliano ; Garbacz, Pawel ; Vermaas, Pieter

Affiliazioni autori: CNR-ISTC, Trento

Autori CNR:


Lingua: inglese

Abstract: This paper presents a formalization of the notion of function as operation on flows as advanced in the Functional Basis approach of Stone and Wood. We first analyze the modeling of functions in this approach and identify the notions that are ontological significant for their formalization within the foundational ontology DOLCE. Then, we build the logical system in which this engineering notion of function is formally translated and connected to the ontology. Furthermore, we posit a number of constraints for a correct interpretation of the formal system and also provide a web ontology language version. We conclude with an assessment of our results and a discussion of our larger project aimed at analysing functional descriptions of technical artifacts, and at translating functional descriptions using different engineering notions of function.

Lingua abstract: inglese

Pagine da: 031007-14


Journal of computing and information science in engineering American Society of Mechanical Engineers,
Paese di pubblicazione: Stati Uniti d'America
Lingua: inglese
ISSN: 1530-9827

Numero volume: 11

Numero fascicolo: 3

DOI: 10.1115/1.3615523

Parole chiave:

  • formal ontology
  • engineering design

URL: http://dx.doi.org/10.1115/1.3615523

Altre informazioni: ID_PUMA: /cnr.istc/2011-A0-078. - Area di valutazione 09 - Ingegneria industriale e informatica

Strutture CNR:


Torna indietro Richiedi modifiche Invia per email Stampa
Home Il CNR  |  I servizi News |   Eventi | Istituti |  Focus