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

面向语义web的需求,提出了一种新的描述逻辑与逻辑程序结合的杂合系统dlclog,它从语法和语义两方面扩展了rosati提出的dl+log系统.在dlclog中,负dl原子可以出现在逻辑程序规则体中,并且使用mccarthy的并行限制(parallelcircumscription)对其进行非经典解释,即出现在规则体中的dl谓词在其他dl谓词的解释任意发生变化的情况下,其外延在dl本体的模型中被解释为最小.使用这种方法,dl+log的非单调语义(nm-semantics,简称nm语义)被扩展成了dlclog的非单调限制语义(nonmonotoniccircumscriptivesemantics,简称nmc语义),从而成为目前表达能力和推理能力最强的杂合系统.此外,在dl本体使用alcio和alcqo书写,且不允许属性(role)出现在规则中的失败否定(naf)之后时,还给出了可靠完全的推理算法和nmc语义下可满足性的判定复杂度.