Mercurial > hg > semantic-sia

comparison 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
comparison
equal deleted inserted replaced
-1:000000000000 0:08675ab08e7f
1 @prefix sia: <http://example.org/sia#>.
2
3 [allID:
4 (?C rdf:type owl:Restriction), (?C owl:onProperty ?P),
5 (?C owl:allValuesFrom ?D)
6 ->
7 (?C owl:equivalentClass all(?P, ?D))
8 ]
9
10 [all2: (?C rdfs:subClassOf all(?P, ?D)) -> print('Rule for ', ?C)
11 [all1b: (?Y rdf:type ?D) <- (?X ?P ?Y), (?X rdf:type ?C) ] ]
12
13 [all3:
14 (?S owl:owl:equivalentClass all(?P, ?D))
15 makeTemp(?blankNode)
16 ->
17 (?P rdf:type sia:MyP),
18 (?D rdf:type sia:MyD)
19 ]