DETC2011-48125 DETC2011-4: An Ontology of Classification Criteria For Functional Taxonomies
DETC2011-48125 DETC2011-4: An Ontology of Classification Criteria For Functional Taxonomies
DETC2011-48125 DETC2011-4: An Ontology of Classification Criteria For Functional Taxonomies
DETC2011-48125
DETC2011-4
ABSTRACT
In order to facilitate sharing of functional models, some func- 1. INTRODUCTION
tional taxonomies each of which provides a set of verbs for Functionality is one of the key aspects of knowledge about arti-
representing generic functions (called functional terms here) facts. Thus, a functional model, i.e., a product model from the
have been developed. Their examples include some sets of gen- viewpoint of functionality, plays a crucial role in the conceptual
erally valid functions in the book written by Pahl and Beitz, design and in other engineering activities. Much research on the
Functional Basis (FB) developed by Hirtz et al. and FOCUS/Tx functional models such as [1-11] has been carried out to date. A
developed by the authors of this paper. The issue addressed in function of a component or a system in a functional model is
this paper is the implicitness of the criteria of classification of typically expressed as a pair of an active verb and its (gram-
functional terms in those taxonomies and thus unclearness of matical) object like in Value Engineering [1]. We here concen-
their definitions. This paper proposes an ontology of logical trate on such active verbs representing functions (called func-
criteria for classification of functional terms (called tional terms hereinafter).
FOCUS/View). Using the classes defined in FOCUS/View, the Sharing such functional models in engineering organiza-
classification criteria of a functional taxonomy can be explicitly tions facilitates engineering activities. One of the important
represented. These classes have been conceptualized based on approaches for this is to establish a taxonomy of general func-
deep investigation on FB and FOCUS/Tx. The benefits of the tional terms and to use it for representing functions in the func-
proposed FOCUS/View ontology include: (1) users of a taxon- tional models. Such a taxonomy provides a shared and con-
omy can easily understand differences of similar terms and se- trolled vocabulary for functional models and makes it easier to
lect an appropriate term out of them, (2) a developer of a tax- search them using the functional terms in the taxonomy.
onomy can check its logical classification structure and then Thus, some functional taxonomies have been proposed to
improve its logical clearness, and (3) we can compare different date [4][5][9][12][13][14]. For example, the book [5] by Pahl
taxonomies and establish more reliable mappings between their and Beitz shows some taxonomies of generally valid functions
terms for interoperability of functional models. In this paper, as in the German design methodology, which have been proposed
a demonstration of the benefit (1), the classification criteria of by Krumhauer, Roth and others independently. In US, Recon-
FB, FOCUS/Tx, Krumhauers and Roths generally valid func- ciled Functional Basis in the NIST Design Repository Project
tions are explicitly presented using FOCUS/View. As a demon- has been established [9] as a reconciliation of the original Func-
stration of the benefit (2), some logically problematic classifi- tional Basis [13] and other taxonomy [14]. This consists of a
cation structures of FB and the Krumhauers functions are dis- taxonomy of function (verb) and that of flow. We concentrate
cussed and modified for the logical clearness. For the benefit on the taxonomy of function as a functional taxonomy and call
(3), this paper demonstrates the mappings between FB and it FB in this paper.
FOCUS/Tx and a semantic interoperable document search sys- The authors have been involved in the research on func-
tem based on these mappings. tionality based on Ontological Engineering [15][16][17] and
have established a suite of functional ontologies named
KEYWORDS
Functional representation, ontology, functional design, de-
sign knowledge modeling
FB-Function
Classification
Class Secondary Tertiary criterion Branch
Functional (Primary)
Branch Possibility of distinguishing operands
taxonomies Separate possible impossible
Divide Value for
Extract Applying classification
Remove FOCUS/View Separate Distribute
Distribute to a functional
The original classification of taxonomy Pattern of focus on operands
Reconciled Functional Basis (FB) for explicating Focus on all Focus on an operand
(portion) classification
criteria Divide The sameness of kinds of ops.
Different kinds The same kind
Original functional taxonomies
Extract Remove
FB with explicit classification criteria
Figure 1. An overview of FOCUS/View with Reconciled Functional Basis (FB) as an example of a target taxonomy.
(O)
is-a
(A) (E) (T)
(Fc)
Operand (op. or ops.) Agent Effect Function Condition / Way of (W)
Time
Context control achievement
(O-1) (O-4)
(O-2) (O-3) (E-1) (E-2) (Cd)
(O-5) (W-1)
Kind of Characteristics Change of Attribute Effect on Effect on
Focus on Use of Time Time
op. of ops. numbers of of ops. states processes
ops. intermediary ops interval point
ops.
(O-2-1) (E-1-1)
(O-5-1) (O-5-2) (T-1) (T-2)
Distinguishability The sameness (O-2-2) Pattern of Kinds of Location of (E-1-2)
Necessity
of ops. of kinds of ops. focus on ops. state change state change
of op.
Compositional (O-2-3)
(E-1-1-1) Quantitative change Categorical change (E-1-1-2)
relationship of ops.
Classification
FB Function
criterion (O-3) (E)
Figure 4. Reconciled Functional Basis (FB) with classification criteria defined in FOCUS/View (portion).
This is logically modified according to these criteria. (the gray nodes have been inserted)
same kind of flow, while extract seems to be intended to use use of intermediary operand (W-1 in Fig. 3) which is sub-
for the case where a flow is separated from the different kind of class of the way of function achievement (W). The authors
flow(s). believe that these functional terms that imply ways of function
This classification is problematic from the viewpoint of achievement do not represent pure functions and thus exclude
logic and ontological engineering. As a principle of ontological such terms from FOCUS/Tx as discussed in the next section.
engineering, classification of a concept into its direct sub- In addition, if we think the logical symmetry is important,
concepts should be based on a single criterion. If we apply this this criterion (W-1) should be applied to mix and then we
principle, an intermediate term is needed to be inserted as would have two sub-nodes (mix1 and mix2 in Fig. 4).
shown as separate2 with gray in Fig. 4 (The suffix number 2 In the original FB taxonomy shown Table 1, change is di-
in separate2 is added for distinguishing from separate). rectly classified into increment, decrement, shape and
The couple is classified into join and link. According condition. Obviously, this classification is based on multiple
to the definition and the example of link, the flows are cou- criteria. The right part of Fig. 4 shows a possible logical classi-
pled together by means of an intermediary operand (flow) such fication, in which a level of classification is based on a single
as a turnbuckle. So, this classification is based on how to criterion and then two intermediate terms (Q-change and Q-
achieve a function. We distinguish this from function (what to change2) have been inserted.
achieve) and then call the way of function achievement as In this manner, FOCUS/View helps us make classification
mentioned above. Thus, the criterion of this classification is criteria clearer and suggest possible logical improvement of
Change
Change Change
Change Unify
Separate
Separate Assemble
Assemble volume
volume temp.
temp. (O-5-2)
Take-out
Take-out22 Divide
Divide Unify Combine Compose
Combine Compose
Necessity of the operand (O-2-2)
The sameness of kinds of ops.
necessary unnecessary the same different different
Take-out
Take-out22 Divide Combine Compose
Divide Unify Combine Compose kind portion ingredients
Unify parts
Take-out
Take-out33 Remove
Remove Split Decompose
Split Detach
Detach Decompose
Take-out
Take-out33 Remove
Remove Split Decompose
Split Detach
Detach Decompose The sameness of kinds of ops. (O-2-2)
the same different different
kind portion part ingredient
Split
Splitoff
off Take
Takeoff
off Extract
Extract The original classification FOCUS/Tx with explicit
of FOCUS/Tx (portion) Split
Splitoff
off Take
Takeoff
off Extract
Extract classification criteria (portion)
Figure 5. Classification criteria of FOCUS/Tx (Portion)
taxonomies. Note that these classification criteria are the au- FOCUS/Tx as shown in Fig. 5. In addition, FB also uses the
thors interpretation of the original definitions in [9] as an ex- same criterion for the classification of separate (precisely
ample of application of FOCUS/View. Thus, the authors do not speaking, the distinction between extract and remove) as
claim their correctness. In addition, the suggested modifications discussed in the previous section. In this manner, FOCUS/View
here are from purely logical point of view. The authors also do provides clues for easy understanding of a taxonomy and easy
not claim that appropriateness of those inserted terms and their comparison among different taxonomies.
usefulness from the engineering point of view. These are dif- The criteria used in FOCUS/Tx cover almost all of the cri-
ferent issues and should be in nature verified by empirical study teria used in FB with some exceptions. These exceptions can be
and/or practice in industry as discussed in Section 6. explained by the fact that some criteria imply different ones and
the policy that FOCUS/Tx excludes the functional terms that
4.2. FOCUS/Tx are classified according to one of a way of function achieve-
FOCUS/Tx defines generic types of the base-functions (called ment criteria (W criteria in Fig. 3) as discussed above. Thus,
functional concepts in the ontology. They correspond to func- these W criteria are never used in FOCUS/Tx. From this obser-
tional terms in this paper). The left part of Fig. 5 shows its por- vation, we can say that FOCUS/Tx covers FB sufficiently. This
tion. A functional concept (a class of function) is defined onto- fact is very interesting, considering the following backgrounds
logically using constraints on the cardinality of operands, rela- of these taxonomies. They have been developed independently
tionships among them and/or designers intention to change from each other using different natural languages for terms
(focus of intention). For example, a function to divide an op- (FOCUS/Tx is designed firstly in Japanese, while FB is de-
erand is defined by the following semantic constraints: (1) the signed for (and defined by) English). We revisit this result with
cardinality of the input focused operand must be 1, (2) the car- the mapping result in Section 5.1.
dinality of the output focused operands must be greater than 1,
(3) there must be material-product relationship between the 4.3. Krumhauers functions and Roths ones
input operand and the output operands and (4) all the output The classification of the Krumhauers generally valid functions
operands are equally focused. The first three are inherited from is explained in the book [5] that it is based on differences be-
the super-concepts such as separate. The fourth one enables tween input and output of (1) type, (2) magnitude, (3) number,
us to distinguish the divide function from the sibling function (4) location and (5) time as shown in the left part of Fig. 6.
take-out2. This ontology has been implemented using an on- Their classification criteria can be represented using
tology editor Hozo3 in its own language and in OWL and FOCUS/View as shown in the right part of Fig. 6 with interme-
SWRL languages. In these implementations, although those diate nodes (depicted with gray) for logical clearness. As you
definitions are clear, the classification criteria and its values are can see, the original one-level classification implies many dif-
not explicitly conceptualized. ferent criteria.
Using FOCUS/View, we can make the classification crite- The Roths generally valid functions shown in [5] use al-
ria clearer as shown in the right part of Fig. 5 (Only subclasses most the same criteria as ones used in the Krumhauers func-
of change composition are shown). Thanks to FOCUS/View, tion. The difference is that the criterion quantitative change is
we can easily understand that the same O-2-2 criterion the not used in the Roths classification. So, in a manner similar to
sameness of the kinds of operands is used for the classification Fig. 6, we can explicate its classification criteria.
of three functional terms: assemble, divide and take-out3 in Consequently, FOCUS/View can explain these taxonomies
3 other than FB and FOCUS/Tx which we have investigated for
http://www.hozo.jp
Change
Change Change Change
(convert)
(convert) composition magnitude Move
(E-1-1-1) (E-1-1-1)
(O-3) Change of numbers of ops. Qualitative change
Qualitative change
n -> 1 1 -> n enlarge reduce -> 0 n1 -> n2
Connect
Connect Branch
Branch Increase
Increase Decrease Stop
Stop Channel
Channel
Decrease
FOCUS/Tx
FOCUS/TxFunction
Function
FB Function Change
Change
composition
composition
(O-3) (O-3)
correspondence
Change of numbers of operands Change of numbers of operands
1 -> n n -> 1
1 -> n
Branch Separate
Separate Assemble
Assemble
(O-2-1) mapping1 (O-5-1)
Figure 7. Mappings between Reconciled Functional Basis (FB) and FOCUS/Tx based on FOCUS/View.
the construction of FOCUS/View. This suggests a level of gen- lishment of mappings between functional terms of them. The
erality of FOCUS/View for representing classification criteria mappings between functional taxonomies enable us to realize
of functional terms. Of course, we do not claim its comprehen- interoperability between them. In our previous papers [23][24],
siveness for all functional taxonomies. Applying it to other ex- we presented mappings between FB and FOCUS/Tx. In this
isting functional taxonomies such as those in [4][12] and fur- paper, we suggest FOCUS/View makes mapping easier and
ther investigation on its generality remain as future work. more accurate than previous mappings.
Figure 7 shows some examples of the mappings between
5. USING FOCUS/VIEW FOR MAPPINGS BETWEEN FB and FOCUS/Tx terms based on FOCUS/View. We have
TAXONOMIES established a set of a correspondence mapping between a term
5.1. Mapping between FB and FOCUS/Tx of FB and a term of FOCUS/Tx, which have similar meanings.
The explication of the classification criteria facilitates compari- Finding corresponding terms has been manually done based on
sons between different functional taxonomies and then estab- the explicit classification criteria using FOCUS/View. For ex-
Figure 8. Interoperable search result by the Funnotation system based on mappings between functional taxonomies.