Description Logic extension based on extenics theory

• Artificial intelligence • Previous Articles Next Articles

Description Logic extension based on extenics theory

Received:2008-03-10 Revised:2008-04-24 Online:2008-08-01 Published:2008-08-01

基于可拓理论的描述逻辑扩展

王静贾成伟张健沛

哈尔滨工程大学计算机科学与技术学院05级博士班哈尔滨师范大学阿城学院哈尔滨工程大学计算机科学与技术学院

通讯作者: 王静

Abstract

Abstract: Traditional Description Logic (DL) does not fit to handle the problems with incomplete information, tracit knowledge or even contradiction premise. Therefore it is not sufficient to be the logical foundation of the Semantic Web. For this reason, the matter-element and divergence rules of Extenics were introduced to extend the traditional DL. Firstly, the semantic explanation of matterelement was given. Then the matter-element and divergence rules were used to extend the Tableau algorithm to be new Tableau-E algorithm and TableauE′algorithm, thus realizing the extension and consistency checking of Abox (assertion of individuals), and making up the deficiency of traditional DL.

Key words: Semantic Web, Description Logic, Extenics, Matter-element, Divergence Rule

摘要： 传统描述逻辑不适合于处理信息不全、存在隐性知识甚至存在矛盾前提的问题，所以作为语义Web的逻辑基础它是不充分的，为此引入可拓学中的物元及其发散规则对它进行了扩充。首先给出了物元的语义解释，然后引入物元及其发散规则扩充Tableau算法，生成了TableauE算法和TableauE′算法，从而实现了对实例断言集Abox的扩展以及一致性检测，弥补了传统描述逻辑的不足。

关键词: 语义Web, 描述逻辑, 可拓学, 物元, 发散规则

Jian-pei ZHANG. Description Logic extension based on extenics theory[J]. Journal of Computer Applications.

王静贾成伟张健沛. 基于可拓理论的描述逻辑扩展[J]. 计算机应用.

[1]	LIU Qiyuan, JIAO Jian, CAO Hongsheng. Ontology model for detecting Android implicit information flow [J]. Journal of Computer Applications, 2018, 38(1): 61-66.
[2]	MA Manfu, ZHANG Zhengfeng. Network trust evaluation based on extension cloud [J]. Journal of Computer Applications, 2016, 36(6): 1533-1537.
[3]	YANG Jie, GAO Hong, LIU Tao, LIU Wei. Integrated berth and quay-crane scheduling based on improved genetic algorithm [J]. Journal of Computer Applications, 2016, 36(11): 3136-3140.
[4]	CUAN Linna, SHI Yimin, LI Guanyu, WU Xuehua. Linked sensor data publishing system in semantic Web of things [J]. Journal of Computer Applications, 2015, 35(9): 2440-2446.
[5]	HAN Caili, LI Jiajun, ZHANG Xiaopei, XIAO Min. Query expansion method based on semantic property feature graph [J]. Journal of Computer Applications, 2015, 35(2): 440-443.
[6]	XIA Meicui, SHI Hongtao. Efficient information search method based on semantic Web [J]. Journal of Computer Applications, 2015, 35(10): 2915-2919.
[7]	WANG Xiaolong, ZHANG Heng, YANG Bochao, SHEN Yulin. Service-level agreement negotiation mechanism based on semantic Web technology [J]. Journal of Computer Applications, 2015, 35(10): 2927-2932.
[8]	ZHANG Haitao, WANG Binjun. Extension pattern distinguishing model and its application [J]. Journal of Computer Applications, 2015, 35(1): 152-156.
[9]	REN Zhiyu CHEN Xingyuan SHAN Dibin. Cross-domain authorization management model based on two-tier role mapping [J]. Journal of Computer Applications, 2013, 33(09): 2511-2515.
[10]	YAO Jiamin YANG Sichun. Improved model for similarity computation of ontology concept [J]. Journal of Computer Applications, 2013, 33(06): 1579-1586.
[11]	LI Ming LIU Shiyi NIAN Fuzhong. Semantics of OWL-S process model based on temporal description logic [J]. Journal of Computer Applications, 2013, 33(01): 266-269.
[12]	PAN Lina WANG Zhihe DANG Hui. Data stream clustering algorithm based on dependent function [J]. Journal of Computer Applications, 2013, 33(01): 202-206.
[13]	Lü Gang ZHENG Cheng HU Chun-ling. Path-based OWL storage model [J]. Journal of Computer Applications, 2011, 31(05): 1367-1369.
[14]	Wen-lin PAN Da-xin LIU. Representing object role modeling models with Web ontology language description logic axioms [J]. Journal of Computer Applications, 2011, 31(04): 1062-1066.
[15]	Yu-fang ZHANG Chuan LI Zhong-yang XIONG. Improved ontology matching method [J]. Journal of Computer Applications, 2011, 31(04): 1067-1069.