[发明专利]一种将本体和缺省规则程序结合的推理方法

摘要

本发明公开一种将本体和缺省规则程序结合的推理方法，步骤为：1、通过本体查询接口获得本体知识库中的类、关系等定义，并将这些定义进行本体编译转换为缺省程序中的事实规则，将查询到的本体定义添加到本地的本体缓存中；2、对本体公理规则进行编译；3、对回答集程序进行编译，根据本体缓存，将缺省规则和本体公理编译成与本体一致的回答集程序规则，同时将本体中的字符编码和缺省规则的编码编译成回答集程序推理机兼容的编码格式；4、对回答程序进行推理；5、根据本体缓存对推理机输出的推理结果进行解释并生成结果。本发明允许推理使用的本体中存在一定的不完全性，满足了语义网设计中对容许不完全性的要求，扩展了本体推理的适用范围。

主权项

一种将本体和缺省规则程序结合的推理方法，其特征在于，包括如下步骤：步骤一：首先通过本体查询接口获得本体知识库中的类定义和属性定义，并将这些定义进行本体编译转换为缺省程序中的事实规则，然后将查询到的本体定义添加到本地的本体缓存中，以便进行后续的查询和处理；步骤二：对本体公理规则进行编译，利用缺省规则设计面向本体的本体公理规则，将OWL2本体语言的一个子集的语义以公理规则的形式描述；步骤三：对回答集程序进行编译，根据本体缓存，将缺省规则和本体公理编译成与本体一致的回答集程序规则，同时将本体中的字符编码和缺省规则的编码编译成回答集程序推理机兼容的编码格式；步骤四：对回答程序进行推理，将本体事实、本体公理、缺省规则编译成的回答集规则合并成回答集程序，并调用相应的推理机进行推理；步骤五：根据本体缓存对推理机输出的推理结果进行解释，最后生成用户可以理解的结果。