Mercurial > hg > semantic-sia
annotate src/rules/functor_example.rules @ 94:fedf516f6a78 tip
test file
| author | stevenh |
|---|---|
| date | Mon, 29 Dec 2014 15:16:22 +0000 |
| parents | 08675ab08e7f |
| children |
| rev | line source |
|---|---|
| steve@0 | 1 @prefix sia: <http://example.org/sia#>. |
| steve@0 | 2 |
| steve@0 | 3 [allID: |
| steve@0 | 4 (?C rdf:type owl:Restriction), (?C owl:onProperty ?P), |
| steve@0 | 5 (?C owl:allValuesFrom ?D) |
| steve@0 | 6 -> |
| steve@0 | 7 (?C owl:equivalentClass all(?P, ?D)) |
| steve@0 | 8 ] |
| steve@0 | 9 |
| steve@0 | 10 [all2: (?C rdfs:subClassOf all(?P, ?D)) -> print('Rule for ', ?C) |
| steve@0 | 11 [all1b: (?Y rdf:type ?D) <- (?X ?P ?Y), (?X rdf:type ?C) ] ] |
| steve@0 | 12 |
| steve@0 | 13 [all3: |
| steve@0 | 14 (?S owl:owl:equivalentClass all(?P, ?D)) |
| steve@0 | 15 makeTemp(?blankNode) |
| steve@0 | 16 -> |
| steve@0 | 17 (?P rdf:type sia:MyP), |
| steve@0 | 18 (?D rdf:type sia:MyD) |
| steve@0 | 19 ] |