Abstract
Computers are fundamental tools to facilitate engineering design. But to provide adequate support, a systematic formalization is needed to express, communicate, and compute product knowledge between agents. This paper introduces the Design Knowledge Specification Language (DKSL), a knowledge representation (KR) language tuned to the engineering domain. It blends aspects of both specification and programming languages, allowing the definition, transmission, and computation of product knowledge for design process support. An overview of DKSL is presented, including its theoretical underpinnings, as well as a discussion of how DKSL can be applied to support design processes. Providing a rigorous formalization of product knowledge can significantly improve design processes.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akman, V., and Surav, M. 1996. Steps toward formalizing context. AI Magazine 17 (3): 55–72.
Artale, A.; Franconi, E.; and Guarino, N. 1996. Open problems with part-whole relations. In Proceedings of 1996 International Workshop on Description Logics, 70–73.
Engehausen, A.; Pribbenow, S.; and Toter, U. 1996. Multiple part-hierarchies. In Baader, E; Burckert, H. J.; Gunter, A.; and Nutt, W., eds., Proc. WRKP: Knowledge Representation and Configuration Problems, DFKI Document D-96–04.
Fraenkel, A. A.; Bar-Hillel, Y.; and Levy, A. 1973. Foundations of Set Theory. North-Holland.
Guarino, N.; Carrara, M.; and Giaretta, P. 1994. Formalizing ontological commitments. In Proceedings of the 12th National Conference on Artificial Intelligence, volume 1, 560–568. Seattle, WA, USA: AAAI Press.
IEEE 1991. Ieee standard for the scheme programming language. IEEE Std 1178–1990. Institute of Electrical and Electronic Engineers.
Salustri 1996] 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 and Hall.
Salustri, E. A. 1998. Integrated function/structure modeling: a progress report. In Cook, D., ed., Proc. 11th Florida Artificial Intelligence Research Symposium, special track on Reasoning about Function, 339–343.
Stal, M. 1998. Worldwide corba: Distributed objects and the net. Object Magazine 8 (1). http://www.sigs.com/omo/frompages/9803/stal.html.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media Dordrecht
About this paper
Cite this paper
Salustri, F.A. (1999). Towards a Unified Specification Language for Design Knowledge. In: Kals, H., van Houten, F. (eds) Integration of Process Knowledge into Design Support Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1901-8_23
Download citation
DOI: https://doi.org/10.1007/978-94-017-1901-8_23
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5199-8
Online ISBN: 978-94-017-1901-8
eBook Packages: Springer Book Archive