论文部分内容阅读
SHOQ（D）描述逻辑可以对概念、角色、个体、数据类型进行推理，能够克服OIL语言不能处理命名的个体和具体数据类型的缺点。该文设计并实现了SHOQ（D）描述逻辑的ontology推理系统，在SHIQ表算法的基础上，通过修改和添加数据类型和个体的相关规则，得到SHOQ（D）表算法。该系统的实现基于FACT系统，提供了对术语知识库TKB进行操作的函数和宏，主要有向TKB中添加公理、进行推理和回答查询等。实验结果验证SHOQ（D）系统的表达能力优于FACT系统。