view src/rules/functor_example.rules @ 16:6863887e1b70

organized imports

added new "createV" and "createW" methods so that we can specifically create Vector Tables V or W as described in the paper

removed unnecessary code

added try/catch blocks where necessary

@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)
]