Abstract
The increased sensitivity of engineered products to external forces requires new computer-based design tools that can express the richness and complexity of product knowledge. This paper is a progress report of the author’s research towards the development of such a knowledge-based design tool, called the Design Knowledge Specification Language (DKSL). A key goal is to ensure the maximum possible logical rigor. In order to do this, ontological commitments are constructed to map logical structures to the domain of design knowledge. The first part of the paper discusses a number of ontological commitments the author has discovered for design. The second part of the paper presents the current, incomplete implementation of DKSL. An example of the structural and steady-state thermal analysis of a wall is used to present DKSL’s capabilities. Although much work remains to be done, it appears that DKSL may be able to accurately and rigorously describe any design knowledge.
Chapter PDF
Similar content being viewed by others
References
Akman, V. and Surav, M. (1996). Steps toward formalizing context. AI Magazine, 17 (3): 55–72.
Alberts, L. K. (1994). Ymir: A sharable ontology for the formal representation of engineering design knowledge. In Gero, J. S. and Tyugu, E., editors, Formal Design Methods for CAD, IFIP Transactions, pages 3–32, Amsterdam. North Holland.
Artale, A., Franconi, E., and Guarino, N. (1996a). Open problems with part-whole relations. In Proceedings of 1996 International Workshop on Description Logics, pages 70–73, Boston, MA.
Artale, A., Franconi, E., Guarino, N., and Pazzi, L. (1996b). Part-whole relations in object-centered systems: An overview. Data and Knowledge Engineering, 20: 347–383.
Bernays, P. (1968). Axiomatic Set Theory. North-Holland Publishing Company, Amsterdam.
Borgo, S., Guarino, N., and Masolo, C. (1996). A pointless theory of space based on strong connection and congruence. In Aiello, L. C. and Doyle, J., editors, Principles of Knowledge Representation and Reasoning - KR96. Morgan Kaufmann.
Brachman, R. J., McGuinness, D. L., Patel-Schneider, R F., and Resnick, L. (1991). LIVING WITH CLASSIC: When and How to Use a KL-ONE-Like Language, chapter 14, pages 401–456. Morgan Kaufmann Series in Representation and Reasoning. Morgan Kaufmann Publishers, Inc., San Mateo.
Chakrabarti, A. (1993). Towards a theory for functional reasoning in design. In Roozenburg, N. F. M., editor, Proceedings of ICED 93, 9th International Conference on Engineering Design, volume 1, pages 1–8, Zurich, Switzerland. Heurista.
Chittaro, L., Tasso, C., and Toppano, E. (1994). Putting functional knowledge on firmer ground. Applied Artificial Intelligence, 8: 239–258.
Copi, I. M. (1979). Symbolic Logic. Macmillan.
Damasio, A. R. and Damasio, H. (1992). Brain and language. Scientific American, 267 (3): 89–95.
Eastman, C. M., Bond, A. H., and Chase, S. C. (1991a). Application and evaluation of an engineering data model. Research in Engineering Design, 2: 185–207.
Eastman, C. M., Bond, A. H., and Chase, S. C. (199 lb). A formal approach for product model information. Research in Engineering Design, 2: 65–80.
Eastman, C. M. and Fereshetian, N. (1994). Information models for use in product design: a comparison. Computer-Aided Design, 26 (7): 551–572.
Genesereth, M. R. and Fikes, R. E. (1992). Knowledge interchange format reference manual, version 3.0. Technical Report Logic-92–1, Computer Science Department, Stanford University, Stanford, California.
Gerstl, P. and Pribbenow, S. (1996). A conceptual theory of part-whole relations and its applications. Data and Knowledge Engineering, 20: 305–322.
Gruber, T. R. (1992). Ontolingua: A mechanism to support portable ontologies. Technical report, Knowledge Systems Laboratory, Stanford University, Stanford, CA.
Guarino, N., Carrara, M., and Giaretta, P. (1994). Formalizing ontological commitments. In Proceedings of the 12th National Conference on Artificial Intelligence, volume 1, pages 560–568, Seattle, WA, USA. AAAI Press.
Hakim, M. M. and James H. Garrett, J. (1993). A description logic approach for representing engineering design standards. Engineering with Computers, 9 (2): 108–124.
Hurst, T. N. (1991). Automated model generation using the kif declarative language. In Gupta, G. and Shoup, T. E., editors, Proceedings of the 1991 ASME Computers in Engineering Conference, pages 137–144. ASME, American Society of Mechanical Engineers.
IEEE (1991). Ieee standard for the scheme programming language. IEEE Std 1178–1990. Institute of Electrical and Electronic Engineers.
Jaynes, J. (1976). The Origin of Consciousness in the Breakdown of the Bicameral Mind. University of Toronto Press.
Johnson, R. E. and Zweig, J. M. (1991). Delegation in c++. Journal of Object-Oriented Programming, 4 (7): 31–34.
McCarthy, J. and Buvac, S. (1994). Formalizing context (expanded notes). Technical Note STAN-CS-TN-94–13, Computer Science Department, Stanford University, Stanford, CA.
Qian, L. and Gero, S. (1996). Function-behavior-structure paths and their role in analogy-based design. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 10: 289–312.
Reynolds, W. C. and Perkins, H. C. (1977). Engineering Thermodynamics. McGraw-Hill.
Salustri, F. A. (1996). A formal theory for knowledge-based product model representation. In Knowledge-Intensive CAD II: proceedings of the IFIP WG 5.2 workshop. Chapman Hall.
Simons, P. (1987). Parts, A Study in Ontology. Clarendon Press, Oxford. Sowa, J. (1992). Discussions about kif and related issues. Interlingua Mailing List, 20 July.
Srzednicki, J. T. J., Rickey, V. F., and Czelakowski, J., editors (1984). Lesniewski’s Systems: Ontology and Mereology. Nijhoff International Philosophy Series 13. Martinus Nijhoff Publishers, The Hague.
Sturges, R. H., O’Shaughnessy, K., and Kilani, M. I. (1996). Computational model for conceptual design based on extended function logic. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 10: 255274.
Umeda, Y., Ishii, M., Yoshioka, M., Shimomura, Y., and Tomiyama, T. (1996). Supporting conceptual design based on the function-behavior-state modeler. Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 10: 275–288.
Ward, A. C. (1992). Some language-based approaches to concurrent engineering. International Journal of Systems Automation: Research and Applications, 2 (4): 335–351.
Winston, M. E., Chaffin, R., and Herrmann, D. (1987). A taxonomy of part-whole relations. Cognitive Science, 11:417–444.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Salustri, F.A. (2000). Ontological Commitments in Knowledge-Based Design Software: A Progress Report. In: Finger, S., Tomiyama, T., Mäntylä, M. (eds) Knowledge Intensive Computer Aided Design. KIC 1998. IFIP — The International Federation for Information Processing, vol 33. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35582-5_3
Download citation
DOI: https://doi.org/10.1007/978-0-387-35582-5_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5636-4
Online ISBN: 978-0-387-35582-5
eBook Packages: Springer Book Archive