论文信息 - Resasoning about Concepts and Similarity - 字舞流文

Resasoning about Concepts and Similarity

Carsten Lutz | Frank Wolter | Michael Zakharyaschev | C. Lutz | F. Wolter | M. Zakharyaschev

[1] F. Baader,et al. Fusions of Description Logics and Abstract Description Systems , 2011, J. Artif. Intell. Res..

[2] Frank Wolter,et al. Reasoning about distances , 2003, IJCAI.

[3] O. Kutz,et al. Logics of metric spaces , 2003, TOCL.

[4] Ian Horrocks,et al. Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.

[5] Rolf Backofen,et al. COMPUTATIONAL MOLECULAR BIOLOGY: AN INTRODUCTION , 2000 .

[6] Ian Horrocks,et al. Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[7] Stéphane Demri,et al. Relative Similarity Logics are Decidable: Reduction to FO2 with Equality , 1998, JELIA.

[8] Marcus Kracht,et al. Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.

[9] Gert Smolka,et al. Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[10] Carsten Lutz,et al. Øøøðððù Ððóööøøñ Óö Ööö×óòòòò Óùø Óò Blockin Blockinôø× Òò ××ññððööøý , 2003 .

[11] Margaret H. Dunham,et al. Data Mining: Introductory and Advanced Topics , 2002 .

[12] Beata Konikowska,et al. A Logic for Reasoning about Relative Similarity , 1997, Stud Logica.

[13] Frank Wolter,et al. Fusions of Modal Logics Revisited , 1996, Advances in Modal Logic.

[14] Dimiter Vakarelov,et al. A model logic for similarity relations in pawlak knowledge representation systems , 1991, Fundam. Informaticae.