[1] Baader F, Nutt W. Basic Description Logics // Baader F,Calvanese D, McGuinness D, et al, eds. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge, UK: Cambridge University Press, 2003: 47-100
[2] Baader F, Horrocks I, Sattler U. Description Logics // Staab S, Studer R, eds. Handbook on Ontologies: International Handbooks on Information Systems. Berlin, Germany: Springer, 2004: 3-28
[3] Baader F, Kusters R. Non-Standard Inferences in Description Logics: The Story so Far // Gabbay D M, Goncharov S S, Zakharyaschev M, eds. Mathematical Problems from Applied Logic I: Volume 4 of International Mathematical Series. Berlin, Germany: Springer, 2006: 1-75
[4] Kusters R. Non-Standard Inferences in Description Logics // Hutchison D, Kanade T, Kittler J, et al, eds. Lecture Notes in Computer Science. Berlin, Germany: Springer-Verlag, 2001, 2100: 11-250
[5] Brandt S. Standard and Non-Standard Reasoning in Description Logics. Ph.D Dissertation. Dresden, Germany: Technological University of Dresden. Institute for Theoretical Computer Science, 2006
[6] Horrocks I. DAML+OIL: A Description Logic for the Semantic Web. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering, 2002, 25(1): 4-9
[7] Grau B C, Horrocks I, Kazakov Y, et al. Modular Reuse of Ontologies: Theory and Practice. Journal of Artificial Intelligence Research, 2008, 31(1): 273-318
[8] Baader F, Horrocks I, Sattler U. Description Logics as Ontology Languages for the Semantic Web // Hutter D, Stephan W, eds. Mechanizing Mathematical Reasoning: Essays in Honor of J H Siekmann on the Occasion of His 60th Birthday. Berlin, Germany: Springer-Verlag, 2005: 228-248
[9] Jiang Yuncheng, Shi Zhongzhi, Tang Yong, et al. Fuzzy Description Logic for Semantics Representation of the Semantic Web. Journal of Software, 2007, 18(6): 1257-1269 (in Chinese)
(蒋运承,史忠植,汤 庸,等.面向语义Web语义表示的模糊描述逻辑.软件学报, 2007, 18(6): 1257-1269)
[10] Xu Guihong, Zhang Jian. First-Order Logic Reasoning Support for the Semantic Web. Journal of Software, 2008, 19(12): 3091-3099 (in Chinese)
(徐贵红,张 健.语义网的一阶逻辑推理技术支持.软件学报, 2008, 19(12): 3091-3099)
[11] Jiang Yuncheng, Tang Yong, Wang Ju. Fuzzy ER Modeling with Description Logics. Journal of Software, 2006, 17(1): 20-30 (in Chinese)
(蒋运承,汤 庸,王 驹.基于描述逻辑的模糊ER模型.软件学报, 2006, 17(1): 20-30)
[12] Jiang Yuncheng, Tang Yong, Wang Ju, et al. Description-Logic-Based Temporal ER Model with Attribute Dependencies. Journal of Computer Research and Developmen, 2007, 44(10): 1765-1773 (in Chinese)
(蒋运承,汤 庸,王 驹,等.基于描述逻辑的带属性依赖时序ER模型.计算机研究与发展, 2007, 44(10): 1765-1773)
[13] Berardi D, Calvanese D, de Giacomo G. Reasoning on UML Class Diagrams. Artificial Intelligence, 2005, 168(1/2): 70-118
[14] Artale A. Reasoning on Temporal Class Diagrams: Undecidability Results. Annals of Mathematics and Artificial Intelligence, 2006, 46(3): 265-288
[15] Horrocks I, Patel-Schneider P F, van Harmelen F. From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics, 2003,1(1): 7-26
[16] Schlobach S, Cornet R. Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies // Proc of the 18th International Joint Conference on Artificial Intelligence. Acapulco, Mexico, 2003: 355-362
[17] Jiang Yuncheng, Wang Ju, Zhou Shengming, et al. LCS and MSC Reasoning of Hybrid Terminological Cycles in Description Logic εL. Journal of Software, 2008, 19(10): 2483-2497 (in Chinese)
(蒋运承,王 驹,周生明,等.描述逻辑εL混合循环术语集的LCS和MSC推理.软件学报, 2008, 19(10): 2483-2497)
[18] Jiang Yuncheng, Tang Suqin. Computing Most Specific Concept in Description Logic with n-Ary Existential Quantifier. Chinese Journal of Computers, 2009, 32(8): 1500-1510 (in Chinese)
(蒋运承,唐素勤.带n-元存在量词的描述逻辑MSC推理.计算机学报, 2009, 32(8): 1500-1510)
[19] Jiang Yuncheng, Tang Suqin, Wang Ju, et al. Computing Most Specific Concept in Description Logic with Transitive Roles and Existential Restrictions. Journal of Computer Research and Development, 2009, 46(6): 979-987 (in Chinese)
(蒋运承,唐素勤,王 驹,等.带传递关系和存在量词的描述逻辑MSC推理.计算机研究与发展, 2009, 46(6): 979-987)
[20] Baader F, Penaloza R, Suntisrivaraporn B. Pinpointing in the Description Logic EL+ // Proc of the 30th German Conference on Artificial Intelligence. Osnabrück, Germany, 2007: 52-67
[21] Baader F, Ganter B, Sertkaya B, et al. Completing Description Logic Knowledge Bases Using Formal Concept Analysis // Proc of the 20th International Joint Conference on Artificial Intelligence. Hyderabad, India, 2007: 230-235
[22] Baader F, Sertkaya B. Usability Issues in Description Logic Knowledge Base Completion // Proc of the 7th International Conference on Formal Concept Analysis. Darmstadt, Germany, 2009: 1-21
[23] Holzer R. Knowledge Acquisition under Incomplete Knowledge Using Methods from Formal Concept Analysis: Part I. Fundamenta Informaticae, 2004, 63(1): 17-39
[24] Holzer R. Knowledge Acquisition under Incomplete Knowledge Using Methods from Formal Concept Analysis: Part II. Fundamenta Informaticae, 2004, 63(1): 41-63
[25] Jiang Yuncheng, Wang Ju, Deng Peimin, et al. Semantics and Reasoning of Terminological Cycles in Description Logic FL^-. Chinese Journal of Computers, 2008, 31(2): 185-195 (in Chinese)
(蒋运承,王 驹,邓培民,等.描述逻辑FL循环术语集的语义及推理.计算机学报, 2008, 31(2): 185-195)
[26] Baader F, Wille R. Formal Concept Analysis-Mathematical Foundations. Berlin, Germany: Springer, 1999
[27] Wille R. Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts // Rival I, ed. Ordered Sets. Netherlands: Reidel, 1982: 445-470
[28] Baader F, Sertkaya B. Applying Formal Concept Analysis to Description Logics // Proc of the 2nd International Conference on Formal Concept Analysis. Sydney, Australia, 2004: 261-286
[29] Yang Bin, Xu Baowen, Xu Lei. Generating All Pseudo-Intents with Minimal Generators of Formal Concept. Acta Electronica Sinica, 2008, 36(11): 2125-2131 (in Chinese)
(杨 彬,徐宝文,许 蕾.基于概念内涵最小生成子的伪内涵计算方法.电子学报, 2008, 36(11): 2125-2131)
[30] Baader F. Computing a Minimal Representation of the Subsumption Lattice of all Conjunctions of Concepts Defined in a Terminology // Proc of the 1st International Kruse Symposium on Knowledge Retrieval, Use and Storage for Efficiency. Venice, Italy, 1995: 168-178
[31] Stumme G. The Concept Classification of a Terminology Extended by Conjunction and Disjunction // Proc of the 4th Pacific Rim International Conference on Artificial Intelligence. Cairns, Australia, 1996: 121-131
[32] Stumme G. Distributive Concept Exploration-A Knowledge Acquisition Tool in Formal Concept Analysis // Proc of the 22nd Annual German Conference on Artificial Intelligence. Bremen, Germany, 1998: 117-128
[33] Baader F, Molitor R. Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis // Proc of the 8th International Conference on Conceptual Structures. Darmstadt, Germany, 2000: 292-305
[34] Baader F, Sertkaya B, Turhan A Y. Computing the Least Common Subsumer w.r.t. a Background Terminology. Journal of Applied Logic, 2007, 5(3): 392-420
[35] Rudolph S. Relational Exploration: Combining Description Logics and Formal Concept Analysis for Knowledge Specification. Ph.D Dissertation. Dresden, Germany: Technological University of Dresden. Institute for Theoretical Computer, 2006