view src/rules/functor_example.rules @ 69:94e6592eb106

modified to take into account that sia:Datapoints now have sia:vector properties which then have sia:dimVals, rather than sia:Datapoints having their own sia:dimVal properties

@prefix sia: <http://example.org/sia#>.

[allID:
(?C rdf:type owl:Restriction), (?C owl:onProperty ?P),
(?C owl:allValuesFrom ?D)
->
(?C owl:equivalentClass all(?P, ?D))
]

[all2: (?C rdfs:subClassOf all(?P, ?D)) -> print('Rule for ', ?C)
    [all1b: (?Y rdf:type ?D) <- (?X ?P ?Y), (?X rdf:type ?C) ] ]
    
[all3:
(?S owl:owl:equivalentClass all(?P, ?D))
makeTemp(?blankNode)
->
(?P rdf:type sia:MyP),
(?D rdf:type sia:MyD)
]