Skip to main content
SpringerLink
Log in

Viewing knowledge engineering as a symbiosis of Modeling to make sense and modeling to implement systems

  • Technical Papers
  • Conference paper
  • First Online:
GWAI-92: Advances in Artificial Intelligence

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 671))

Abstract

We view knowledge engineering as a constructive activity that encompasses both model building to make sense and model building to implement systems. We list four properties that we feel are important for environments that support this view on modeling and that exploit the symbiosis of both facets: epistemological modeling primitives, reusable templates, multifaceted modeling, and formal languages. We use the framework of these requirements to introduce the operational modeling language OMOS and to show how it copes with them. Finally, we compare OMOS to two important current developments: PROTéGé-II and SBF (Spark, Burn, Firefighter). This allows us to situate our work and put it into the context of current research.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Jürgen Angele, Dieter Fensel, Dieter Landes, and Rudi Studer. KARL: An executable language for the conceptual model. In John H. Boose and Brian R. Gaines, editors, Proceedings of the 6th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pages 1/1–1/20, Calgary, 1991. AAAI, University of Calgary.

    Google Scholar 

  2. Ansgar Bernardi, Harold Boley, Christoph Klauck, Philip Hanschke, Knut Hinkelmann, Ralf Legleitner, Otto Kühn, Manfred Mayer, Michael Richter, Franz Schmalhofer, Gabi Schmidt, and Walter Sommer. ARC-TEC: Acquisition, representation and compilation of technical knowledge. In Jean-Paul Haton and Jean-Claude Rault, editors, Proceedings of Avignon 91, volume 1, pages 133–145, Avignon, France, 1991. EC2.

    Google Scholar 

  3. Ronald J. Brachman. On the epistemological status of semantic networks. In N.V. Findler, editor, Associative Networks: Representation and Use of Knowledge by Computers, pages 3–50 50. Academic Press, New York, 1979.

    Google Scholar 

  4. Thomas Christaller, Franco di Primio, and Angi Voß. Die KI-Werkbank BABYLON. Addison Wesley, Bonn, 1989.

    Google Scholar 

  5. William J. Clancey. The knowledge level reinterpreted: Modeling how systems interact. Machine Learning, Special Issue on Knowledge Acquisition, 4(3, 4):285–292, 1989.

    Google Scholar 

  6. Franco di Primio and Karl Wittur. BABYLON, a meta-interpretation model for handling mixed knowledge representations. In Proceedings of the 7th International Workshop on Expert Systems and Their Applications, volume 1, pages 821–833, Avignon, 1987.

    Google Scholar 

  7. Ute Gappa and Karsten Poeck. Common ground and differences of the KADS and stong-problem-solving shell approach. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition-EKAW92, volume 599 of LNAI, pages 75–94, Heidelberg, 1992. Springer-Verlag.

    Google Scholar 

  8. Werner Karbach, Marc Linster, and Angi Voß. Models, methods, roles and tasks: Many labels — one idea? Knowledge Acquisition, 2(4):279–300, 1990.

    Google Scholar 

  9. Werner Karbach, Angi Voß, Ralf Schukey, and Uwe Drouven. MODEL-K: Prototyping at the knowledge level. In Proceedings of the First International Conference on Knowledge Modeling and Expertise Transfer, Sophia Antipolis, France, 1991.

    Google Scholar 

  10. Georg Klinker, Carlos Bhola, Geoffroy Dallemange, David Marques, and John McDermott. Usable and reusable programming constructs. In John H. Boose and Brian R. Gaines, editors, Proceedings of the 5th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pages 14/1–14/20, Calgary, 1990. AAAI, University of Calgary.

    Google Scholar 

  11. Otto Kühn, Marc Linster, and Gabi Schmidt. Clamping, COKAM, KADS and OMOS. In Proceedings of EKAW91. University of Strathclyde, 1991. Also published as Technical Memo TM-91-03 of DFKI, Kaiserslautern.

    Google Scholar 

  12. Marc Linster. Explicit and operational models as a basis for second generation knowledge-acquisition tools. In Jean-Marc David, Jean-Paul Krivine, and Reid Simmons, editors, Second generation expert systems. Springer, 1992. Forthcoming.

    Google Scholar 

  13. Marc Linster. Knowledge acquisition based on explicit methods of problem-solving. PhD thesis, University of Kaiserslautern, Kaiserslautern, February 1992.

    Google Scholar 

  14. Marc Linster. Linking modeling to make sense and modeling to implement systems in an operational environment. In Thomas Wetter, Klaus-Dieter Althoff, John Boose, Brian Gaines, Marc Linster, and Franz Schmalhofer, editors, Current developments in knowledge acquisition: EKAW92, volume 599 of LNAI, pages 55–74, Heidelberg, 1992. GI, ECCAI, Springer-Verlag.

    Google Scholar 

  15. Marc Linster. Using OMOS to represent KADS conceptual models. In Guus Schreiber, Bob Wielinga, and Joost Breuker, editors, KADS: A principled approach to knowledge-based system development, pages 357–382. Academic Press, 1992.

    Google Scholar 

  16. Marc Linster. Using the operational modeling language OMOS to tackle the Sisyphus'92 office-planning problem. In Marc Linster, editor, Sisyphus'92: Models of problem solving, volume 630 of Technical report of GMD, St. Augustin, 1992. GMD.

    Google Scholar 

  17. Marc Linster and Mark Musen. Use of KADS to create a conceptual model of the ONCOCIN task. Knowledge Acquisition, 4(1):55–88, 1992.

    Article  Google Scholar 

  18. David Marques, Georg Klinker, Geoffroy Dallemange, Patrice Gautier, John McDermott, and David Tung. More data on reusable programming constructs. In John Boose and Mark Musen, editors, Proceedings of the 6th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pages 14/1–14/19, University of Calgary, 1991. AAAI, University of Calgary.

    Google Scholar 

  19. John McDermott. Preliminary steps toward a taxonomy of problem-solving methods. In Sandra Marcus, editor, Automating Knowledge Acquisition for Expert Systems, pages 225–256. Kluwer Academic, Boston, 1988.

    Google Scholar 

  20. Katharina Morik. Underlying assumptions of knowledge acquisition and machine learning. Knowledge Acquisition, 3:137–156, 1991.

    Article  Google Scholar 

  21. Mark A. Musen. Automated Generation of Model-Based Knowledge Acquisition Tools. Research Notes in Artificial Intelligence. Pitman Publishing, London, 1989.

    Google Scholar 

  22. Mark A. Musen and Samson W. Tu. A model of skeletal-plan refinement to generate task-specific knowledge acquisition tools. Knowledge systems laboratory ksl-91-05, Stanford University, 1991.

    Google Scholar 

  23. Angel Puerta, John Edgar, Samson Tu, and Mark Musen. A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools. In John Boose and Brian Gaines, editors, Proceedings of the 6th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pages 20/1-20/19, University of Calgary, 1991. AAAI, University of Calgary.

    Google Scholar 

  24. Samson Tu, Yuval Shahar, John Dawes, James Winkles, Angel Puerta, and Mark Musen. A problem-solving model for episodic skeletal-plan refinement. In John Boose and Brian Gaines, editors, Proceedings of the 6th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pages 34/1-34/20, University of Calgary, 1991. AAAI, University of Calgary.

    Google Scholar 

  25. Frank van Harmelen and Jan Balder. (ML)2: A formal language for KADS models of expertise. Knowledge Acquisition, 4(1):127–161, 1992.

    Article  Google Scholar 

  26. Bob Wielinga and Joost Breuker. Models of expertise. In European Conference on AI, Brighton, 1986.

    Google Scholar 

  27. Bob Wielinga, Guus Schreiber, and Jost Breuker. KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1):5–54, 1992.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. AI Research Division, GMD, D-5205, St. Augustin 1

    Marc Linster

Authors
  1. Marc Linster
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Linster, M. (1993). Viewing knowledge engineering as a symbiosis of Modeling to make sense and modeling to implement systems . In: Jürgen Ohlbach, H. (eds) GWAI-92: Advances in Artificial Intelligence. Lecture Notes in Computer Science, vol 671. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0018995

Download citation

  • DOI: https://doi.org/10.1007/BFb0018995

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56667-0

  • Online ISBN: 978-3-540-47626-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation