| N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展 |
| |
| 引用本文： | 王淞昕,王飞,周水庚,周傲英.N-SHOQ(D):描述逻辑SHOQ(D)的一个非单调扩展[J].计算机研究与发展,2005,42(4):570-575. |
| |
| 作者姓名： | 王淞昕 王飞 周水庚 周傲英 |
| |
| 作者单位： | 1. 上海财经大学计算机科学与技术系,上海,200433;复旦大学计算机科学与工程系,上海,200433
2. 复旦大学计算机科学与工程系,上海,200433 |
| |
| 基金项目： | 国家自然科学基金项目(60373019,60303009) |
| |
| 摘 要： | 描述逻辑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语言到能够处理不完备知识的情形提供了语义支持．
|
| 关 键 词： | 语义Web DAML＋OIL 描述逻辑 非单调推理 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
