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.

Issue Section:
Research Papers
Keywords:
knowledge representation languages, linguistics, ontologies (artificial intelligence), function, formalization, foundational ontology, technical artifact, engineering
Topics:
Flow (Dynamics), Ontologies, Design

References

1.
Kitamura
Y.
, and
Mizoguchi
,
R.
, 2004, “
Ontology-Based Systematization of Functional Knowledge
,”
J. Eng. Design
,
15
(
4
), pp.
327
–
351
.
Crossref
Search ADS
 
2.
Borgo
,
S.
,
Carrara
,
M.
,
Garbacz
,
P.
, and
Vermaas
,
P. E.
, 2009, “
A Formal Ontological Perspective on the Behaviors and Functions of Technical Artifacts
,”
Artif. Intell. Eng. Des. Anal. Manuf.
,
23
(
1
), pp.
3
–
21
.
Crossref
Search ADS
 
3.
Chandrasekaran
,
B.
,
Josephson
,
J.
, and
Benjamins
,
V.
, 1999, “
What Are Ontologies, and Why Do We Need Them?
”
IEEE Intell. Syst.
,
14
, pp.
20
–
16
.
Crossref
Search ADS
 
4.
Ahmed
,
S.
,
Kim
,
S.
, and
Wallace
,
K.
, 2007, “
A Methodology for Creating Ontologies for Engineering Design
,”
J. Comput. Inform. Sci. Eng.
,
7
, pp.
132
–
140
.
Crossref
Search ADS
 
5.
Witherell
,
P.
,
Krishnamurty
,
S.
, and
Grosse
,
I.
, 2007, “
Ontologies for Supporting Engineering Design Optimization
,”
J. Comput. Inform. Sci. Eng.
,
7
, pp.
141
–
150
.
Crossref
Search ADS
 
6.
Masolo
,
C.
,
Borgo
,
S.
,
Gangemi
,
A.
,
Guarino
,
N.
, and
Oltramari
,
A.
, 2002,
WonderWeb Deliverable D17: The WonderWeb Library of Foundational Ontologies
. Technical report, CNR, http://www.loa-cnr.it/Papers/D17.pdfhttp://www.loa-cnr.it/Papers/D17.pdf, 2002
7.
Bryant
,
C. R.
,
McAdams
,
D. A.
,
Stone
,
R. B.
,
Kurtoglu
,
T.
, and
Campbell
,
M. I.
, 2006, “
A Validation Study of an Automated Concept Generator Design Tool
,”
Proceedings of the 2006 ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference
, DETC2006-99489, Philadelphia (PA).
Crossref
Search ADS
 
8.
Hirtz
,
J.
,
Stone
,
R.
,
McAdams
,
D. A.
,
Szykman
,
S.
, and
Wood
,
K.
, “
A Functional Basis for Engineering Design: Reconciling and Evolving Previous Efforts
,”
Res. Eng. Des.
,
13
, pp.
65
–
82
.
Crossref
Search ADS
 
9.
Nagel
,
R. L.
,
Bohm
,
M. R.
,
Stone
,
R. B.
, and
McAdams
,
D. A.
, 2007, “
A Representation of Carrier Flows for Functional Design
,”
16th International Conference on Engineering Design (ICED 07)
.
10.
Stone
,
R.
, and
Wood
,
K.
, 2000, “
Development of a Functional Basis for Design
,”
J. Mech. Des.
,
122
(
4
), pp.
359
–
370
.
Crossref
Search ADS
 
11.
Strawbridge
,
Z.
,
McAdams
,
D. A.
, and
Stone
,
R.
, 2002, “
A Computational Approach to Conceptual Design
,”
Proceedings of the 2002 ASME Design Engineering Technical Conferences
, Montreal, DETC2002/DTM-34001.
Crossref
Search ADS
 
12.
Erden
,
M. S.
,
Komoto
,
H.
, Van
Beek
,
T. J.
,
D’Amelio
,
V.
,
Echavarria
,
E.
, and
Tomiyama
,
T.
, 2008, “
A Review of Function Modeling: Approaches and Applications
,”
Artif. Intell. Eng. Design, Anal. Manuf.
,
22
, pp.
147
–
169
.
Crossref
Search ADS
 
13.
Chandrasekaran
,
B.
, 2005, “
Representing Function: Relating Functional Representation and Functional Modeling Research Streams
,”
Artif. Intell. Eng. Design, Anal. Manuf.
,
19
(
2
), pp.
65
–
74
.
14.
Chandrasekaran
,
B.
, and
Josephson
,
J.
, 2000, “
Function in Device Representation
,”
Eng. Comput.
,
16
(
3/4
), pp.
162
–
177
.
Crossref
Search ADS
 
15.
Pahl
,
G.
,
Beitz
,
W.
,
Feldhusen
,
J.
, and
Grote
,
K.
, 2007,
Engineering Design. A Systematic Approach
, 3rd ed.,
Springer
,
London
.
16.
Chittaro
,
L.
, and
Kumar
,
A. N.
, 1998, “
Reasoning About Function and Its Applications to Engineering
,”
Artif. Intell. Eng.
,
12
, pp.
331
–
336
.
Crossref
Search ADS
 
17.
Kurtoglu
,
T.
,
Campbell
,
M. I.
,
Arnold
,
C. B.
,
Stone
,
R. B.
, and
McAdams
,
D. A.
, 2009 “
A Component Taxonomy as a Framework for Computational Design Synthesis
,”
J. Comput. Inf. Sci. Eng.
,
9
, p.
011007
.
Crossref
Search ADS
 
18.
Borgo
,
S.
,
Carrara
,
M.
,
Garbacz
,
P.
, and
Vermaas
,
P. E.
, 2009, “
Towards an Ontological Representation of Functional Basis in DOLCE
,”
Proceedings of the 2nd InterOntology Conference
,
M.
Okada
 and
B.
Smith
, eds.,
Keio University
, pp.
3
–
16
.
19.
Kitamura
,
Y.
,
Koji
,
Y.
, and
Mizoguchi
,
R.
, 2006, “
An Ontological Model of Device Function: Industrial Deployment and Lessons Learned
,”
Appl. Ontol.
,
1
(
3–4
), pp.
237
–
262
.
20.
Garbacz, P., “What Can an Armchair Philosopher Do for a Dirty-Hands Engineer?,” Axiomathes published FirstOnline: DOI .
21.
Garbacz
,
P.
, 2006 “
Towards a Standard Taxonomy of Artifact Functions
,”
Appl. Ontol.
,
1
(
3–4
), pp.
221
–
236
.
22.
Vermaas
,
P. E.
, 2007, “
The Functional Modelling Account of Stone and Wood: Some Critical Remarks
,”
16th International Conference on Engineering Design (ICED 07)
.
23.
Sen
,
C.
,
Caldwell
,
B. W.
,
Summers
,
J. D.
, and
Mocko
,
G. M.
, 2010, “
Evaluation of the Functional Basis Using an Information Theoretic Approach
,”
Artif. Intell. Eng. Des., Anal. Manuf.
,
24
(
1
), pp.
85
–
103
.
24.
Borgo
,
S.
, and
Masolo
,
C.
, 2009, “
Foundational Choices in DOLCE
,”
Handbook on Ontologies, International handbooks on information systems
, 2nd ed.,
S.
Staab
 and
R.
Studer
, eds.,
Springer Verlag
,
Dordrecht
, pp.
361
–
381
.
Crossref
Search ADS
 
25.
Semy
,
S. K.
,
Pulvermacher
,
M. K.
, and
Obrst
,
L. J.
, 2004, “
Toward the Use of an Upper Ontology for U.S. Government and U.S. Military Domains: An Evaluation
,” The MITRE Corporation, Technical Report No. MTR 04B0000063.
26.
Borgo
,
S.
, and
Vieu
,
L.
, 2009, “
Artifacts in Formal Ontology
,”
Handbook of the Philosophy of the Technological Sciences
,
Anthonie
Meijers
, ed., vol.
9
,
Technology and Engineering Sciences, Elsevier
, pp.
273
–
307
.
27.
Sun
,
N.
,
Mei
,
X.
, and
Zhang
,
Y.
, 2009, “
A Simplified Systematic Method of Acquiring Design Specifications from Customer Requirements
,”
J. Comput. Inf. Sci. Eng.
,
9
, p.
031004
.
Crossref
Search ADS
 
28.
Carrara
,
M.
,
Garbacz
,
P.
, and
Vermaas
,
P.
, 2001, “
If Engineering Function is a Family Resemblance Concept: Assessing Three Formalization Strategies
,”
Appl. Ontol.
,
6
, pp.
141
–
163
.
Crossref
Search ADS
 
29.
Antoniou
,
G.
, and
van Harmelen
,
F.
, 2008,
Semantic Web Primer
,
MIT
,
Cambridge, MA
.
30.
Fiorentini
,
X.
,
Rachuri
,
S.
,
Suh
,
H.
,
Lee
,
J. H.
, and
Sriram
,
R. D.
, 2010, “
An Analysis of Description Logic Augmented with Domain Rules for the Development of Product Models
,” J. Comput. Inf. Sci. Eng., p.
021008
.
31.
Kroes
,
P.
, and
Meijers
,
A. W. M
, 2006, “
The Dual Nature of Technical Artefacts
,”
Stud. Hist. Philos. Sci.
,
37
, pp.
1
–
4
.
Crossref
Search ADS
 
Copyright © 2011
 by American Society of Mechanical Engineers
You do not currently have access to this content.