Skip to main content

Knowledge Engineering: Survey and Future Directions

  • Conference paper
XPS-99: Knowledge-Based Systems. Survey and Future Directions (XPS 1999)

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

Included in the following conference series:

Abstract

This paper provides an overview of important developments in the field of Knowledge Engineering. We discuss the paradigm shift from a transfer to a modeling approach and discuss two prominent methodological achievements: problem-solving methods and ontologies. To illustrate these and additional concepts we outline several modeling frameworks: CommonKADS, MIKE, PROTÉGÉ-II, and D3. We also discuss two fields which have emerged in the last few years and are promising areas for applying and further developing concepts and methods from Knowledge Engineering: Intelligent Information Integration and Knowledge Management.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abecker, A., Bernardi, A., Hinkelmann, K., Kuhn, O., Sintek, M.: Towards a Technology for Organizational Memories. IEEE Intelligent Systems & Their Applications 13(3) (1998)

    Google Scholar 

  2. Abecker, A., Decker, S.: Organizational Memory: Knowledge Acquisition, Integration and Retrieval Issue. In: Puppe, F. (ed.) XPS 1999. LNCS (LNAI), vol. 1570, pp. 113–124. Springer, Heidelberg (1999)

    Google Scholar 

  3. Althoff, K.-D., Bomarius, F., Tautz, C.: Using Case-Based Reasoning Technology to Build Learning Software Organizations. In: Proc. of the 1st Workshop Building, Maintaining, and Using Organizational Memories (OM-1998), 13th European Conference on AI (ECAI 1998), Brighton (1998), http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-14/

  4. Angele, J., Fensel, D., Landes, D., Studer, R.: Developing Knowledge-Based Systems with MIKE. Journal of Automated Software Engineering 5(4), 389–418 (1998)

    Article  Google Scholar 

  5. Angele, J., Fensel, D., Studer, R.: Domain and Task Modeling in MIKE. In: Sutcliffe, A., et al. (eds.) Domain Knowledge for Interactive System Design. Chapman & Hall, Boca Raton (1996)

    Google Scholar 

  6. Akkermans, H., Wielinga, B., Schreiber, A.T.: Steps in Constructing Problem-Solving Methods. In: Aussenac, N., Boy, G.A., Ganascia, J.-G., Kodratoff, Y., Linster, M., Gaines, B.R. (eds.) EKAW 1993. LNCS, vol. 723. Springer, Heidelberg (1993)

    Google Scholar 

  7. Bamberger, S., Gappa, U., Klügl, F., Puppe, F.: Komplexitätsreduktion durch grafische Wissensabstraktion. In: Mertens, P., Voss, H. (eds.) Expertensysteme 97 (XPS 1997), Proc. in Artificial Intelligence 6, infix, St. Augustin (1997)

    Google Scholar 

  8. Benjamins, V.R., Fensel, D., Gomez Perez, A.: Knowledge Management through Ontologies. In: Proceedings of the 2nd International Conference on Practical Aspects of Knowledge Management (PAKM 1998), Basel, Switzerland (October 1998)

    Google Scholar 

  9. Benjamins, V.R., Fensel, D., Straatman, R.: Assumptions of Problem-solving Methods and Their Role in Knowledge Engineering. In: Wahlster, W. (ed.) Proc. ECAI-1996, pp. 408–412. J. Wiley & Sons, Ltd., Chichester (1996)

    Google Scholar 

  10. Benjamins, V.R., Plaza, E., Motta, E., Fensel, D., Studer, R., Wielinga, B., Schreiber, G., Zdrahal, Z., Decker, S.: IBROW3: An Intelligent Brokering Service for Knowledge-Component Reuse on the World-Wide Web. In: Proceedings of the 11th Workshop on Knowledge Acquisition, Modeling, and Management (KAW 1998), Banff, Canada (April 1998) See http://www.swi.psy.uva.nl/projects/IBROW3/home.html

  11. Boehm, B.W.: A Spiral Model of Software Development and Enhancement. Computer 21, 61–72 (1988)

    Article  Google Scholar 

  12. Borst, W.N., Akkermans, J.M.: Engineering Ontologies. International Journal of Human-Computer Studies 46(2/3), 365–406 (1997)

    Article  Google Scholar 

  13. Breuker, J.A., van de Velde, W. (eds.): The CommonKADS Library For Expertise Modelling. IOS Press, Amsterdam (1994)

    Google Scholar 

  14. Buckingham Shum, S.: Negotiating the Construction and Reconstruction of Organisational Memories. Journal of Universal Computer Science 3(8) (1997), Special Issue on Information Technology for Knowledge Management, Springer Science Online

    Google Scholar 

  15. Bylander, T., Chandrasekaran, B.: Generic Tasks in Knowledge-based Reasoning: The Right Level of Abstraction for Knowledge Acquisition. In: Gaines, B., Boose, J. (eds.) Knowledge Acquisition for Knowledge Based Systems, vol. 1. Academic Press, London (1988)

    Google Scholar 

  16. Chandrasekaran, B.: Generic Tasks in Knowledge-based Reasoning: High-level Building Blocks for Expert System Design. IEEE Expert 1(3), 23–30 (1986)

    Article  Google Scholar 

  17. Chawathe, S., Garcia-Molina, H., Hammer, J., Ireland, K., Papakonstantinou, Y., Ullman, J., Widom, J.: The TSIMMIS Project: Integration of Heterogeneous Information Sources. In: Proceedings of IPSE Conference, Tokyo, Japan, October 1994, pp. 7–18 (1994)

    Google Scholar 

  18. Clancey, W.J.: The Epistemology of a Rule-Based Expert System - a Framework for Explanation. Artificial Intelligence 20, 215–251 (1983)

    Article  Google Scholar 

  19. Clancey, W.J.: From Guidon to Neomycin and Heracles in Twenty Short Lessons. In: van Lamsweerde, A. (ed.) Current Issues in Expert Systems. Academic Press, London (1987)

    Google Scholar 

  20. Clancey, W.J.: The Knowledge Level Reinterpreted: Modeling How Systems Interact. Machine Learning 4, 285–291 (1989)

    Google Scholar 

  21. Cornelissen, F., Jonker, C.M., Treur, J.: Compositional Verification of Knowledge-based Systems: A Case Study for Diagnostic Reasoning. In: Plaza, E., Benjamins, R. (eds.) EKAW 1997. LNCS, vol. 1319, Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  22. David, J.-M., Krivine, J.-P., Simmons, R. (eds.): Second Generation Expert Systems. Springer, Berlin (1993)

    MATH  Google Scholar 

  23. The Dublin Core Initiative, http://purl.org/metadata/dublin_core

  24. Decker, S., Daniel, M., Erdmann, M., Studer, R.: An Enterprise Reference Scheme for Integrating Model-based Knowledge Engineering and Enterprise Modeling. In: Plaza, E., Benjamins, R. (eds.) EKAW 1997. LNCS, vol. 1319, Springer, Heidelberg (1997)

    Chapter  Google Scholar 

  25. Decker, S., Erdmann, M., Fensel, D., Studer, R.: Ontobroker: Ontology-based Access to Distributed and Semi-Structured Information. In: Proc. 8th IFIP 2.6 Working Conf. on Database Semantics (DS-8), Rotorua (January 1999)

    Google Scholar 

  26. Dieng, R., Corby, O., Giboin, A., Ribière, M.: Methods and Tools for Corporate Knowledge Management. In: Proc. of the 11th Knowledge Acquisition, Modeling and Management for Knowledge-based Systems Workshop (KAW 1998), Banff (1998)

    Google Scholar 

  27. Ehrig, H., Mahr, B. (eds.): Fundamentals of Algebraic Specifications, vol. 1. Springer, Berlin (1985)

    Google Scholar 

  28. Ehrig, H., Mahr, B. (eds.): Fundamentals of Algebraic Specifications, vol. 2. Springer, Berlin (1990)

    MATH  Google Scholar 

  29. Eriksson, H.: A Survey of Knowledge Acquisition Techniques and Tools and their Relationship to Software Engineering. Journal of Systems and Software 19, 97–107 (1992)

    Article  Google Scholar 

  30. Eriksson, H., Puerta, A.R., Musen, M.A.: Generation of Knowledge Acquisition Tools from Domain Ontologies. Int. J. Human-Computer Studies 41, 425–453 (1994)

    Article  Google Scholar 

  31. Eriksson, H., Shahar, Y., Tu, S.W., Puerta, A.R., Musen, M.A.: Task Modeling with Reusable Problem-Solving Methods. Artificial Intelligence 79, 293–326 (1995)

    Article  Google Scholar 

  32. Euzenat, J.: Corporate Memory through Cooperative Creation of Knowledge Bases and Hyper-documents. In: Proc. of the 10th Knowledge Acquisition, Modeling and Management for Knowledge-based Systems Workshop (KAW 1996), Banff (1996)

    Google Scholar 

  33. Farquhar, A., Fikes, R., Rice, J.: The Ontolingua Server: A Tool for Collaborative Ontology Construction. International Journal of Human-Computer Studies 46, 707–728 (1997)

    Article  Google Scholar 

  34. Fensel, D.: Formal Specification Languages in Knowledge and Software Engineering. The Knowledge Engineering Review 10(4) (1995)

    Google Scholar 

  35. Fensel, D., Angele, J., Studer, R.: The Knowledge Acquisition and Representation Language KARL. IEEE Transactions on Knowledge and Data Engineering 10(4), 527–550 (1998)

    Article  Google Scholar 

  36. Fensel, D.: The Tower-of-Adapter Method for Developing and Reusing Problem-Solving Methods. In: Plaza, E., et al. (eds.) EKAW 1997. LNCS, vol. 1319. pp. 97–112. Springer, Heidelberg (1997)

    Google Scholar 

  37. Fensel, D., Decker, S., Erdmann, M., Studer, R.: Ontobroker: The Very High Idea. In: Proceedings of the 11th International Flairs Conference (FLAIRS-1998), Sanibel Island, pp. 131–135. (May 1998)

    Google Scholar 

  38. Fensel, D., Groenboom, R.: Specifying Knowledge-based Systems with Reusable Components. In: Proceedings 9th Int. Conference on Software Engineering and Knowledge Engineering (SEKE 1997), Madrid (1997)

    Google Scholar 

  39. Fensel, D., Schonegge, A.: Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. In: Proceedings of the 12th IEEE International Conference on Automated Software Engineering (ASEC-1997), Incline Village, Nevada (November 1997)

    Google Scholar 

  40. Fensel, D., Straatman, R.: The Essence of Problem-Solving Methods: Making Assumptions for Efficiency Reasons. In: Shadbolt, N.R., Schreiber, G., O’Hara, K., et al. (eds.) EKAW 1996. LNCS, vol. 1076. Springer, Heidelberg (1996)

    Google Scholar 

  41. Fensel, D., van Harmelen, F.: A Comparison of Languages which Operationalize and Formalize KADS Models of Expertise. The Knowledge Engineering Review 9(2) (1994)

    Google Scholar 

  42. Fridman-Noy, N., Hafner, C.D.: The State of the Art in Ontology Design. AI Magazine 18(3), 53–74 (1997)

    Google Scholar 

  43. Gaines, B., Shaw, M.L.G.: New Directions in the Analysis and Interactive Elicitation of Personal Construct Systems. Int. J. Man-Machine Studies 13, 81–116 (1980)

    Article  Google Scholar 

  44. Gappa, U.: Grafische Wissensakquisitionssysteme und ihre Generierung, Ph.D. Theses in Artificial Intelligence (DISKI 100), infix, St. Augustin

    Google Scholar 

  45. Genesereth, M.R., Fikes, R.E.: Knowledge Interchange Format, Version 3.0, Reference Manual. Technical Report, Logic-92-1, Computer Science Dept., Stanford University (1992), http://www.cs.umbc.edu/kse/

  46. Genesereth, M.R., Keller, A.M., Duschka, O.M.: Infomaster: An Information Integration System. In: Proc. ACMSIGMOD Conference, Tucson (1997)

    Google Scholar 

  47. Gennari, J.H., Cheng, H., Altman, R.B., Musen, M.A.: Reuse, CORBA, and Knowledge-Based Sysems. Int. J. on Human-Computer Studies 49 (1998)

    Google Scholar 

  48. Gennari, J.H., Tu, S.W., Rothenfluh, T.E., Musen, M.A.: Mappings Domains to Methods in Support of Reuse. Int. J. on Human-Computer Studies 41, 399–424 (1994)

    Article  Google Scholar 

  49. Gil, Y., Paris, C.: Towards Method-independent Knowledge Acquisition. Knowledge Acquisition 6(2), 163–178 (1994)

    Article  Google Scholar 

  50. Gruber, T.R.: A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition 5(2), 199–221 (1993)

    Article  Google Scholar 

  51. Gruber, T.R.: Towards Principles for the Design of Ontologies used for Knowledge Sharing. International Journal of Human-Computer Studies 43, 907–928 (1995)

    Article  Google Scholar 

  52. Guarino, N.: Formal Ontology, Conceptual Analysis and Knowledge Representation. International Journal of Human-Computer Studies 43(2/3), 625–640 (1995)

    Article  Google Scholar 

  53. Guarino, N. (ed.): Formal Ontology in Information Systems. IOS Press, Amsterdam (1998)

    Google Scholar 

  54. van Harmelen, F., Fensel, D.: Formal Methods in Knowledge Engineering. The Knowledge Engineering Review 9(2) (1994)

    Google Scholar 

  55. Jannink, J., Pichai, S., Verheijen, D., Wiederhold, G.: Encapsulation and Composition of Ontologies. In: Proc. AAAI Workshop AI and Information Integration, Madison (July 1998)

    Google Scholar 

  56. Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM 42, 741–843 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  57. Kühn, O., Abecker, A.: Corporate Memories for Knowledge Management in Industrial Practice: Prospects and Challenges. J. of Universal Computer Science 3(8) (August 1977); Special Issue on Information Technology for Knowledge Management, Springer Science, Online http://www.iicm.edu/jucs_3_8/corporate_memories_for_knowledge

  58. Landes, D.: DesignKARL - A Language for the Design of Knowledge-based Systems. In: Proc. 6th International Conference on Software Engineering and Knowledge Engineering (SEKE 1994), Jurmala, Lettland, pp. 78–85 (1994)

    Google Scholar 

  59. Landes, D., Schneider, K., Houdek, F.: Organizational Learning and Experience Documentation in Industrial Software Projects. In: Proc. of the 1st Workshop Building, Maintaining, and Using Organizational Memories (OM-98), 13th European Conference on AI (ECAI 1998), Brighton (1998), http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-14/

  60. Landes, D., Studer, R.: The Treatment of Non-Functional Requirements in MIKE. In: Botella, P., Schafer, W., et al. (eds.) ESEC 1995. LNCS, vol. 989. Springer, Heidelberg (1995)

    Google Scholar 

  61. Lenat, D.B., Guha, R.V.: Representation and Inference in the Cyc Projec. Addison-Wesley, Reading (1990)

    Google Scholar 

  62. Luke, S., Spector, L., Rager, D., Hendler, J.: Ontology-based Web Agents. In: Proc. 1st Int. Conf on Autonomous Agents (1977)

    Google Scholar 

  63. MacGregor, R.: Inside the LOOM Classifier. SIGARTBulletin 2(3), 70–76 (1991)

    MathSciNet  Google Scholar 

  64. Marcus, S. (ed.): Automating Knowledge Acquisition for Experts Systems. Kluwer Academic Publisher, Boston (1988)

    Google Scholar 

  65. Maurer, F., Dellen, B.: An Internet Based Software Process Management Environment. In: Proc. ICSE 1998 Workshop on Software Engineering over the Internet (1998)

    Google Scholar 

  66. Miller, E.: An Introduction to the Resource Description Framework. D-Lib Magazine (May 1998)

    Google Scholar 

  67. Musen, M.A.: An Overview of Knowledge Acquisition. In: David, J.-M., et al. (eds.) Second Generation Expert Systems. Springer, Heidelberg (1993)

    Google Scholar 

  68. Myplopoulos, J., Papazoglou, M.: Cooperative Information Systems, Guest Editors Introduction. IEEE Intelligent Systems 12(5), 28–31 (1997)

    Google Scholar 

  69. Neubert, S.: Model Construction in MIKE. In: Aussenac, N., Boy, G.A., Ganascia, J.-G., Kodratoff, Y., Linster, M., Gaines, B.R., et al. (eds.) EKAW 1993. LNCS, vol. 723. Springer, Heidelberg (1993)

    Google Scholar 

  70. Newell, A.: The Knowledge Level. Artificial Intelligence 18, 87–127 (1982)

    Article  Google Scholar 

  71. Nonaka, I., Takeuchi, H.: The Knowledge-Creating Company: How Japanese Companies Create the Dynamics of Innovation. Oxford University Press, Oxford (1995)

    Google Scholar 

  72. O’Leary, D.: Enterprise Knowledge Management. IEEE Computer 31(3), 54–61 (1998)

    Google Scholar 

  73. Orfali, R., Harkey, D., Edwards, J. (eds.): The Essential Distributed Objects Survival Guide. John Wiley & Sons, New York (1996)

    Google Scholar 

  74. Perkowitz, M., Etzioni, O.: Adaptive Web Sites: An AI Challenge. In: Proceedings of the 15th International Joint Conference on AI (IJCAI-1997), Nagoya, Japan (August 1997)

    Google Scholar 

  75. Pirlein, T., Studer, R.: Integrating the Reuse of Commonsense Ontologies and Problem-Solving Methods. Int. Journal of Expert Systems: Research and Applications (1999) (in Press)

    Google Scholar 

  76. Poeck, K., Gappa, U.: Making Role-Limiting Shells More Flexible. In: Aussenac, N., Boy, G.A., Ganascia, J.-G., Kodratoff, Y., Linster, M., Gaines, B.R. (eds.) EKAW 1993. LNCS, vol. 723. Springer, Heidelberg (1993)

    Google Scholar 

  77. Puerta, A.R., Egar, J.W., Tu, S.W., Musen, M.A.: A Multiple-Method Knowledge Acquisition Shell for the Automatic Generation of Knowledge Acquisition Tools. Knowledge Acquisition 4, 171–196 (1992)

    Article  Google Scholar 

  78. Puppe, F., Gappa, U., Poeck, K., Bamberger, S.: Wissensbasierte Diagnose- und Informationssysteme. Springer, Berlin (1996)

    MATH  Google Scholar 

  79. Schreiber, A.T., Wielinga, B., Akkermans, H., van de Velde, W., Anjewierden, A.: The CommonKADS Conceptual Modeling Language. In: Steels, L., Van de Velde, W., Schreiber, G. (eds.) EKAW 1994. LNCS, vol. 867. Springer, Heidelberg (1994)

    Google Scholar 

  80. Schreiber, A.T., Wielinga, B., Breuker, J. (eds.): KADS. A Principled Approach to Knowledge-Based System Development. Knowledge-Based Systems, vol. 11. Academic Press, London (1993)

    Google Scholar 

  81. Schreiber, A.T., Wielinga, B.J., de Hoog, R., Akkermans, H., van de Velde, W.: CommonKADS: A Comprehensive Methodology for KBS Development. IEEE Expert, 28–37 (December 1994)

    Google Scholar 

  82. Shadbolt, N., Motta, E., Rouge, A.: Constructing Knowledge-based Systems. IEEE Software 10(6), 34–38

    Google Scholar 

  83. Stein, E.W.: Organizational Memory: Review of Concepts and Recommandations for Management. International Journal of Information Management 15, 17–32 (1995)

    Article  Google Scholar 

  84. Studer, R., Eriksson, H., Gennari, J.H., Tu, S.W., Fensel, D., Musen, M.A.: Ontologies and the Configuration of Problem-Solving Methods. In: Proc. of the 10th Knowledge Acquisition for Knowledge-based Systems Workshop (KAW 1996), Banff (1996)

    Google Scholar 

  85. Studer, R., Benjamins, R., Fensel, D.: Knowledge Engineering: Principles and Methods. Data & Knowledge Engineering 25, 161–197 (1988)

    Article  Google Scholar 

  86. Swartout, B., Patil, R., Knight, K., Russ, T.: Toward Distributed Use of Large-scale Ontologies. In: Gaines, B.R., Musen, M.A., (eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, pp. 32.1–32.19. Alberta, Canada, SRDG Publications, University of Calgary(1996), http://ksi.cpsc.ucalgary.ca:80/KAW/KAW96/KAW96Proc.html

  87. ten Teije, A., van Harmelen, F.: Characterizing Approximative Problem-solving: from Partially Fulfilled Preconditions to Partially Achieved Functionality. In: Proceedings of the 13th European Conference on AI (ECAI-1998), Brighton, UK (August 1998)

    Google Scholar 

  88. Uschold, M., Gruninger, M.: Ontologies: Principles, Methods, and Applications. Knowledge Engineering Review 11(2), 93–155 (1996)

    Article  Google Scholar 

  89. van Heijst, G., Schreiber, A.T., Wielinga, B.J.: Using Explicit Ontologies in KBS Development. International Journal of Human-Computer Studies 46(2/3), 183–292 (1997)

    MATH  Google Scholar 

  90. Wiederhold, G., Genesereth, M.: The Conceptual Basis for Mediation Services. IEEE Intelligent Systems 12(5), 38–47 (1997)

    Google Scholar 

  91. Wielinga, B.J., Sandberg, J., Schreiber, G.: Methods and Techniques for Knowledge Management: What has Knowledge Engineering to Offer. Expert Systems with Applications 13(1), 73–84 (1997)

    Article  Google Scholar 

  92. Wiig, K., de Hoog, R., van der Spek, R.: Supporting Knowledge Management: A Selection of Methods and Techniques. Expert Systems With Applications 13, 15–27 (1997)

    Article  Google Scholar 

  93. Extensible Markup Language (XML) 1.0, http://www.w3.org/TR/REC-xml

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Studer, R., Fensel, D., Decker, S., Benjamins, V.R. (1999). Knowledge Engineering: Survey and Future Directions. In: Puppe, F. (eds) XPS-99: Knowledge-Based Systems. Survey and Future Directions. XPS 1999. Lecture Notes in Computer Science(), vol 1570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10703016_1

Download citation

  • DOI: https://doi.org/10.1007/10703016_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65658-6

  • Online ISBN: 978-3-540-49149-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics