1. Cutkosky, M., Engelmore, R., Fikes, R., Genesereth, M., Gruber, T., Mark, W., Tenenbaum, J., and Weber., J. (1993) PACT: An experiment in integrating concurrent engineering systems. IEEE Computer, 26 (I), 28–37.
2. de Vries, T.J.A. (1994) Conceptual design of controlled electro-mechanical systems. Ph.D. Thesis, University of., Enschede, the Netherlands.
3. Forbus, K. D. (1984) Qualitative process theory. Artificial Intelligence, 24 (3), 85–168.
4. Genesereth, M. R. and Fikes, R.. (1990) Knowledge interchange format, version 2.2 reference manual. Computer Science Department, Stanford University, Stanford, CA, USA. Technical Report Logic-90–4.
5. Gruber, T. R. (1993) Towards principles for the design of ontologies used for knowledge sharing. Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA. Technical Report KSL 93–04.