如何解决SWRL:表示类的变量获取父类或子类实例的规则
我有以下设置:
owl:Thing
├── ClassA1
└── ClassB1
└── ClassB2
└── ClassB3
└── ClassB4
我想要一个 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 举报,一经查实,本站将立刻删除。