运用属性探索构建完备描述逻辑本体

摘要
图/表
参考文献
相关文章 (15)

全文: PDF (950 KB) HTML (1 KB)
输出: BibTeX | EndNote (RIS)

摘要分析描述逻辑本体构建的重要性和研究现状。针对描述逻辑本体构建中本体的完备性问题，研究属性探索算法在描述逻辑本体构建中的应用，分析目前运用属性探索算法构建本体时假设专家必须具备全部领域知识的不足，研究在领域专家不具备全部领域知识情况下的完备描述逻辑本体构建。在描述背景下给出描述逻辑本体完备性的定义，设置描述背景下的不完备背景，构造一种在不完备背景下领域专家不能判断属性集合间的蕴含关系的描述逻辑本体构建算法。该算法可与领域专家交互获取蕴含知识从而构建本体知识库，并且证明利用该方法构建的本体是完备本体。

	服务

	把本文推荐给朋友
	加入我的书架
	加入引用管理器
	E-mail Alert
	RSS
	作者相关文章
	唐素勤
	蔡自兴
	王驹
	蒋运承

关键词 ：描述逻辑, 形式概念分析, 属性探索, 本体

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.

Key words： Description Logics Formal Concept Analysis Attribute Exploration Ontology

收稿日期: 2009-12-25

ZTFLH:

TP182

基金资助:国家自然科学基金(No.60805027)、广西省自然科学基金(No.桂科自0991100)资助项目

作者简介: 唐素勤，女，1972年生，博士研究生，副教授，主要研究方向为知识工程、计算智能.E-mail:sqtang@mailbox.gxnu.edu.cn.蔡自兴，男，1938年生，教授，博士生导师，主要研究方向为人工智能、智能控制、智能机器人.王驹，男，1950年生，研究员，主要研究方向为描述逻辑、数理逻辑、人工智能.蒋运承，男，1974年生，教授，主要研究方向为描述逻辑、语义Web、Web智能.

引用本文:

唐素勤，蔡自兴，王驹，蒋运承. 运用属性探索构建完备描述逻辑本体[J]. 模式识别与人工智能, 2011, 24(1): 1-13. TANG Su-Qin, CAI Zi-Xing, WANG Ju, JIANG Yun-Cheng. Construction of Complete Description Logics Ontologies Using Attribute Exploration. , 2011, 24(1): 1-13.

链接本文:

http://manu46.magtech.com.cn/Jweb_prai/CN/ 或 http://manu46.magtech.com.cn/Jweb_prai/CN/Y2011/V24/I1/1

[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