Knowledge Engineering

Publisher Summary The discipline of knowledge engineering grew out of the early work on expert systems in the seventies. With the growing popularity of knowledge-based systems, there arose also a need for a systematic approach for building such systems, similar to methodologies in mainstream software engineering. Over the years, the discipline of knowledge engineering has evolved into the development of theory, methods, and tools for developing knowledge-intensive applications. In other words, it provides guidance about when and how to apply particular knowledge-presentation techniques for solving particular problems. This chapter discusses a number of principles that have become the baseline of modern knowledge engineering. These include the common distinction made in knowledge engineering between task knowledge and domain knowledge. It explores the notion of problem-solving tasks in detail and presents typical patterns and methods for solving such tasks. It focuses on the domain perspective, in particular the representation and use of ontologies and discusses the main techniques that are being used in knowledge engineering.

[1]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[2]  John P. McDermott,et al.  SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..

[3]  Matthew L. Ginsberg,et al.  Knowledge Interchange Format: the KIF of Death , 1991, AI Mag..

[4]  B. Chandrasekaran,et al.  Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design , 1986, IEEE Expert.

[5]  Bob J. Wielinga,et al.  KADS: a modelling approach to knowledge engineering , 1992 .

[6]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[7]  Bob J. Wielinga,et al.  Models of Expertise , 1986, ECAI.

[8]  R GruberThomas Toward principles for the design of ontologies used for knowledge sharing , 1995 .

[9]  A. T. Schreiber,et al.  The Sisyphus-VT initiative , 1996 .

[10]  Mark Stefik,et al.  Introduction to knowledge systems , 1995 .

[11]  Nicola Guarino,et al.  Formal ontology, conceptual analysis and knowledge representation , 1995, Int. J. Hum. Comput. Stud..

[12]  D. Lenat The Dimensions of Context-Space , 1998 .

[13]  Guus Schreiber,et al.  Knowledge Engineering and Management: The CommonKADS Methodology , 1999 .

[14]  Austin Tate Towards a Plan Ontology , 1996 .

[15]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[16]  Catherine Garbay,et al.  Knowledge Acquisition and Representation , 1999 .

[17]  B. Chandrasekaran,et al.  Design Problem Solving: A Task Analysis , 1990, AI Mag..

[18]  Nicola Guarino,et al.  Restructuring WordNet's Top-Level: The OntoClean approach , 2002 .

[19]  Sandra Marcus,et al.  Automating Knowledge Acquisition for Expert Systems , 1988 .

[20]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

[21]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[22]  John McDermott,et al.  Preliminary steps toward a taxonomy of problem-solving methods , 1993 .

[23]  Dieter Fensel,et al.  A comparison of languages which operationalize and formalize KADS models of expertise , 1994, The Knowledge Engineering Review.

[24]  William P. Birmingham,et al.  Editorial: the Sisyphus-VT initiative , 1996, Int. J. Hum. Comput. Stud..

[25]  William J. Clancey,et al.  The Epistemology of a Rule-Based Expert System - A Framework for Explanation , 1981, Artif. Intell..

[26]  Dieter Fensel,et al.  The Knowledge Acquisition and Representation Language, KARL , 1995, Springer US.

[27]  Bob J. Wielinga,et al.  Interpretation of Verbal Data for Knowledge Acquisition , 1984, ECAI.

[28]  Nicola Guarino,et al.  Dwq : Esprit Long Term Research Project, No 22469 Part-whole Relations in Object-centered Systems: an Overview Part-whole Relations in Object-centered Systems: an Overview , 2022 .

[29]  James F. Allen Maintaining knowledge about temporal intervals , 1983, CACM.

[30]  M. W. Wheeler,et al.  Automatic knowledge acquisition for expert systems , 1990, Proceedings of the 1990 Symposium on Applied Computing.

[31]  Samson W. Tu,et al.  A multiple-method knowledge-acquisition shell for the automatic generation of knowledge-acquisition tools , 1992 .

[32]  Frank van Harmelen,et al.  Structure-preserving specification languages for knowledge-based systems , 1996, Int. J. Hum. Comput. Stud..

[33]  Gary S. Kahn,et al.  The Mud System , 1986, IEEE Expert.

[34]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[35]  John Debenham,et al.  Knowledge Engineering , 1998, Artificial Intelligence.

[36]  Gregory R. Olsen,et al.  The configuration design ontologies and the VT elevator domain theory , 1996, Int. J. Hum. Comput. Stud..

[37]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993 .

[38]  Jane M. Booker,et al.  Eliciting and analyzing expert judgement - a practical guide , 2001, ASA-SIAM series on statistics and applied probability.

[39]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[40]  Luc Steels,et al.  Components of Expertise , 1990, AI Mag..

[41]  Arthur Stutt,et al.  Solving VT in VITAL: a study in model construction and knowledge reuse , 1996, Int. J. Hum. Comput. Stud..

[42]  José L. V. Mejino,et al.  A reference ontology for biomedical informatics: the Foundational Model of Anatomy , 2003, J. Biomed. Informatics.

[43]  Alan L. Rector,et al.  Modularisation of domain ontologies implemented in description logics and related formalisms including OWL , 2003, K-CAP '03.

[44]  Aldo Gangemi,et al.  Ontology Design Patterns for Semantic Web Content , 2005, SEMWEB.

[45]  Frank van Harmelen,et al.  (ML)2: A Formal Language for KADS Models , 1992, ECAI.

[46]  Bob J. Wielinga,et al.  CommonKADS: a comprehensive methodology for KBS development , 1994, IEEE Expert.

[47]  Ronald J. Brachman,et al.  An Overview of the KL-ONE Knowledge Representation System , 1985, Cogn. Sci..

[48]  Nicola Guarino,et al.  Evaluating ontological decisions with OntoClean , 2002, CACM.

[49]  John H. Boose,et al.  A survey of knowledge acquisition techniques and tools , 1993 .