模式识别与人工智能
2025年4月2日 星期三   首 页     期刊简介     编委会     投稿指南     伦理声明     联系我们                                                                English
模式识别与人工智能  2007, Vol. 20 Issue (1): 48-54    DOI:
论文与报告 最新目录| 下期目录| 过刊浏览| 高级检索 |
面向语义Web的描述逻辑*
蒋运承1,2,汤庸1,王驹2,周生明2
1.中山大学 计算机科学系 广州 510275
2.广西师范大学 计算机科学与信息工程学院 桂林 541004
Semantic Web Oriented Description Logic
JIANG YunCheng1,2, TANG Yong1, WANG Ju2, ZHOU ShengMing2
1.Department of Computer Sciences, Sun YatSen University, Guangzhou 510275
2.College of Computer Science and Information Engineering, Guangxi Normal University, Guilin 541004

全文: PDF (345 KB)   HTML (1 KB) 
输出: BibTeX | EndNote (RIS)      
摘要 分析描述逻辑SHOIQ(D)与语义Web的关系,特别是SHOIQ(D)与语义Web本体语言的等价性.但由于SHOIQ(D)的复杂性,目前只给出它的语法和语义,还没有研究给出它的推理机制.在描述逻辑SHOIQ推理机制的基础上,首先提出SHOIQ(D)的tableaux的概念.然后重点研究基于tableaux的SHOIQ(D)的推理机制,提出SHOIQ(D)tableaux推理算法,并证明该算法的正确性.
服务
把本文推荐给朋友
加入我的书架
加入引用管理器
E-mail Alert
RSS
作者相关文章
蒋运承
汤庸
王驹
周生明
关键词 语义Web描述逻辑SHOIQ(D)Tableaux算法    
Abstract:The relationship between the description logic SHOIQ(D) and the semantic Web, especially the equality of SHOIQ(D) and semantic Web ontology language, is analyzed. Due to the complexity of SHOIQ(D), only the syntax and the semantics are given at present. Based on the reasoning method of the description logic SHOIQ, the tableaux of SHOIQ is presented at first. Then the reasoning method of SHOIQ(D) based on tableaux of SHOIQ is studied mainly, and a SHOIQ(D)tableaux reasoning algorithm is presented. Finally, the correctness of SHOIQ(D)tableaux algorithm is proved.
Key wordsSemantic Web    Description Logic    SHOIQ(D)    Tableaux Algorithm   
收稿日期: 2005-05-16     
ZTFLH: TP181  
基金资助:国家自然科学基金项目(No.60663001, 60373081, 60573010)、中国博士后科学基金项目(No.20060400226)、广东省自然科学基金重点项目(No.04105503)和广西青年科学基金项目(桂科青0640030)资助
作者简介: 蒋运承,男,1974年生,博士后,主要研究方向为语义Web、描述逻辑.Email:jiangyc@ics.ict.ac.cn.汤庸,男,1964年生,教授,博士生导师,主要研究方向为时态数据库、协同软件.王驹,男,1950年生,博士,教授,主要研究方向为描述逻辑、数理逻辑、语义Web.周生明,男,1960年生,副教授,主要研究方向为描述逻辑、数理逻辑、语义Web.
引用本文:   
蒋运承,汤庸,王驹,周生明. 面向语义Web的描述逻辑*[J]. 模式识别与人工智能, 2007, 20(1): 48-54. JIANG YunCheng , TANG Yong , WANG Ju , ZHOU ShengMing. Semantic Web Oriented Description Logic. , 2007, 20(1): 48-54.
链接本文:  
http://manu46.magtech.com.cn/Jweb_prai/CN/      或     http://manu46.magtech.com.cn/Jweb_prai/CN/Y2007/V20/I1/48
版权所有 © 《模式识别与人工智能》编辑部
地址:安微省合肥市蜀山湖路350号 电话:0551-65591176 传真:0551-65591176 Email:bjb@iim.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn