我已经开发了一个本体,我想在 protege 中添加以下 SWRL:
Divider_intersection(?node), is_extent_of(?node, ?s), builds(?s, ?l),Segment(?s),Lane(?l),detailed_partition(?d), builds(?l, ?d)-> is_divided_at(?d, ?node)
有了这个,我希望在来自detailed_partition (?d) 的个体和被分类为divider_intersection 的节点之间添加一个对象属性is_divided_at,如果它是构建车道(?l) 的段(?s) 的范围然后构建详细的?分区(?d)。如此处所述,我正在寻找 NamedIndividuals,因此我认为 SWRL 应该可以完成这项工作。
进一步研究,我发现 Rolification ( 1 , 2 , 3 ) 作为一个可能的答案,但是我以前从未使用过它,但我做了以下链:
r_Divider_intersection o is_extent_of o r_Segment o builds o r_Lane o builds o r_detailed_partition
我仍然没有得到答案。知道有什么问题吗?