Construction of Complete Description Logics Ontologies Using Attribute Exploration
TANG Su-Qin1,2, CAI Zi-Xing1, WANG Ju2, JIANG Yun-Cheng2,3
1.School of Information Science and Engineering, Central South University, Changsha 410083 2.School of Computer Science and Information Engineering, Guangxi Normal University, Guilin 541004 3.State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100190
Abstract：The importance and current research progress of the description logics ontologies are analyzed, especially the application of attribute exploration in the construction of description logics ontologies according to the completeness of the description logics ontologies. The insufficiency in the knowledge that domain experts are supposed to have in using attribute exploration to construct the description logics ontologies is discussed. The construction of complete description logics ontologies under which circumstances domain experts do not have all the knowledge required in the domain is discussed as well. Moreover, a definition for the completeness of description logics ontologies under the description contexts is provided, and the incomplete contexts under the description contexts are set. An algorithm of constructing the description logics ontologies is constructed under the condition that domain experts are unable to define the attribute implications between those attribute sets. The proposed algorithm is used to acquire an embodying knowledge and then construct the knowledge base. And it can be proved that the description logics ontologies constructed by the proposed method is a complete one.
[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
2011, Vol. 24 
