[1]张灵峰 夏战锋 彭志平.基于Tbox和Abox的描述逻辑推理研究[J].计算机技术与发展,2010,(11):122-125.
　ZHANG Ling-feng,XIA Zhan-feng,PENG Zhi-ping.Research on Description Logic＇s Reasoning Based on Tbox and Abox[J].,2010,(11):122-125.
点击复制

基于Tbox和Abox的描述逻辑推理研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2010年11期
页码:
122-125
栏目:
智能、算法、系统工程
出版日期:
1900-01-01

文章信息/Info

Title:
Research on Description Logic＇s Reasoning Based on Tbox and Abox
文章编号:
1673-629X（2010）11-0122-04
作者:
张灵峰1 夏战锋2 彭志平1
[1]茂名学院实验教学部[2]江苏科技大学计算机科学与工程学院
Author(s):
ZHANG Ling-feng; XIA Zhan-feng; PENG Zhi-ping
[1]Department of Experimental Teaching,Maoming University[2]College of Computer Science and Engineering,Jiangsu University of Science and Technology
关键词:
描述逻辑; Tbox推理; Abox推理; 可满足性; 一致性
Keywords:
description logics;  Tbox reasoning;  Abox reasoning;  satisfiability;  consistency
分类号:
TP393
文献标志码:
A
摘要:
语义Web的出现使得描述逻辑（Description Logic）成为研究的热点。它是近年来研究和发展最快的知识表示的形式化工具之一,具有强大的表达能力、可判定性以及有效推理等优点,其中推理服务是它的核心。首先重点讨论基于Tbox和Abox的推理任务;其次,详细阐述各算法以及相互间内在联系;最后,得出描述逻辑的所有推理都可以转化为基于Abox的一致性检测问题,并给出其算法及实现过程。在语义Web环境下,描述逻辑的推理服务可以提高机器的理解能力,实现机器完全自主化
Abstract:
The appearance of semantic Web makes description logic is a hot research point.It is one of formal tools for knowledge representation which is studied and developed rapidly in recent years.It has many advantages such as expressive capability and decidability and effective reasoning,especially reasoning＇s services is core.Firstly,the task of reasoning based on Tbox and Abox is discussed;Then,every algorithm of reasoning and the internal relationship of each other is specifically described;Finally,all description logic reasoning could be transformed into the problem of consistency check based on Abox is obtained,while algorithm and the process of implementation is given.In the context of semantic Web,the service of description logic reasoning could improve the ability of comprehension of machine and achieve the complete independence of machine

相似文献/References:

[1]王金环 李宝敏.基于本体DL的语义推理研究[J].计算机技术与发展,2009,(11):94.
　WANG Jin-huan,LI Bao-min.Study of Semantic Reasoning Based on Ontology Description Logic[J].,2009,(11):94.
[2]董庆超 王智学 张爱辉 陈剑.基于UML类图模型的一致性检查方法[J].计算机技术与发展,2008,(10):85.
　DONG Qing-chao,WANG Zhi-xue,ZHANG Ai-hui,et al.A Method of Inconsistency Detecting of Models Based on UML Class Diagram[J].,2008,(11):85.
[3]刘磊 张波.基于语义关键词的本体特征指数获取方法研究[J].计算机技术与发展,2008,(12):140.
　LIU Lei,ZHANG Bo.Research on How to Get Ontology Index Based on Semantic Keywords[J].,2008,(11):140.
[4]夏战锋 彭志平 胥杜鹃[].基于范畴论的多TBox整合研究[J].计算机技术与发展,2011,(05):95.
　XIA Zhan-feng,PENG Zhi-ping,XU Du-juan.Research of Multiple TBox Integration Based on Category Theory[J].,2011,(11):95.
[5]杨斌 齐玉东 孟凡磊 王亚宁[].本体在概念建模中的应用研究[J].计算机技术与发展,2011,(05):246.
　YANG Bin,QI Yu-dong,MENG Fan-lei,et al.Application Research on Ontology in Conceptual Modeling[J].,2011,(11):246.
[6]郝斐 蒋鑫 董庆超 张杰[].MEISRDL静态图模型的一致性检查方法[J].计算机技术与发展,2011,(10):28.
　HAO Fei,JIANG Xin,DONG Qing-chao,et al.Consistency Model Checking for MEISRDL Static Diagrams[J].,2011,(11):28.
[7]罗军 刘艺茹.本体和描述逻辑在景点查询中的应用研究[J].计算机技术与发展,2012,(06):239.
　LUO Jun,LIU Yi-ru.Research on Ontology and Description Logic Application to Scenery Spot Query[J].,2012,(11):239.
[8]段跃兴.语义 Web 服务的形式化及其组合研究[J].计算机技术与发展,2013,(01):1.
　DUAN Yue-xing.Research on Formalization and Composition of Semantic Web Services[J].,2013,(11):1.
[9]江萍,王力,王士凯,等.基于本体描述逻辑的云制造服务匹配方案[J].计算机技术与发展,2013,(03):49.
　JIANG Ping,WANG Li,WANG Shi-kai,et al.A Method of Services Matching of Cloud Manufacturing Based on Ontology-DL[J].,2013,(11):49.
[10]刘菲京,刘炜,王旭,等. 一种基于事件的大气污染突发事件本体模型[J].计算机技术与发展,2015,25(06):29.
　LIU Fei-jing,LIU Wei,WANG Xu,et al. An Air Pollution Emergency Ontology Model Based on Event[J].,2015,25(11):29.

备注/Memo

备注/Memo:
广东省自然科学基金项目（8152500002000003）张灵峰（1961-），男，硕士，实验师，研究方向为计算机应用技术、虚拟化技术、现代教育技术；彭志平，博士，教授，研究方向为语义Web、移动agcnt技术、饥器学习
更新日期/Last Update: 1900-01-01