The E/S Knowledge Representation System

Abstract This paper introduces the E/S knowledge representation model and describes a system based on that model. The model takes ideas from KL-ONE and ER, and its main strength is the direct representation of n-ary relationships. The system is classification-based, and therefore organizes its knowledge in hierarchies of structured intensional objects and offers a set of services to reason about intensional objects, to store extensional objects and to make inferences on the stored knowledge.

[1]  Reind P. van de Riet.  MOKUM: An Object-Oriented Active Knowledge Base System , 1989, Data Knowl. Eng..

[2]  Peter P. Chen.  The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[3]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

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

[5]  James G. Schmolze.  Terminological Knowledge Representation Systems Supporting N-ary Terms , 1989, KR.

[6]  Maurizio Lenzerini,et al.  Deductive Entity-Relationship Modeling , 1993, IEEE Trans. Knowl. Data Eng..

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

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

[9]  Franz Baader,et al.  A Terminological Knowledge Representation System with Complete Inference Algorithms , 1991, PDK.

[10]  Projektgruppe WINOPostfa.  A Terminological Knowledge Representation System with Complete Inference Algorithms , 1991 .

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

[12]  Manfred Schmidt-Schaubß,et al.  Subsumption in KL-ONE is undecidable , 1989, KR 1989.

[13]  Peter F. Patel-Schneider,et al.  Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.

[14]  Sonia Bergamaschi,et al.  Entity-Situation: A Model for the Knowledge Representation Module of a KBMS , 1988, EDBT.

[15]  Werner Nutt,et al.  The Complexity of Existential Quantification in Concept Languages , 1992, Artif. Intell..

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

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

[18]  Gert Smolka,et al.  Attributive Concept Descriptions with Unions and Complements , 1989, IWBS Report.