本体推理类型（具体化与非具体化版本是什么意思？以及它们之间的区别是什么。
本体通常存储为.rdf或.owl文件。本体包含公理。根据这些公理，AI推理程序可以推断出其他公理必须成立。当这些附加公理作为.rdf / .owl的一部分存储时，它表示推论已实现，否则推论未实现。