An Empirical Analysis of Terminological Representation Systems Terminological Representation Systems

The family of terminological representation systems has its roots in the representation system kl-one. Since the development of kl-one more than a dozen similar representation systems have been developed by various research groups. These systems vary along a number of dimensions. In this paper, we present the results of an empirical analysis of six such systems. Surprisingly, the systems turned out to be quite diverse, leading to problems when transporting knowledge bases from one system to another. Additionally, the runtime performance between diierent systems and knowledge bases varied more than we expected. Finally, our empirical runtime performance results give an idea of what runtime performance to expect from such representation systems. These ndings complement previously reported analytical results about the computational complexity of reasoning in such systems.

[1]  W. Nutt,et al.  Subsumption algorithms for concept languages , 1990 .

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

[3]  Brian C. Williams,et al.  Interaction-Based Invention: Designing Novel Devices from First Principles , 1990, AAAI.

[4]  Peter F. Patel-Schneider,et al.  The CLASSIC knowledge representation system: guiding principles and implementation rationale , 1991, SGAR.

[5]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[6]  Bernhard Nebel,et al.  Computational Complexity of Terminological Reasoning in BACK , 1988, Artif. Intell..

[7]  Werner Nutt,et al.  Terminological Knowledge Representation: A Proposal for a Terminological Logic , 1991, Description Logics.

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

[9]  Peter F. Patel-Schneider,et al.  Term Subsumption Languages in Knowledge Representation , 1990, AI Mag..

[10]  Manfred Schmidt-Schauß,et al.  Subsumption in KL-ONE is Undecidable , 1989, KR.

[11]  Udo Pletat,et al.  The LILOG knowledge representation system , 1991, SGAR.

[12]  Franz Baader,et al.  Terminological Cycles in KL-ONE-based Knowledge Representation Languages , 1990, AAAI.

[13]  Bernd Owsnicki-Klewe,et al.  Configuration as a Consistency Maintenance Task , 1988, GWAI.

[14]  Robert M. MacGregor,et al.  Inside the LOOM description classifier , 1991, SGAR.

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

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

[17]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[18]  Wolfgang Wahlster,et al.  Plan-Based Integration of Natural Language and Graphics Generation , 1993, Artif. Intell..

[19]  E. André,et al.  WIP: The Coordinated Generation of Multimodal Presentations from a Common Representation , 1992 .

[20]  Alfred Kobsa First experiences with the SB-ONE knowledge representation workbench in natural-language applications , 1991, SGAR.

[21]  Frank J. Oles,et al.  A Non-Well-Founded Approach to Terminological Cycles , 1992, AAAI.

[22]  Bernhard Nebel,et al.  Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..

[23]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[24]  Enrico Franconi,et al.  Walking through the semantics of frame-based description languages a case study , 1991 .

[25]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[26]  Sandro Bottarelli,et al.  Terminological Information Management in ADKMS , 1990 .

[27]  Bernhard Nebel,et al.  An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On , 1992, KR.

[28]  Franz Baader,et al.  KRIS: Knowledge Representation and Inference System , 1991, SGAR.

[29]  Christof Peltason The BACK system—an overview , 1991, SGAR.

[30]  Bernhard Nebel,et al.  A Logical-Form and Knowledge-Base Design for Natural Language Generation , 1986, HLT.

[31]  Hector J. Levesque,et al.  An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON , 1985, IJCAI.

[32]  Eric Mays,et al.  K-Rep system overview , 1991, SGAR.

[33]  Bernhard Nebel,et al.  Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.

[34]  J. Thomsen Semantic Validation of Inferences in Terminological Representation Systems , 1991 .