Showing
2 changed files
with
17 additions
and
0 deletions
This diff could not be displayed because it is too large.
| 1 | +# Saved by TopBraid on Mon Sep 19 23:41:18 BST 2011 | ||
| 2 | +# baseURI: null | ||
| 3 | + | ||
| 4 | +@prefix composite: <http://www.topbraid.org/2007/05/composite.owl#> . | ||
| 5 | +@prefix forms: <http://www.topbraid.org/2007/01/forms.owl#> . | ||
| 6 | +@prefix inference: <http://www.topbraid.org/2007/06/inference.owl#> . | ||
| 7 | +@prefix owl: <http://www.w3.org/2002/07/owl#> . | ||
| 8 | +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | ||
| 9 | +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | ||
| 10 | +@prefix visual: <http://topbraid.org/visual#> . | ||
| 11 | +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | ||
| 12 | + | ||
| 13 | +[] rdf:type inference:Configuration ; | ||
| 14 | + composite:child | ||
| 15 | + [ rdf:type <http://spinrdf.org/spin#TopSPIN> ; | ||
| 16 | + composite:index "0"^^xsd:int | ||
| 17 | + ] . |
-
Please register or login to post a comment