Definitorially Complete Description Logics
暂无分享,去创建一个
Willem Conradie | Maarten Marx | Balder ten Cate | Yde Venema | maarten marx | Y. Venema | B. T. Cate | Willem Conradie
[1] Harvey M. Friedman. The complexity of explicit definitions , 1976 .
[2] M. de Rijke,et al. From Description to Hybrid Logics, and Back , 2000, Advances in Modal Logic.
[3] Silvio Ghilardi,et al. An Algebraic Theory of Normal Forms , 1995, Ann. Pure Appl. Log..
[4] Werner Nutt,et al. Basic Description Logics , 2003, Description Logic Handbook.
[5] Francesco M. Donini,et al. Complexity of Reasoning , 2003, Description Logic Handbook.
[6] Francesco M. Donini,et al. Exptime Tableaux for ALC , 2000, Description Logics.
[7] Maarten Marx,et al. Hybrid logics with Sahlqvist axioms , 2005, Log. J. IGPL.
[8] Igor Walukiewicz,et al. Automata for the Modal mu-Calculus and related Results , 1995, MFCS.
[9] G. D’Agostino,et al. On modal mu-calculus with explicit interpolants , 2006, J. Appl. Log..
[10] A. Visser. Uniform interpolation and layered bisimulation , 1996 .
[11] Ian Horrocks,et al. From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..
[12] Diego Calvanese,et al. Relationships with other Formalisms , 2003, Description Logic Handbook.
[13] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.
[14] Franz Baader,et al. Tableau Algorithms for Description Logics , 2000, TABLEAUX.
[15] Kees Doets,et al. Basic model theory , 1996, Studies in logic, language and information.
[16] Andrew M. Pitts,et al. On an interpretation of second order quantification in first order intuitionistic propositional logic , 1992, Journal of Symbolic Logic.
[17] B. T. Cate,et al. Model theory for extended modal languages , 2005 .
[18] Maarten Marx,et al. Handling Boolean ABoxes , 2003 .
[19] Michael Zakharyaschev,et al. Advances in Modal Logic, Volume 4 , 2002 .