Mercurial > hg > semantic-sia

view src/rules/functor_example.rules @ 79:fd9111c83e57

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ensures we are working with one particular dataset
author stevenh
date Fri, 02 Aug 2013 15:53:42 +0100
parents 08675ab08e7f
children
line wrap: on
line source
@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)
]