Unifying Class-Based Representation Formalisms
暂无分享,去创建一个
[1] Moshe Y. Vardi,et al. Polynomial-time implication problems for unary inclusion dependencies , 1990, JACM.
[2] Peter P. Chen. The Entity-Relationship Model: Towards a unified view of Data , 1976 .
[3] David Jordan,et al. The Object Database Standard: ODMG 2.0 , 1997 .
[4] Alexander Borgida,et al. On the Relative Expressiveness of Description Logics and Predicate Logics , 1996, Artif. Intell..
[5] Ronald Fagin,et al. Inclusion dependencies and their interaction with functional dependencies , 1982, PODS.
[6] Gert Smolka,et al. Attributive Concept Descriptions with Complements , 1991, Artif. Intell..
[7] Ian Horrocks,et al. Optimizing Description Logic Subsumption , 1999, J. Log. Comput..
[8] Stavros S. Cosmadakis,et al. Functional and inclusion dependencies a graph theoretic approach , 1984, PODS '84.
[9] Laurian M. Chirica,et al. The entity-relationship model: toward a unified view of data , 1975, SIGF.
[10] Won Kim,et al. Object-Oriented Concepts, Databases, and Applications , 1989 .
[11] Christophe Lécluse,et al. Modeling complex structures in object-oriented logic programming , 1989, PODS '89.
[12] Franz Baader. Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles , 1991, IJCAI.
[13] James G. Schmolze,et al. The KL-ONE family , 1992 .
[14] R. G. G. Cattell,et al. The Object Database Standard: ODMG-93 , 1993 .
[15] Klaus Schild,et al. Terminological Cycles and the Propositional µ-Calculus , 1994, KR.
[16] Toby J. Teorey,et al. Database modeling and design: the entity-relationship approach , 1990 .
[17] Bernhard Thalheim,et al. Fundamentals of Cardinality Constraints , 1992, ER.
[18] Ian Horrocks,et al. Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.
[19] Richard Fikes,et al. The role of frame-based representation in reasoning , 1985, CACM.
[20] Diego Calvanese,et al. Finite Model Reasoning in Description Logics , 1996, KR.
[21] Diego Calvanese,et al. Description Logics for Conceptual Data Modeling , 1998, Logics for Databases and Information Systems.
[22] Christophe Lécluse,et al. Modeling complex structures in object-oriented logic programming , 1989, PODS.
[23] John F. Sowa,et al. Principles of semantic networks , 1991 .
[24] Shamkant B. Navathe,et al. Conceptual Database Design: An Entity-Relationship Approach , 1991 .
[25] Diego Calvanese,et al. A Unified Framework for Class-Based Representation Formalisms , 1994, KR.
[26] Francesco M. Donini,et al. Decidable reasoning in terminological knowledge representation systems , 1993 .
[27] Sonia Bergamaschi,et al. On taxonomic reasoning in conceptual design , 1992, TODS.
[28] Sergio Tessaris,et al. Implementing and Testing Expressive Description Logics: a Preliminary Report , 1995 .
[29] John Grant,et al. Numerical Dependencies , 1981, XP2 Workshop on Relational Database Theory.
[30] Maurizio Lenzerini,et al. Boosting the Correspondence between Description Logics and Propositional Dynamic Logics , 1994, AAAI.
[31] Moshe Y. Vardi,et al. The Implication Problem for Functional and Inclusion Dependencies is Undecidable , 1985, SIAM J. Comput..
[32] Renzo Orsini,et al. A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language , 1991, VLDB.
[33] Claus-Rainer Rollinger,et al. Sorts and Types in Artificial Intelligence , 1990, Lecture Notes in Computer Science.
[34] Peter D. Karp,et al. The Generic Frame Protocol , 1995, IJCAI.
[35] Richard E. Ladner,et al. Propositional Dynamic Logic of Regular Programs , 1979, J. Comput. Syst. Sci..
[36] Stavros S. Cosmadakis,et al. Functional and Inclusion Dependencies , 1986, Adv. Comput. Res..
[37] Diego Calvanese. Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity , 1996, ECAI.
[38] Roger King,et al. Semantic database modeling: survey, applications, and research issues , 1987, CSUR.
[39] Diego Calvanese,et al. Making object-oriented schemas more expressive , 1994, PODS '94.
[40] Maurizio Lenzerini,et al. Inheritance hierarchies in knowledge representation and programming languages , 1991 .
[41] Alexander Borgida,et al. Description Logics in Data Management , 1995, IEEE Trans. Knowl. Data Eng..
[42] Bernhard Nebel,et al. Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.
[43] Maurizio Lenzerini,et al. Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus , 1994, ECAI.
[44] F. Lehmann,et al. Semantic Networks in Artificial Intelligence , 1992 .
[45] Diego Calvanese,et al. Description Logic Framework for Information Integration , 1998, KR.
[46] Diego Calvanese,et al. Unrestricted and finite model reasoning in class-based representation formalisms , 1996 .
[47] Werner Nutt,et al. The Complexity of Concept Languages , 1997, KR.
[48] Peter F. Patel-Schneider,et al. Living wiht Classic: When and How to Use a KL-ONE-Like Language , 1991, Principles of Semantic Networks.
[49] Maurizio Lenzerini,et al. Deductive Entity-Relationship Modeling , 1993, IEEE Trans. Knowl. Data Eng..
[50] Jerzy Tiuryn,et al. Logics of Programs , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[51] Hector J. Levesque,et al. The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.
[52] Maurizio Lenzerini,et al. On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata , 1987, VLDB.
[53] Serge Abiteboul,et al. Object identity as a query language primitive , 1989, SIGMOD '89.
[54] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.
[55] Werner Nutt,et al. Queries, Rules and Definitions as Epistemic Sentences in Concept Languages , 1992, ECAI Workshop on Knowledge Representation and Reasoning.
[56] Francesco M. Donini,et al. Non-first-order features in concept languages , 1995, AI*IA.
[57] John Mylopoulos,et al. Classes and Instances , 1992, Int. J. Cooperative Inf. Syst..
[58] Paolo Atzeni,et al. Formal Properties of Net-Based Knowledge Representation Schemes , 1986, ICDE.
[59] Klaus-Dieter Schewe,et al. Term Subsumption with Type Constructors , 1992, CIKM 1992.
[60] Moshe Y. Vardi. The Taming of Converse: Reasoning about Two-way Computations , 1985, Logic of Programs.
[61] Won Kim,et al. Introduction to Object-Oriented Databases , 1991, Computer systems.
[62] Serge Abiteboul,et al. Method schemas , 1990, PODS.
[63] Stefano Spaccapietra,et al. Cardinality Consistency of Derived Objects in DOOD Systems , 1994, ER.
[64] Michael Kifer,et al. A Logic Programming with Complex Objects , 1993, J. Comput. Syst. Sci..
[65] Francesca Cesarini,et al. Describing Database Objects in a Concept Language Environment , 1996, IEEE Trans. Knowl. Data Eng..
[66] Diego Calvanese,et al. On the interaction between ISA and cardinality constraints , 1994, Proceedings of 1994 IEEE 10th International Conference on Data Engineering.
[67] Alexander Borgida. From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics , 1992, Int. J. Cooperative Inf. Syst..
[68] Alexander Borgida,et al. Adding Uniqueness Constraints to Description Logics (Preliminary Report) , 1997, DOOD.
[69] Werner Nutt,et al. A Refined Architecture for Terminological Systems: Terminology = Schema + Views , 1998, Artif. Intell..
[70] Francesco M. Donini,et al. Reasoning in description logics , 1997 .
[71] P. Hayes. The Logic of Frames , 1981 .
[72] Klaus Schild,et al. A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.