Query by class, rule, and concept

The ideal query language for a knowledge base will probably never be found: easy formulation and easy evaluation of queries are two conflicting goals. Easy formulation asks for a flexible, expressive language near to human language or gestures. Easy evaluation of queries requires an effective mapping to machine code, which computes the correct answer in a finite number of steps. This article approaches the problem by a query language with three faces. The first projects queries to concepts of the knowledge representation language KL-One for easy formulation and readability. The second presents queries as rules of a deductive database with fixpoint semantics. The third presents queries as classes whose instances are the materialized answer (view) to the query. The methods for maintaining and updating the views are compiled from their deductive interpretation.

[1]  Serge Abiteboul,et al.  Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..

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

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

[4]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

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

[6]  Paolo Mancarella,et al.  Database Updates through Abduction , 1990, VLDB.

[7]  Gerhard Steinke,et al.  Design aspects of access control in a knowledge base system , 1991, Comput. Secur..

[8]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

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

[10]  Francesco M. Donini,et al.  A Hybrid System with Datalog and Concept Languages , 1991, AI*IA.

[11]  Sunit K. Gala,et al.  Classification as a query processing technique in the CANDIDE semantic data model , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

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

[13]  J. W. LLOYD,et al.  Making Prolog more Expressive , 1984, J. Log. Program..

[14]  Catriel Beeri,et al.  On the power of magic , 1987, J. Log. Program..

[15]  J. Mylopoulos,et al.  Organizing software repositories modeling requirements and implementation experiences , 1992, [1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference.

[16]  Jennifer Widom,et al.  Deriving Production Rules for Incremental View Maintenance , 1991, VLDB.

[17]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[18]  Letizia Tanca,et al.  Logic Programming and Databases , 1990, Surveys in Computer Science.

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

[20]  Antoni Olivé.  Integrity Constraints Checking In Deductive Databases , 1991, VLDB.

[21]  Manfred A. Jeusfeld,et al.  Query Optimization in Deductive Object Bases , 1991, Query Processing for Advanced Database Systems, Dagstuhl.

[22]  Matthias Jarke,et al.  From Relational to Object-Oriented Integrity Simplification , 1991, DOOD.

[23]  Werner Nutt,et al.  Subsumption between queries to object-oriented databases , 1994, Inf. Syst..

[24]  Alexander Borgida.  From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics , 1992, Int. J. Cooperative Inf. Syst..

[25]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[26]  Umeshwar Dayal,et al.  Active Database Management Systems , 1988, JCDKB.

[27]  Hendrik Decker,et al.  A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases , 1988, EDBT.

[28]  Bernhard Mitschang,et al.  Extending the Relational Algebra to Capture Complex Objects , 1989, VLDB.

[29]  John Grant,et al.  Logic-based approach to semantic query optimization , 1990, TODS.

[30]  Sonia Bergamaschi,et al.  On taxonomic reasoning in conceptual design , 1992, TODS.

[31]  Robert A. Kowalski,et al.  Abduction Compared with Negation by Failure , 1989, ICLP.

[32]  Markus Tresch,et al.  Updatable Views in Object-Oriented Databases , 1991, DOOD.

[33]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[34]  Laurent Vieille,et al.  Recursive Axioms in Deductive Databases: The Query/Subquery Approach , 1986, Expert Database Conf..

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

[36]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[37]  Matthias Jarke,et al.  On the retrieval of reusable software components , 1993, [1993] Proceedings Advances in Software Reuse.

[38]  Burkhard Freitag,et al.  LOLA - A Logic Language for Deductive Databases and its Implementation , 1991, DASFAA.