KARO: An Integrated Environment for Reusing Ontologies

This paper shows how KARO (Knowledge Acquisition Environment with Reusable Ontologies) supports the development of the domain layer in MIKE (Model-based and Incremental Knowledge Engineering). KARO supplements the reuse of generic problem-solving methods at the task and inference layers in MIKE with a commonsense ontology at the domain layer. The intention is to make the development process easier and the final domain layer more robust.

[1]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[2]  Bernhard Nebel,et al.  Reasoning and Revision in Hybrid Representation Systems , 1990, Lecture Notes in Computer Science.

[3]  Jan Treur,et al.  Formal Specification of Complex Reasoning Systems , 1993 .

[4]  Patrick J. Hayes,et al.  The Naive Physics Manifesto , 1990, The Philosophy of Artificial Intelligence.

[5]  Dieter Fensel,et al.  Formalizing and operationalizing a design task with KARL , 1993 .

[6]  Albrecht Schmiedel,et al.  The BACK System Revisited , 1989 .

[7]  T. H. Bonn,et al.  A Standard for Computer Networks , 1971, Computer.

[8]  Thomas Pirlein,et al.  Reusing a Large Domain-Independent Knowledge Base , 1993, International Conference on Software Engineering and Knowledge Engineering.

[9]  Henrik Eriksson,et al.  Generation of knowledge-acquisition tools from domain ontologies , 1994, Int. J. Hum. Comput. Stud..

[10]  D. Bobrow,et al.  Representation and Understanding: Studies in Cognitive Science , 1975 .

[11]  Nicola Guarino,et al.  Concepts, attributes and arbitrary relations , 1992, Data Knowl. Eng..

[12]  Ronald J. Brachman,et al.  The Future of Knowledge Representation , 1990, AAAI.

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

[14]  Douglas Skuce,et al.  A multi-functional knowledge management system , 1993 .

[15]  Ramanathan V. Guha,et al.  Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project , 1990 .

[16]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[17]  James A. Hendler,et al.  Computing similarity in a reuse library system: an AI-based approach , 1992, TSEM.

[18]  Dieter Fensel,et al.  Model-Based and Incremental Knowledge Engineering: The MIKE Approach , 1992, AIFIPP.

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

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

[21]  Ramanathan V. Guha,et al.  CYC: A Midterm Report , 1990, AI Mag..

[22]  Udo Pletat,et al.  The Knowledge Representation Language L-LILOG , 1988, Text Understanding in LILOG.

[23]  Premkumar T. Devanbu,et al.  LaSSIE—a knowledge-based software information system , 1991, ICSE '90.

[24]  Rudi Studer,et al.  An environment for reusing ontologies within a knowledge engineering approach , 1995, Int. J. Hum. Comput. Stud..

[25]  Bob J. Wielinga,et al.  Conceptual Modelling of Large Reusable Knowledge Bases , 1994, IS/KI.

[26]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[27]  Nicholas Rescher,et al.  The Logic of Decision and Action , 1967 .

[28]  John McCarthy,et al.  Programs with common sense , 1960 .

[29]  Loren G. Terveen,et al.  A Tool for Achieving Consensus in Knowledge Representation , 1991, AAAI.

[30]  Donald Michie,et al.  Expert systems in the micro-electronic age , 1979 .

[31]  Otthein Herzog,et al.  Text Understanding in LILOG , 1991, Lecture Notes in Computer Science.

[32]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[33]  Jerry R. Hobbs.  Ontological Promiscuity , 1985, ACL.

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

[35]  Ronald J. Brachman,et al.  Proceedings of the 1981 KL-ONE Workshop, , 1982 .

[36]  Ramanathan V. Guha,et al.  Re: CycLing Paper Reviews , 1993, Artif. Intell..