公开(公告)号：CN107092516A

公开(公告)日：2017-08-25

申请号：CN201710196119.4

申请日：2017-03-29

Applicant: 东南大学

Inventor： 张志政 ,  张舒韬

IPC: G06F9/45

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

公开(公告)号：CN107092516B

公开(公告)日：2020-10-02

申请号：CN201710196119.4

申请日：2017-03-29

Applicant: 东南大学

Inventor： 张志政 ,  张舒韬

IPC: G06F8/41

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