| 摘要: |
| 面向语义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语义下可满足性的判定复杂度. |
| 关键词: 限制 描述逻辑 杂合系统 逻辑程序规则 语义Web |
| DOI： |
| 分类号: |
| 基金项目: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)) |
|
| A Hybrid System DLclog Integrating Description Logics and Rules |
|
YANG Fang-Kai,CHEN Xiao-Ping
|
| Abstract: |
| 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. |
| Key words: circumscription description logic hybrid integration logic programming rule semantic Web |
