摘要
SHOQ(D)描述逻辑可以对概念、角色、个体、数据类型进行推理,能够克服OIL语言不能处理命名的个体和具体数据类型的缺点。该文设计并实现了SHOQ(D)描述逻辑的ontology推理系统,在SHIQ表算法的基础上,通过修改和添加数据类型和个体的相关规则,得到SHOQ(D)表算法。该系统的实现基于FACT系统,提供了对术语知识库TKB进行操作的函数和宏,主要有向TKB中添加公理、进行推理和回答查询等。实验结果验证SHOQ(D)系统的表达能力优于FACT系统。
SHOQ （D） description logic can be used for reasoning of concepts, roles, individuals and data types, and it can overcome the shortcomings of OIL language that can not handle named individuals and concrete data types. A SHOQ （D） description logic ontology inference system is designed and implemented. On the basis of the SHIQ Tableau algorithms, through the revision and adding relevant rules of individuals and data types, SHOQ （D） Tableau algorithm is achieved. This system is based on FACT system, which provides functions and macros to terminology knowledgebase, including adding axioms, reasoning and answering enquiries. Experimental results show the ability of SHOQ （D） system is better than FACT system.
出处
《计算机工程与设计》
CSCD
北大核心
2008年第21期5531-5536,5549,共7页
Computer Engineering and Design
基金
北京市教委科技发展面上基金项目(KM200710009005)
