Mercurial > hg > semantic-sia
annotate src/rules/functor_example.rules @ 0:08675ab08e7f
New
| author | Steven Hargreaves <steve.harg@gmail.com> |
|---|---|
| date | Sat, 29 Dec 2012 17:41:06 +0000 |
| parents | |
| 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 ] |