主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
杨方凯,陈小平.一种描述逻辑与逻辑程序相结合的杂合系统DLclog.软件学报,2008,19(12):3100-3110
一种描述逻辑与逻辑程序相结合的杂合系统DLclog
A Hybrid System DLclog Integrating Description Logics and Rules
投稿时间:2007-05-10  修订日期:2007-10-26
DOI:
中文关键词:  限制  描述逻辑  杂合系统  逻辑程序规则  语义Web
英文关键词:circumscription  description logic  hybrid integration  logic programming rule  semantic Web
基金项目:Supported by the National Natural Science Foundation of China under Grant No.60745022 (国家自然科学基金); the National Basic Research Program of China under Grant No.2003CB317000 (国家重点基础研究发展计划(973))
作者单位
杨方凯 中国科学技术大学 计算机科学与技术系 多主体系统实验室,安徽 合肥 230027 
陈小平 中国科学技术大学 计算机科学与技术系 多主体系统实验室,安徽 合肥 230027 
摘要点击次数: 3716
全文下载次数: 4013
中文摘要:
      面向语义Web的需求,提出了一种新的描述逻辑与逻辑程序结合的杂合系统DLclog,它从语法和语义两方面扩展了Rosati提出的DL+log系统.在DLclog中,负DL原子可以出现在逻辑程序规则体中,并且使用McCarthy的并行限制(parallel circumscription)对其进行非经典解释,即出现在规则体中的DL谓词在其他DL谓词的解释任意发生变化的情况下,其外延在DL本体的模型中被解释为最小.使用这种方法,DL+log的非单调语义(NM-semantics,简称NM语义)被扩展成了DLclog的非单调限制语义(nonmonotonic circumscriptive semantics,简称NMC语义),从而成为目前表达能力和推理能力最强的杂合系统.此外,在DL本体使用ALCIO和ALCQO书写,且不允许属性(role)出现在规则中的失败否定(NAF)之后时,还给出了可靠完全的推理算法和NMC语义下可满足性的判定复杂度.
英文摘要:
      Based on the vision of the Semantic Web, DLclog, a new hybrid formalism combining description logics (DL) and logic programming (LP), is described, which extends DL+log from syntax and semantics. In DLclog, negative dl-atoms can occur in the bodies of the rules, and are interpreted non-classically by McCarthy’s parallel circumscription, i.e., the extents of these DL predicates are minimized with the extents of all other DL predicates varying. In this way, the Nonmonotonic Semantics (NM-Semantics) of DL+log is extended to the Nonmonotonic Circumscriptive Semantics (NMC-Semantics), and therefore, DLclog becomes the hybrid system with the stronger expressiveness and reasoning abilities. A decision procedure is given when DL ontology is written in ALCIO or ALCQO and roles are not allowed to occur in negative dl-atoms, and the complexity is analyzed.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利