Protege Jess规则无法匹配抽象类Building实例的问题排查

你遇到的问题核心在于：Building是抽象类，没有直接实例，所有实际存在的实例都是Chalet和Apartment的对象。而Jess默认的(object (is-a Building))匹配规则，只会寻找直接类型被标记为Building的实例——但这类实例根本不存在，自然匹配不到。

更关键的是，Jess本身不会自动处理OWL的子类继承关系，哪怕Chalet是Building的子类，Jess也不会默认把Chalet的实例识别为Building的实例，除非你明确告诉它要做这个推理。

下面提供两种靠谱的解决思路：

方法一：利用Protege推理机先完成继承推断 #

Protege自带的推理机（比如Pellet、HermiT）可以自动推断子类实例属于父类。你需要先完成这一步，再让Jess读取推理后的事实：

1. 在Protege中开启推理机（点击菜单栏Reasoner -> 选择一个推理机并启动）。
2. 推理完成后，所有Chalet和Apartment的实例会被标记为Building的实例（在Protege的Instances标签下可以看到）。
3. 重新导出或加载Jess事实，此时你的原规则(object (is-a Building))就能匹配到这些实例了。

方法二：在Jess规则中手动检查子类关系 #

如果不想依赖Protege的推理机，可以修改Jess规则，直接检查实例的类是否是Building的子类：

(mapclass Building)
(mapclass Chalet)
(mapclass Apartment) ; 确保所有子类都被映射

(defrule dummy
    ?vivienda <- (object (is-a ?class))
    (test (subclassp ?class Building))
    =>
    (assert (it-worked))
)

这里的subclassp是Jess的内置函数，用来判断?class是否是Building的子类（包括直接子类和间接子类），这样就能匹配到所有Chalet和Apartment的实例了。

• 确保你已经用(mapclass)或者(mapclasses)命令映射了所有相关的类（包括Building、Chalet、Apartment），否则Jess无法识别这些类的实例。
• 如果使用方法一，记得推理完成后要刷新Jess的事实库，确保推理后的实例信息被同步到Jess中。

内容的提问来源于stack exchange，提问作者Jsevillamol