view src/rules/functor_example.rules @ 44:d1fed3d54a82

organised imports

changed various public/private static final Strings

no longer uses Pellet - now uses a basic jena ontology model

reads/writes model to/from an external TDB dataset instead of flat files

performs sparql updates (inserts) when creating the vector table instead of sparql constructs followed by adding new triples to the model

removed unnecessary sparql select and ask queries

the whole procedure is now timed

in printSetOfTranslators, now uses compareToIgnoreDatapoints instead of compareTo

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