论文部分内容阅读
面向语义Web的需求，提出了一种新的描述逻辑与逻辑程序结合的杂合系统DLclog，它从语法和语义两方面扩展了Rosati提出的DL＋log系统雀DLclog中，负DL原子可以出现在逻辑程序规则体中，并且使用McCarthy的并行限制（parallel circumscription）对其进行非经典解释，即出现在规则体中的DL谓词在其他DL谓词的解释任意发生变化的情况下，其外延在DL本体的模型中被解释为最小．使用这种方法，DL＋log的非单调语义（NM．semantics，简称NM语义）被扩展成了DLclo