Mercurial > hg > semantic-sia

view src/rules/functor_example.rules @ 0:08675ab08e7f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
New
author Steven Hargreaves <steve.harg@gmail.com>
date Sat, 29 Dec 2012 17:41:06 +0000
parents
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)
]