A Formal Model of Functional Decomposition
Paweł Garbacz · 2006
The paper applies formal methods of Knowledge Representation to the domain of engineering design. More specifically, it provides a precise definition of the notion of functional decomposition as used by G. Pahl and W. Beitz. This definition is embedded in a formal framework based on the primitive notions defined in DOLCE, one of the foundational ontologies in the Semantic Web.Copyright © 2006 by ASME