一种描述逻辑与逻辑程序相结合的杂合系统DLclog

• 作者: 杨方凯 陈小平
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 限制 描述逻辑 杂合系统 逻辑程序规则 语义Web
• 年，卷（期）: 2008,（12）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 3100-3110
• 页数: 11页
• 分类号: TP301
• 字数: 10911字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2008.03100

摘要

面向语义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语义下可满足性的判定复杂度.