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.

References

References
1.
Kitamura
Y.
, and
Mizoguchi
,
R.
, 2004, “
Ontology-Based Systematization of Functional Knowledge
,”
J. Eng. Design
,
15
(
4
), pp.
327
351
.
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
.
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
.
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
.
5.
Witherell
,
P.
,
Krishnamurty
,
S.
, and
Grosse
,
I.
, 2007, “
Ontologies for Supporting Engineering Design Optimization
,”
J. Comput. Inform. Sci. Eng.
,
7
, pp.
141
150
.
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).
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
.
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
.
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.
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
.
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
.
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
.
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
.
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
.
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
.
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
.
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
.
This content is only available via PDF.
You do not currently have access to this content.