Terminological Systems Revisited: Terminology = Schema + Views
暂无分享,去创建一个
[1] Bernhard Nebel,et al. Terminological Reasoning is Inherently Intractable , 1990, Artif. Intell..
[2] Werner Nutt,et al. Subsumption between queries to object-oriented databases , 1994, Inf. Syst..
[3] Klaus Schild,et al. Terminological Cycles and the Propositional µ-Calculus , 1994, KR.
[4] Francesco M. Donini,et al. Deduction in Concept Languages: From Subsumption to Instance Checking , 1994, J. Log. Comput..
[5] Franz Baader,et al. Terminological Cycles in KL-ONE-based Knowledge Representation Languages , 1990, AAAI.
[6] Projektgruppe WINOPostfa. A Terminological Knowledge Representation System with Complete Inference Algorithms , 1991 .
[7] Werner Nutt,et al. Adding Epistemic Operators to Concept Languages , 1992, KR.
[8] Deborah L. McGuinness,et al. CLASSIC: a structural data model for objects , 1989, SIGMOD '89.
[9] Moshe Y. Vardi. The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.
[10] Bernhard Nebel,et al. Terminological Cycles: Semantics and Computational Properties , 1991, Principles of Semantic Networks.