SWRL：表示类的变量获取父类或子类实例的规则

问题描述

我有以下设置：

1. 一个猫头鹰本体（通过 owlready 使用这个类层次结构访问：

owl:Thing
├── ClassA1
└── ClassB1
    └── ClassB2
        └── ClassB3
            └── ClassB4

2. 每个类的一个实例，比如 A1、B1 等
3. 将 prop1 与 A1 相关联的属性 B4：prop1(A1,B4)

我想要一个 swrl 规则，给定 prop1(A1,B4)，通过 A1 将 B3 与 B2 和 prop1 相关联。

我想一定有这样的东西（部分发明的语法）：

ClassA(?a),prop1(?a,?i1),rdfs:type(?i1,?c),direct_subclass(?c,?d),rdfs:type(?i2,not rdfs:type(?i2,ClassB1) -> prop(?a,?i2)

但是，我在 swrl（参见 direct_subclass(?c,?d) 或 rdfs:type(?i2,?d)）中没有找到任何关于“代表类的变量”的内容。

如何制定规则？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）