David Leal

Merge branch 'NewDDRMappings2011-08-22'

1 -# Saved by TopBraid on Mon Aug 15 12:16:07 PDT 2011 1 +# Saved by TopBraid on Tue Aug 23 09:11:41 BST 2011
2 -# baseURI: null 2 +# baseURI: null
3 - 3 +
4 -@prefix composite: <http://www.topbraid.org/2007/05/composite.owl#> . 4 +@prefix composite: <http://www.topbraid.org/2007/05/composite.owl#> .
5 -@prefix forms: <http://www.topbraid.org/2007/01/forms.owl#> . 5 +@prefix forms: <http://www.topbraid.org/2007/01/forms.owl#> .
6 -@prefix inference: <http://www.topbraid.org/2007/06/inference.owl#> . 6 +@prefix inference: <http://www.topbraid.org/2007/06/inference.owl#> .
7 -@prefix owl: <http://www.w3.org/2002/07/owl#> . 7 +@prefix owl: <http://www.w3.org/2002/07/owl#> .
8 -@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . 8 +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
9 -@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . 9 +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
10 -@prefix visual: <http://topbraid.org/visual#> . 10 +@prefix visual: <http://topbraid.org/visual#> .
11 -@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . 11 +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
12 - 12 +
13 -[] rdf:type inference:Configuration ; 13 +[] rdf:type inference:Configuration ;
14 - composite:child 14 + composite:child
15 - [ rdf:type <http://spinrdf.org/spin#TopSPIN> ; 15 + [ rdf:type <http://spinrdf.org/spin#TopSPIN> ;
16 - <http://spinrdf.org/spin#topSPINOptions> 16 + <http://spinrdf.org/spin#topSPINOptions>
17 - "singlePass" ; 17 + "singlePass" ;
18 - composite:index "0"^^xsd:int 18 + composite:index "0"^^xsd:int
19 - ] ; 19 + ] ;
20 - inference:completeMode 20 + inference:completeMode
21 - "true"^^xsd:boolean . 21 + "true"^^xsd:boolean .
......