References

Akkermans et al., 1995

AKKERMANS, J., BORST, P., POS, A., & TOP, J. (1995). Experiences in conceptual modelling for a mechatronic design library. In Gaines, B. & Musen, M., editors, Proceedings of the Ninth International Knowledge Acquisition Workshop KAW'95, volume 2, pages 39.1-39.15. University of Calgary, SRDG Publications.

Alberts, 1993

ALBERTS, M. (1993). YMIR: an ontology for engineering design. PhD thesis, University of Twente.

Benjamin et al., 1996

BENJAMIN, J., BORST, P., AKKERMANS, J., & WIELINGA, B. (1996). Ontology construction for technical domains. In Shadbolt, N., editor, Proceedings 9th European Knowledge Acquisition Workshop EKAW'96, pages 98-114, Berlin. Springer-Verlag. Lecture Notes in Artificial Intelligence No. 1076.

Bernaras & Laresgoiti, 1996

BERNARAS, A. & LARESGOITI, I. (1996). Building and reusing ontologies for electrical network applications. In Wahlster, W., editor, Proceedings 12th European Conference on Artificial Intelligence ECAI'96 (Budapest, Hungary), pages 298-302, Chichester, UK. John Wiley.

Borst et al., 1995

BORST, P., AKKERMANS, J., POS, A., & TOP, J. (1995). The PhysSys ontology for physical systems. In Bredeweg, B., editor, Working Papers of the Ninth International Workshop on Qualitative Reasoning QR'95, pages 11-21. University of Amsterdam.

Borst et al., 1994

BORST, P., POS, A., TOP, J., & AKKERMANS, J. (1994). Physical systems ontology. In Mars, N., editor, Working Papers European Conference on Artificial Intelligence ECAI'94 Workshop on Implemented Ontologies, pages 47-80, Amsterdam. ECCAI.

Bylander & Chandrasekaran, 1988

BYLANDER, T. & CHANDRASEKARAN, B. (1988). Generic tasks in knowledge-based reasoning: The right level of abstraction for knowledge acquisition. In Gaines, B. & Boose, J., editors, Knowledge Acquisition for Knowledge Based Systems, volume 1, pages 65-77. London, Academic Press.

Clarke, 1981

CLARKE, B. L. (1981). A calculus of individuals based on `connection'. Notre Dame Journal of Formal Logic, 22(3):204-218.

Cohn et al., 1995

COHN, A., RANDELL, D., & CUI, Z. (1995). Taxonomies of logically defined qualitative spatial relations. International Journal of Human-Computer Studies, 43:831-846.

Eschenbach & Heydrich, 1995

ESCHENBACH, C. & HEYDRICH, W. (1995). Classical mereology and restricted domains. International Journal of Human-Computer Studies, 43:723-740.

Falkenhainer & Forbus, 1991

FALKENHAINER, B. & FORBUS, K. (1991). Compositional modeling: Finding the right model for the job. Artificial Intelligence, 51:95-143.

Forbus, 1984

FORBUS, K. D. (1984). Qualitative process theory. Artificial Intelligence, 24:85-168.

Gennari et al., 1994

GENNARI, J., TU, S., ROTHENFLUH, T., & MUSEN, M. (1994). Mapping domains to methods in support of reuse. International Journal of Human-Computer Studies, 41:399-424.

Gerstl & Pribbenow, 1995

GERSTL, P. & PRIBBENOW, S. (1995). Midwinters, end games and body parts: A classification of part-whole relations. International Journal of Human-Computer Studies, 43:865-889.

Gruber, 1995

GRUBER, T. (1995). Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human-Computer Studies, 43:907-928.

Gruber & Olsen, 1994

GRUBER, T. & OLSEN, G. (1994). An ontology for engineering mathematics. In Doyle, J., Torasso, P., & Sandewall, E., editors, Proceedings Fourth International Conference on Principles of Knowledge Representation and Reasoning, pages 258-269, San Mateo, CA. Morgan Kaufmann.

Guarino, 1995

GUARINO, N. (1995). Formal ontology, conceptual analysis and knowledge representation. International Journal of Human-Computer Studies, 43:625 - 640.

Guarino & Giaretta, 1995

GUARINO, N. & GIARETTA, P. (1995). Ontologies and knowledge bases: Towards a terminological clarification. In Mars, N., editor, Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing 1995, pages 25-32, Amsterdam, NL. IOS Press.

Hobbs, 1995

HOBBS, J. (1995). Sketch of an ontology underlying the way we talk about the world. International Journal of Human-Computer Studies, 43:819-830.

Karnopp et al., 1990

KARNOPP, D., MARGOLIS, D., & ROSENBERG, R. (1990). System Dynamics: A Unified Approach. New York, John Wiley & Sons. Second Revised Edition.

Kuipers, 1994

KUIPERS, B. (1994). Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. Cambridge, Massachusetts, The MIT Press.

Lenat & Guha, 1990

LENAT, D. B. & GUHA, R. V. (1990). Building large knowledge-based systems. Representation and inference in the Cyc project. Reading, Massachusetts, Addison-Wesley.

Marcus & McDermott, 1989

MARCUS, S. & MCDERMOTT, J. (1989). SALT: A knowledge acquisition language for propose-and-revise systems. Artificial Intelligence, 39(1):1-38.

Neches et al., 1991

NECHES, R., FIKES, R., FININ, T., GRUBER, T., SENATOR, T., & SWARTOUT, W. (1991). Enabling technology for knowledge sharing. AI Magazine, 12(3):36-56.

Pos et al., 1996a

POS, A., AKKERMANS, J. M., & TOP, J. L. (1996a). Automated model revision. Submitted to IEEE Expert.

Pos et al., 1996b

POS, A., BORST, P., TOP, J. L., & AKKERMANS, J. M. (1996b). Reusability of simulation models. Knowledge Based Systems Journal, 9(2):119-125.

Schreiber et al., 1994

SCHREIBER, A., WIELINGA, B., AKKERMANS, J., DE VELDE, W. V., & DE HOOG, R. (1994). CommonKADS -- A Comprehensive Methodology for KBS Development. IEEE Expert, 9(6):28-37.

Schreiber et al., 1995

SCHREIBER, A., WIELINGA, B., & JANSWEIJER, W. (1995). The KACTUS View on the `O'Word. In Skuce, D., editor, Working Papers IJCAI'95 Workshop on Basic Ontological Issues in Knowledge Sharing, Montreal, Quebec, Canada. IJCAI.

Simons, 1987

SIMONS, P. (1987). Parts, A Study in Ontology, chapter 1-3, pages 5-128. Oxford, Clarendon Press.

Skuce, 1993

SKUCE, D. (1993). A Review of `Building Large Knowledge-Based Systems' by D. Lenat and R. Guha. Artificial Intelligence, 61:81-94.

Sowa, 1995

SOWA, J. (1995). Top-level ontological categoeries. International Journal of Human-Computer Studies, 43:669-685.

Top & Akkermans, 1994

TOP, J. & AKKERMANS, J. (1994). Tasks and ontologies in engineering modelling. International Journal of Human-Computer Studies, 41(4):585-617.

Top et al., 1995

TOP, J., BREUNESE, A., BROENINK, J., & AKKERMANS, J. (1995). Structure and use of a library for physical systems models. In Proceedings International Conference on Bond Graph Modelling and Simulation ICBGM'95, pages 97-102, Las Vegas. SCS.

Tu et al., 1995

TU, S., ERIKSSON, H., GENNARI, J., SHAHAR, Y., & MUSEN, M. (1995). Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: Application of PROTÉGÉ-II to protocol-based decision support. Artificial Intelligence in Medicine, 7:201-225.

van der Vet et al., 1995

VAN DER VET, P., SPEEL, P.-H., & MARS, N. (1995). Ontologies for very large knowledge bases in materials science: A case study. In Mars, N., editor, Towards Very Large Knowledge Bases: Knowledge Building and Knowledge Sharing 1995, pages 73 - 83, Amsterdam, NL. IOS Press.

van Heijst et al., 1996

VAN HEIJST, G., SCHREIBER, A., & WIELINGA, B. (1996). Using explicit ontologies in KBS development. International Journal of Human-Computer Studies, 45:xxx-yyy. To appear.