A Unified Framework for Class-Based Representation Formalisms
暂无分享,去创建一个
[1] Pierre Wolper,et al. Automata theoretic techniques for modal logics of programs: (Extended abstract) , 1984, STOC '84.
[2] Serge Abiteboul,et al. Object identity as a query language primitive , 1989, SIGMOD '89.
[3] Maurizio Lenzerini,et al. Representing and Using Interschema Knowledge in Cooperative Information Systems , 1993, Int. J. Cooperative Inf. Syst..
[4] A. Mével,et al. Classes and Instances , 1987 .
[5] Maurizio Lenzerini,et al. On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata , 1987, VLDB.
[6] Robert S. Streett,et al. Propositional Dynamic Logic of Looping and Converse Is Elementarily Decidable , 1982, Inf. Control..
[7] Klaus-Dieter Schewe,et al. Term Subsumption with Type Constructors , 1992, CIKM 1992.
[8] Jerzy Tiuryn,et al. Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[9] John F. Sowa,et al. Principles of semantic networks , 1991 .
[10] Bernhard Nebel,et al. Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.
[11] Won Kim,et al. Object-Oriented Concepts, Databases, and Applications , 1989 .
[12] F. Lehmann,et al. Semantic Networks in Artificial Intelligence , 1992 .
[13] Richard Fikes,et al. The role of frame-based representation in reasoning , 1985, CACM.
[14] John Mylopoulos,et al. Classes and Instances , 1992, Int. J. Cooperative Inf. Syst..
[15] Paolo Atzeni,et al. Formal Properties of Net-Based Knowledge Representation Schemes , 1986, ICDE.
[16] James G. Schmolze,et al. The KL-ONE family , 1992 .
[17] Sonia Bergamaschi,et al. On taxonomic reasoning in conceptual design , 1992, TODS.
[18] Diego Calvanese,et al. On the interaction between ISA and cardinality constraints , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.
[19] Maurizio Lenzerini,et al. Interschema knowledge in cooperative information , 1993, [1993] Proceedings International Conference on Intelligent and Cooperative Information Systems.
[20] Alexander Borgida. From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics , 1992, Int. J. Cooperative Inf. Syst..
[21] Roger King,et al. Semantic database modeling: survey, applications, and research issues , 1987, CSUR.
[22] Maurizio Lenzerini,et al. Inheritance hierarchies in knowledge representation and programming languages , 1991 .
[23] Klaus Schild,et al. A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.
[24] Paolo Atzeni,et al. Formal properties of net-based knowledge representation schemes , 1986, 1986 IEEE Second International Conference on Data Engineering.
[25] Won Kim,et al. Introduction to Object-Oriented Databases , 1991, Computer systems.
[26] Werner Nutt,et al. Tractable Concept Languages , 1991, IJCAI.
[27] Renzo Orsini,et al. A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language , 1991, VLDB.
[28] Claus-Rainer Rollinger,et al. Sorts and Types in Artificial Intelligence , 1990, Lecture Notes in Computer Science.
[29] Moshe Y. Vardi,et al. Polynomial-time implication problems for unary inclusion dependencies , 1990, JACM.
[30] Peter P. Chen. The entity-relationship model: toward a unified view of data , 1975, VLDB '75.
[31] Christine Collet,et al. Resource integration using a large knowledge base in Carnot , 1991, Computer.