The F-logic approach for description languages

The Frame-logic (F-logic) approach of [20] is suggested as an underlying framework for description languages. F-logic is shown to provide a full account for description languages without losing the direct semantics and the descriptive nature. It can support such desirable features as high-order role fillers, collective entities, intensions, roles as first-class objects, andn-ary relationships. Yet, its semantics is first order. In an F-logic based description language, few description constructs are built in, and concepts, roles,and terminological operators are definable. The discussion of desirable features in descriptions is made possible within a single, uniform framework that also coherently integrates with logic programming and deductive, object-oriented database technology. Typical descriptive operators can be defined in the language, thereby yielding a flexible description language in which not all operators must be built in.

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

[2]  Joachim Quantz.  A Step Towards Second Order , 1992, Description Logics.

[3]  Robert M. MacGregor,et al.  The Evolving Technology of Classification-Based Knowledge Representation Systems , 1991, Principles of Semantic Networks.

[4]  Amedeo Napoli,et al.  Subsumption and Classification-Based Reasoning in Object-Based Representations , 1992, European Conference on Artificial Intelligence.

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

[6]  Peter F. Patel-Schneider.  Defaults and Descriptions , 1992, Description Logics.

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

[8]  Franz Baader,et al.  Embedding defaults into terminological knowledge representation formalisms , 1995, Journal of Automated Reasoning.

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

[10]  Philipp Hanschke.  How to Benefit from Terminological Logics? , 1992, Description Logics.

[11]  Lin Padgham,et al.  Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step , 1993, ISMIS.

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

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

[14]  John F. Sowa.  Toward the Expressive Power of Natural Language , 1991, Principles of Semantic Networks.

[15]  William A. Woods,et al.  Understanding Subsumption and Taxonomy: A Framework for Progress , 1991, Principles of Semantic Networks.

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

[17]  Peter F. Patel-Schneider.  Partial Reasoning in Knowledge Representation Systems Based on Description Logics , 1992, Description Logics.

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

[19]  Hector J. Levesque,et al.  Competence in Knowledge Representation , 1982, AAAI.

[20]  Robert M. MacGregor.  What's Needed to Make a Description Logic a Good KR Citizen? , 1992, Description Logics.

[21]  P. Patel-Schneider.  Small can be beautiful in knowledge representation , 1984 .

[22]  Enrico Franconi,et al.  Collective Entities and Relations in Concept Languages , 1992, Description Logics.

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

[24]  Sonia Bergamaschi,et al.  Representational Extensions of DLs , 1992, Description Logics.

[25]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[26]  Robert Mac Gregor,et al.  THE EVOLVING TECHNOLOGY OF CLASSIFICATION-BASED KNOWLEDGE REPRESENTATION SYSTEMS , 1991 .

[27]  Alexander Borgida.  Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed , 1992, KR.

[28]  Joachim Quantz,et al.  Deriving Inference Rules for Terminological Logics , 1992, JELIA.

[29]  Michael Kifer,et al.  HILOG: A Foundation for Higher-Order Logic Programming , 1993, J. Log. Program..

[30]  James G. Schmolze,et al.  The KL-ONE family , 1992 .

[31]  Jon Doyle,et al.  Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..

[32]  Michael Kifer,et al.  Querying object-oriented databases , 1992, SIGMOD '92.

[33]  Manfred Gehrke.  Particles of the Part Whole Relation , 1992, Description Logics.

[34]  Joachim Quantz,et al.  A Preference Semantics for Defaults in Terminological Logics , 1992, International Conference on Principles of Knowledge Representation and Reasoning.

[35]  Peter F. Patel-Schneider,et al.  Undecidability of Subsumption in NIKL , 1989, Artif. Intell..

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

[37]  Bernhard Hollunder,et al.  Subsumption Algorithms for Concept Description Languages , 1990, ECAI.

[38]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.

[39]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[40]  P. Hayes.  The Logic of Frames , 1981 .

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

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

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

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

[45]  Bernhard Pfahringer,et al.  The Logical Way to Build a DL-based KR System , 1992, Description Logics.

[46]  Albrecht Schmiedel.  For a More Expressive Query Language , 1992, Description Logics.