N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展

被引：6

作者：

王淞昕

王飞

周水庚

周傲英

机构：

[1] 上海财经大学计算机科学与技术系,复旦大学计算机科学与工程系,复旦大学计算机科学与工程系,复旦大学计算机科学与工程系上海复旦大学计算机科学与工程系上海,上海,上海,上海

来源：

计算机研究与发展 | 2005年 / 04期

关键词：

语义Web; DAML+OIL; 描述逻辑; 非单调推理;

D O I：

暂无

中图分类号：

TP393.09 [];

学科分类号：

080402 ;

摘要：

描述逻辑SHOQ(D)给出了Web本体语言DAML+OIL的语义,但SHOQ(D)只能处理严格成立的完备知识,不能处理在实际情况中经常出现的不完备知识.对描述逻辑SHOQ(D)进行扩展,提出了能够处理不完备知识的非单调描述逻辑N-SHOQ(D).给出了N-SHOQ(D)的语法和语义,定义了N-SHOQ(D)中的蕴涵推理关系,研究了N-SHOQ(D)所具有的性质.N-SHOQ(D)为扩展DAML+OIL语言到能够处理不完备知识的情形提供了语义支持.

引用

页码：570 / 575

页数：6