Mercurial > hg > semantic-sia

view src/rules/functor_example.rules @ 64:4f981b1f8c04

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
working ontology and test data set, with some experimental triples still commented out
author stevenh
date Thu, 01 Aug 2013 13:49:49 +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)
]