用于术语推理的专用化机制

摘要

一种用于生成针对基于规则的推理的规则的方法，包括如下步骤：从一般推理规则的集合开始，通过在所述一般推理规则的具有多于一个变量的至少一个规则中用在本体中定义的（一个或多个）类代替所述变量中的至少一个来生成特定推理规则的集合。