Mercurial > hg > semantic-sia

view src/rules/functor_example.rules @ 56:fa1ca32c6a17

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new
author stevenh
date Tue, 02 Apr 2013 23:10: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)
]