data.posccaesar.org / npd

Go to a project
Toggle navigation Toggle navigation pinning
David Leal
e13fe434 1 parent b2742af8

Merging of DDR and NPD ontologies

Expand all
Inline Side-by-side
Showing 20 changed files with 217 additions and 193 deletions
1 -# Saved by TopBraid on Mon Aug 08 14:39:42 BST 2011 1 +# Saved by TopBraid on Tue Aug 09 15:23:56 BST 2011
2 # baseURI: http://www.reportinghub.no/ep/schema/1.1/activity 2 # baseURI: http://www.reportinghub.no/ep/schema/1.1/activity
3 # imports: http://www.linkedmodel.org/1.2/schema/vaem 3 # imports: http://www.linkedmodel.org/1.2/schema/vaem
4 # imports: http://www.linkedmodel.org/1.1/schema/ordered 4 # imports: http://www.linkedmodel.org/1.1/schema/ordered
...@@ -21,7 +21,7 @@ ...@@ -21,7 +21,7 @@
21 ep-activity:Activity 21 ep-activity:Activity
22 rdf:type owl:Class ; 22 rdf:type owl:Class ;
23 rdfs:label "Activity"^^xsd:string ; 23 rdfs:label "Activity"^^xsd:string ;
24 - rdfs:subClassOf <http://www.reportinghub.no/iso15926/nativeOWL#Activity> ; 24 + rdfs:subClassOf <http://www.reportinghub.no/ep/schema/core#PhysicalThing> ;
25 rdfs:subClassOf 25 rdfs:subClassOf
26 [ rdf:type owl:Restriction ; 26 [ rdf:type owl:Restriction ;
27 owl:maxCardinality "1"^^xsd:nonNegativeInteger ; 27 owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
...@@ -29,6 +29,11 @@ ep-activity:Activity ...@@ -29,6 +29,11 @@ ep-activity:Activity
29 ] ; 29 ] ;
30 rdfs:subClassOf 30 rdfs:subClassOf
31 [ rdf:type owl:Restriction ; 31 [ rdf:type owl:Restriction ;
32 + owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
33 + owl:onProperty ep-activity:startedAt
34 + ] ;
35 + rdfs:subClassOf
36 + [ rdf:type owl:Restriction ;
32 owl:allValuesFrom ep-activity:Activity ; 37 owl:allValuesFrom ep-activity:Activity ;
33 owl:onProperty <http://www.linkedmodel.org/schema/ordered#after> 38 owl:onProperty <http://www.linkedmodel.org/schema/ordered#after>
34 ] ; 39 ] ;
...@@ -46,11 +51,6 @@ ep-activity:Activity ...@@ -46,11 +51,6 @@ ep-activity:Activity
46 [ rdf:type owl:Restriction ; 51 [ rdf:type owl:Restriction ;
47 owl:allValuesFrom ep-activity:Activity ; 52 owl:allValuesFrom ep-activity:Activity ;
48 owl:onProperty <http://www.linkedmodel.org/schema/ordered#during> 53 owl:onProperty <http://www.linkedmodel.org/schema/ordered#during>
49 - ] ;
50 - rdfs:subClassOf
51 - [ rdf:type owl:Restriction ;
52 - owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
53 - owl:onProperty ep-activity:startedAt
54 ] . 54 ] .
55 55
56 ep-activity:DailyDrillingActivity 56 ep-activity:DailyDrillingActivity
...@@ -59,8 +59,8 @@ ep-activity:DailyDrillingActivity ...@@ -59,8 +59,8 @@ ep-activity:DailyDrillingActivity
59 rdfs:subClassOf ep-activity:DrillingActivity ; 59 rdfs:subClassOf ep-activity:DrillingActivity ;
60 rdfs:subClassOf 60 rdfs:subClassOf
61 [ rdf:type owl:Restriction ; 61 [ rdf:type owl:Restriction ;
62 - owl:maxCardinality "1"^^xsd:nonNegativeInteger ; 62 + owl:allValuesFrom ep-activity:Activity ;
63 - owl:onProperty <http://www.linkedmodel.org/schema/ordered#first> 63 + owl:onProperty <http://www.reportinghub.no/ep/schema/core#hasPart>
64 ] ; 64 ] ;
65 rdfs:subClassOf 65 rdfs:subClassOf
66 [ rdf:type owl:Restriction ; 66 [ rdf:type owl:Restriction ;
...@@ -69,8 +69,8 @@ ep-activity:DailyDrillingActivity ...@@ -69,8 +69,8 @@ ep-activity:DailyDrillingActivity
69 ] ; 69 ] ;
70 rdfs:subClassOf 70 rdfs:subClassOf
71 [ rdf:type owl:Restriction ; 71 [ rdf:type owl:Restriction ;
72 - owl:allValuesFrom ep-activity:DrillingActivity ; 72 + owl:maxCardinality "1"^^xsd:nonNegativeInteger ;
73 - owl:onProperty ep-activity:hasSubActivity 73 + owl:onProperty <http://www.linkedmodel.org/schema/ordered#first>
74 ] ; 74 ] ;
75 rdfs:subClassOf 75 rdfs:subClassOf
76 [ rdf:type owl:Restriction ; 76 [ rdf:type owl:Restriction ;
...@@ -176,8 +176,8 @@ ep-activity:OffshoreWellActivity ...@@ -176,8 +176,8 @@ ep-activity:OffshoreWellActivity
176 rdfs:subClassOf ep-activity:OffshoreActivity ; 176 rdfs:subClassOf ep-activity:OffshoreActivity ;
177 rdfs:subClassOf 177 rdfs:subClassOf
178 [ rdf:type owl:Restriction ; 178 [ rdf:type owl:Restriction ;
179 - owl:allValuesFrom <http://www.reportinghub.no/ep/schema/equipment#Rig> ; 179 + owl:cardinality "1"^^xsd:nonNegativeInteger ;
180 - owl:onProperty ep-activity:onRig 180 + owl:onProperty ep-activity:onWell
181 ] ; 181 ] ;
182 rdfs:subClassOf 182 rdfs:subClassOf
183 [ rdf:type owl:Restriction ; 183 [ rdf:type owl:Restriction ;
...@@ -188,11 +188,6 @@ ep-activity:OffshoreWellActivity ...@@ -188,11 +188,6 @@ ep-activity:OffshoreWellActivity
188 [ rdf:type owl:Restriction ; 188 [ rdf:type owl:Restriction ;
189 owl:allValuesFrom <http://www.reportinghub.no/ep/schema/well#Well> ; 189 owl:allValuesFrom <http://www.reportinghub.no/ep/schema/well#Well> ;
190 owl:onProperty ep-activity:onWell 190 owl:onProperty ep-activity:onWell
191 - ] ;
192 - rdfs:subClassOf
193 - [ rdf:type owl:Restriction ;
194 - owl:cardinality "1"^^xsd:nonNegativeInteger ;
195 - owl:onProperty ep-activity:onWell
196 ] . 191 ] .
197 192
198 ep-activity:PressureTestType 193 ep-activity:PressureTestType
......
1 -# Saved by TopBraid on Sun Aug 07 12:55:41 PDT 2011 1 +# Saved by TopBraid on Tue Aug 09 15:02:54 BST 2011
2 # baseURI: http://www.reportinghub.no/ep/schema/1.1/core 2 # baseURI: http://www.reportinghub.no/ep/schema/1.1/core
3 # imports: http://www.linkedmodel.org/1.2/schema/vaem 3 # imports: http://www.linkedmodel.org/1.2/schema/vaem
4 -# imports: http://www.reportinghub.no/ep/schema/1.1/activity
5 -# imports: http://www.reportinghub.no/iso15926/bindEP-NativeOWL
6 4
7 @prefix bindEP-NativeOWL: <http://www.reportinghub.no/iso15926/bindEP-NativeOWL#> . 5 @prefix bindEP-NativeOWL: <http://www.reportinghub.no/iso15926/bindEP-NativeOWL#> .
8 @prefix ep-core: <http://www.reportinghub.no/ep/schema/core#> . 6 @prefix ep-core: <http://www.reportinghub.no/ep/schema/core#> .
...@@ -14,22 +12,58 @@ ...@@ -14,22 +12,58 @@
14 12
15 <http://www.reportinghub.no/ep/schema/1.1/core> 13 <http://www.reportinghub.no/ep/schema/1.1/core>
16 rdf:type owl:Ontology ; 14 rdf:type owl:Ontology ;
17 - owl:imports <http://www.reportinghub.no/ep/schema/1.1/activity> , <http://www.linkedmodel.org/1.2/schema/vaem> , <http://www.reportinghub.no/iso15926/bindEP-NativeOWL> ; 15 + owl:imports <http://www.linkedmodel.org/1.2/schema/vaem> ;
18 owl:versionInfo "Created with TopBraid Composer"^^xsd:string . 16 owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
19 17
18 +ep-core:PhysicalObject
19 + rdf:type owl:Class ;
20 + rdfs:label "physical object"^^xsd:string ;
21 + rdfs:subClassOf ep-core:PhysicalThing .
22 +
23 +ep-core:PhysicalThing
24 + rdf:type owl:Class ;
25 + rdfs:label "physical thing"^^xsd:string ;
26 + rdfs:subClassOf owl:Thing .
27 +
20 ep-core:basisFor 28 ep-core:basisFor
21 rdf:type owl:ObjectProperty ; 29 rdf:type owl:ObjectProperty ;
22 rdfs:label "basis for"^^xsd:string . 30 rdfs:label "basis for"^^xsd:string .
23 31
24 ep-core:derivedFrom 32 ep-core:derivedFrom
25 - rdf:type owl:TransitiveProperty , owl:ObjectProperty ; 33 + rdf:type owl:ObjectProperty , owl:TransitiveProperty ;
26 rdfs:label "derived from"^^xsd:string . 34 rdfs:label "derived from"^^xsd:string .
27 35
28 ep-core:hasPart 36 ep-core:hasPart
29 - rdf:type owl:ObjectProperty ; 37 + rdf:type owl:TransitiveProperty ;
30 - rdfs:label "has part"^^xsd:string . 38 + rdfs:domain ep-core:PhysicalThing ;
39 + rdfs:label "has part"^^xsd:string ;
40 + rdfs:range ep-core:PhysicalThing ;
41 + owl:inverseOf ep-core:partOf .
42 +
43 +ep-core:hasTemporalPart
44 + rdf:type owl:TransitiveProperty ;
45 + rdfs:domain ep-core:PhysicalThing ;
46 + rdfs:label "has temporal part"^^xsd:string ;
47 + rdfs:range ep-core:PhysicalThing ;
48 + rdfs:subPropertyOf ep-core:hasPart ;
49 + owl:inverseOf ep-core:partOf .
31 50
32 ep-core:name 51 ep-core:name
33 rdf:type owl:DatatypeProperty ; 52 rdf:type owl:DatatypeProperty ;
34 rdfs:label "name"^^xsd:string ; 53 rdfs:label "name"^^xsd:string ;
35 rdfs:range xsd:string . 54 rdfs:range xsd:string .
55 +
56 +ep-core:partOf
57 + rdf:type owl:TransitiveProperty ;
58 + rdfs:domain ep-core:PhysicalThing ;
59 + rdfs:label "part of"^^xsd:string ;
60 + rdfs:range ep-core:PhysicalThing ;
61 + owl:inverseOf ep-core:hasPart .
62 +
63 +ep-core:temporalPartOf
64 + rdf:type owl:TransitiveProperty ;
65 + rdfs:domain ep-core:PhysicalThing ;
66 + rdfs:label "temporal part of"^^xsd:string ;
67 + rdfs:range ep-core:PhysicalThing ;
68 + rdfs:subPropertyOf ep-core:hasPart ;
69 + owl:inverseOf ep-core:hasTemporalPart .
......
1 -# Saved by TopBraid on Sun Aug 07 12:55:41 PDT 2011 1 +# Saved by TopBraid on Tue Aug 09 15:41:34 BST 2011
2 # baseURI: http://www.reportinghub.no/ep/schema/equipment 2 # baseURI: http://www.reportinghub.no/ep/schema/equipment
3 -# imports: http://www.reportinghub.no/ep/schema/1.1/activity
4 # imports: http://www.reportinghub.no/ep/schema/1.1/core 3 # imports: http://www.reportinghub.no/ep/schema/1.1/core
5 4
6 @prefix : <http://www.reportinghub.no/ep/schema/equipment#> . 5 @prefix : <http://www.reportinghub.no/ep/schema/equipment#> .
...@@ -10,17 +9,15 @@ ...@@ -10,17 +9,15 @@
10 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . 9 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
11 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . 10 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
12 11
12 +<http://www.reportinghub.no/ep/schema/core#PhysicalThing>
13 + rdfs:comment "Equivalent to ISO 15926-2 Possible Individual - DL"^^xsd:string .
14 +
13 <http://www.reportinghub.no/ep/schema/equipment> 15 <http://www.reportinghub.no/ep/schema/equipment>
14 rdf:type owl:Ontology ; 16 rdf:type owl:Ontology ;
15 - owl:imports <http://www.reportinghub.no/ep/schema/1.1/activity> , <http://www.reportinghub.no/ep/schema/1.1/core> ; 17 + owl:imports <http://www.reportinghub.no/ep/schema/1.1/core> ;
16 owl:versionInfo "Created with TopBraid Composer"^^xsd:string . 18 owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
17 19
18 ep-eqt:Equipment 20 ep-eqt:Equipment
19 rdf:type owl:Class ; 21 rdf:type owl:Class ;
20 rdfs:label "Equipment"^^xsd:string ; 22 rdfs:label "Equipment"^^xsd:string ;
21 - rdfs:subClassOf owl:Thing . 23 + rdfs:subClassOf <http://www.reportinghub.no/ep/schema/core#PhysicalObject> .
22 -
23 -ep-eqt:Rig
24 - rdf:type owl:Class ;
25 - rdfs:label "Rig"^^xsd:string ;
26 - rdfs:subClassOf ep-eqt:Equipment .
......
1 -# Saved by TopBraid on Sun Aug 07 12:55:41 PDT 2011 1 +# Saved by TopBraid on Tue Aug 09 15:08:18 BST 2011
2 # baseURI: http://www.reportinghub.no/ep/schema/well 2 # baseURI: http://www.reportinghub.no/ep/schema/well
3 -# imports: http://www.reportinghub.no/ep/schema/1.1/activity
4 # imports: http://www.reportinghub.no/ep/schema/1.1/core 3 # imports: http://www.reportinghub.no/ep/schema/1.1/core
5 4
6 @prefix : <http://www.reportinghub.no/ep/schema/well#> . 5 @prefix : <http://www.reportinghub.no/ep/schema/well#> .
...@@ -12,12 +11,13 @@ ...@@ -12,12 +11,13 @@
12 11
13 <http://www.reportinghub.no/ep/schema/well> 12 <http://www.reportinghub.no/ep/schema/well>
14 rdf:type owl:Ontology ; 13 rdf:type owl:Ontology ;
15 - owl:imports <http://www.reportinghub.no/ep/schema/1.1/activity> , <http://www.reportinghub.no/ep/schema/1.1/core> ; 14 + owl:imports <http://www.reportinghub.no/ep/schema/1.1/core> ;
16 owl:versionInfo "Created with TopBraid Composer"^^xsd:string . 15 owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
17 16
18 ep-well:AllOrPartOfTheLifeOfAWellBore 17 ep-well:AllOrPartOfTheLifeOfAWellBore
19 rdf:type owl:Class ; 18 rdf:type owl:Class ;
20 - rdfs:label "all or part of the life of a well bore"^^xsd:string . 19 + rdfs:label "all or part of the life of a well bore"^^xsd:string ;
20 + rdfs:subClassOf <http://www.reportinghub.no/ep/schema/core#PhysicalObject> .
21 21
22 ep-well:TemporalPartOfAWellBore 22 ep-well:TemporalPartOfAWellBore
23 rdf:type owl:Class ; 23 rdf:type owl:Class ;
...@@ -27,16 +27,16 @@ ep-well:TemporalPartOfAWellBore ...@@ -27,16 +27,16 @@ ep-well:TemporalPartOfAWellBore
27 ep-well:Well 27 ep-well:Well
28 rdf:type owl:Class ; 28 rdf:type owl:Class ;
29 rdfs:label "Well"^^xsd:string ; 29 rdfs:label "Well"^^xsd:string ;
30 - rdfs:subClassOf owl:Thing ; 30 + rdfs:subClassOf <http://www.reportinghub.no/ep/schema/core#PhysicalObject> ;
31 rdfs:subClassOf 31 rdfs:subClassOf
32 [ rdf:type owl:Restriction ; 32 [ rdf:type owl:Restriction ;
33 - owl:cardinality "1"^^xsd:nonNegativeInteger ; 33 + owl:allValuesFrom ep-well:WellBore ;
34 - owl:onProperty <http://www.reportinghub.no/ep/schema/core#name> 34 + owl:onProperty <http://www.reportinghub.no/ep/schema/core#hasPart>
35 ] ; 35 ] ;
36 rdfs:subClassOf 36 rdfs:subClassOf
37 [ rdf:type owl:Restriction ; 37 [ rdf:type owl:Restriction ;
38 - owl:allValuesFrom ep-well:WellBore ; 38 + owl:cardinality "1"^^xsd:nonNegativeInteger ;
39 - owl:onProperty <http://www.reportinghub.no/ep/schema/core#hasPart> 39 + owl:onProperty <http://www.reportinghub.no/ep/schema/core#name>
40 ] . 40 ] .
41 41
42 ep-well:WellBore 42 ep-well:WellBore
......
1 -# Saved by TopBraid on Sun Aug 07 12:55:42 PDT 2011 1 +# Saved by TopBraid on Tue Aug 09 14:47:57 BST 2011
2 # baseURI: http://www.reportinghub.no/ep/spin/ddr-constraints 2 # baseURI: http://www.reportinghub.no/ep/spin/ddr-constraints
3 # imports: http://www.reportinghub.no/ep/schema/1.1.1/ddr 3 # imports: http://www.reportinghub.no/ep/schema/1.1.1/ddr
4 # imports: http://www.reportinghub.no/ep/schema/1.1/activity 4 # imports: http://www.reportinghub.no/ep/schema/1.1/activity
5 -# imports: http://www.reportinghub.no/1.1/schema/npd
6 # imports: http://spinrdf.org/spin 5 # imports: http://spinrdf.org/spin
6 +# imports: http://www.reportinghub.no/1.1/schema/npd
7 7
8 @prefix : <http://www.reportinghub.no/ep/spin/ddr-constraints#> . 8 @prefix : <http://www.reportinghub.no/ep/spin/ddr-constraints#> .
9 @prefix owl: <http://www.w3.org/2002/07/owl#> . 9 @prefix owl: <http://www.w3.org/2002/07/owl#> .
...@@ -26,7 +26,7 @@ ...@@ -26,7 +26,7 @@
26 sp:elements ([ sp:object _:b1 ; 26 sp:elements ([ sp:object _:b1 ;
27 sp:predicate <http://www.reportinghub.no/schema/npd#name> ; 27 sp:predicate <http://www.reportinghub.no/schema/npd#name> ;
28 sp:subject _:b2 28 sp:subject _:b2
29 - ] [ sp:object <http://www.reportinghub.no/schema/npd#WellBore> ; 29 + ] [ sp:object <http://www.reportinghub.no/ep/schema/well#WellBore> ;
30 sp:predicate rdf:type ; 30 sp:predicate rdf:type ;
31 sp:subject _:b2 31 sp:subject _:b2
32 ]) 32 ])
...@@ -37,7 +37,7 @@ ...@@ -37,7 +37,7 @@
37 37
38 <http://www.reportinghub.no/ep/spin/ddr-constraints> 38 <http://www.reportinghub.no/ep/spin/ddr-constraints>
39 rdf:type owl:Ontology ; 39 rdf:type owl:Ontology ;
40 - owl:imports <http://www.reportinghub.no/ep/schema/1.1/activity> , <http://spinrdf.org/spin> , <http://www.reportinghub.no/ep/schema/1.1.1/ddr> , <http://www.reportinghub.no/1.1/schema/npd> ; 40 + owl:imports <http://www.reportinghub.no/1.1/schema/npd> , <http://www.reportinghub.no/ep/schema/1.1.1/ddr> , <http://spinrdf.org/spin> , <http://www.reportinghub.no/ep/schema/1.1/activity> ;
41 owl:versionInfo "Created with TopBraid Composer"^^xsd:string . 41 owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
42 42
43 _:b2 sp:varName "wellBore"^^xsd:string . 43 _:b2 sp:varName "wellBore"^^xsd:string .
......
1 -# Saved by TopBraid on Sun Aug 07 12:55:42 PDT 2011 1 +# Saved by TopBraid on Tue Aug 09 14:47:57 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#> .
......
1 -# Saved by TopBraid on Mon Aug 08 17:04:22 BST 2011 1 +# Saved by TopBraid on Tue Aug 09 15:05:12 BST 2011
2 # baseURI: http://www.reportinghub.no/ep/transform/1.1/ddr/activity 2 # baseURI: http://www.reportinghub.no/ep/transform/1.1/ddr/activity
3 # imports: http://www.reportinghub.no/ep/spin/1.1/lib 3 # imports: http://www.reportinghub.no/ep/spin/1.1/lib
4 # imports: http://www.reportinghub.no/ep/schema/1.1/activity 4 # imports: http://www.reportinghub.no/ep/schema/1.1/activity
5 # imports: http://www.reportinghub.no/ep/transform/1.1/ddr 5 # imports: http://www.reportinghub.no/ep/transform/1.1/ddr
6 -# imports: http://www.reportinghub.no/iso15926/bindEP-NativeOWL
7 # imports: http://www.reportinghub.no/ep/schema/1.1/activity-purpose 6 # imports: http://www.reportinghub.no/ep/schema/1.1/activity-purpose
8 # imports: http://www.reportinghub.no/ep/schema/equipment 7 # imports: http://www.reportinghub.no/ep/schema/equipment
9 # imports: http://spinrdf.org/spin 8 # imports: http://spinrdf.org/spin
...@@ -158,7 +157,7 @@ ...@@ -158,7 +157,7 @@
158 sp:predicate rdf:type ; 157 sp:predicate rdf:type ;
159 sp:subject _:b25 158 sp:subject _:b25
160 ] [ sp:object _:b25 ; 159 ] [ sp:object _:b25 ;
161 - sp:predicate iso15926:hasPart ; 160 + sp:predicate <http://www.reportinghub.no/ep/schema/core#hasPart> ;
162 sp:subject _:b26 161 sp:subject _:b26
163 ] [ sp:object _:b27 ; 162 ] [ sp:object _:b27 ;
164 sp:predicate <http://www.reportinghub.no/ep/schema/ddr#dTimStart> ; 163 sp:predicate <http://www.reportinghub.no/ep/schema/ddr#dTimStart> ;
...@@ -170,7 +169,7 @@ ...@@ -170,7 +169,7 @@
170 sp:predicate rdf:type ; 169 sp:predicate rdf:type ;
171 sp:subject _:b29 170 sp:subject _:b29
172 ] [ sp:object _:b30 ; 171 ] [ sp:object _:b30 ;
173 - sp:predicate iso15926:temporalPartOf ; 172 + sp:predicate <http://www.reportinghub.no/ep/schema/core#temporalPartOf> ;
174 sp:subject _:b29 173 sp:subject _:b29
175 ] [ sp:object _:b29 ; 174 ] [ sp:object _:b29 ;
176 sp:predicate <http://www.reportinghub.no/ep/schema/activity#onWellBore> ; 175 sp:predicate <http://www.reportinghub.no/ep/schema/activity#onWellBore> ;
...@@ -234,101 +233,101 @@ ...@@ -234,101 +233,101 @@
234 233
235 <http://www.reportinghub.no/ep/transform/1.1/ddr/activity> 234 <http://www.reportinghub.no/ep/transform/1.1/ddr/activity>
236 rdf:type owl:Ontology ; 235 rdf:type owl:Ontology ;
237 - owl:imports <http://www.reportinghub.no/ep/schema/well> , <http://www.reportinghub.no/ep/schema/1.1/activity> , <http://spinrdf.org/spin> , <http://www.reportinghub.no/ep/spin/1.1/lib> , <http://www.reportinghub.no/ep/schema/equipment> , <http://www.reportinghub.no/ep/transform/1.1/ddr> , <http://www.reportinghub.no/ep/schema/1.1/activity-purpose> , <http://www.reportinghub.no/iso15926/bindEP-NativeOWL> ; 236 + owl:imports <http://www.reportinghub.no/ep/schema/well> , <http://www.reportinghub.no/ep/schema/1.1/activity> , <http://spinrdf.org/spin> , <http://www.reportinghub.no/ep/spin/1.1/lib> , <http://www.reportinghub.no/ep/schema/equipment> , <http://www.reportinghub.no/ep/transform/1.1/ddr> , <http://www.reportinghub.no/ep/schema/1.1/activity-purpose> ;
238 owl:versionInfo "Created with TopBraid Composer"^^xsd:string . 237 owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
239 238
240 -_:b3 sp:varName "nameWellBore"^^xsd:string . 239 +_:b8 sp:varName "normalizedWellBoreName"^^xsd:string .
241 -
242 -_:b4 sp:varName "activity"^^xsd:string .
243 240
244 -_:b5 sp:varName "index"^^xsd:string . 241 +_:b7 sp:varName "proprietaryCode"^^xsd:string .
245 242
246 _:b6 sp:varName "dTimStartPart"^^xsd:string . 243 _:b6 sp:varName "dTimStartPart"^^xsd:string .
247 244
248 -_:b7 sp:varName "proprietaryCode"^^xsd:string . 245 +_:b5 sp:varName "index"^^xsd:string .
249 246
250 -_:b8 sp:varName "normalizedWellBoreName"^^xsd:string . 247 +_:b4 sp:varName "activity"^^xsd:string .
248 +
249 +_:b3 sp:varName "nameWellBore"^^xsd:string .
251 250
252 _:b2 sp:varName "partActivity"^^xsd:string . 251 _:b2 sp:varName "partActivity"^^xsd:string .
253 252
254 _:b1 sp:varName "drillingActivityPurposeType"^^xsd:string . 253 _:b1 sp:varName "drillingActivityPurposeType"^^xsd:string .
255 254
256 -_:b17 255 +_:b16
257 - sp:varName "md"^^xsd:string . 256 + sp:varName "normalizedWellBoreName"^^xsd:string .
258 257
259 -_:b18 258 +_:b15
260 - sp:varName "temporalPartOfAWellBore"^^xsd:string . 259 + sp:varName "partActivity"^^xsd:string .
261 260
262 -_:b19 261 +_:b14
263 - sp:varName "nameWellBore"^^xsd:string . 262 + sp:varName "dTimStartPart"^^xsd:string .
264 263
265 -_:b20 264 +_:b13
265 + sp:varName "index"^^xsd:string .
266 +
267 +_:b12
266 sp:varName "activity"^^xsd:string . 268 sp:varName "activity"^^xsd:string .
267 269
268 -_:b21 270 +_:b11
269 - sp:varName "index"^^xsd:string . 271 + sp:varName "nameWellBore"^^xsd:string .
270 272
271 -_:b22 273 +_:b10
272 - sp:varName "dTimStartPart"^^xsd:string . 274 + sp:varName "temporalPartOfAWellBore"^^xsd:string .
273 275
274 -_:b23 276 +_:b9 sp:varName "tvd"^^xsd:string .
275 - sp:varName "partActivity"^^xsd:string .
276 277
277 _:b24 278 _:b24
278 sp:varName "normalizedWellBoreName"^^xsd:string . 279 sp:varName "normalizedWellBoreName"^^xsd:string .
279 280
280 -_:b9 sp:varName "tvd"^^xsd:string . 281 +_:b23
282 + sp:varName "partActivity"^^xsd:string .
281 283
282 -_:b10 284 +_:b22
283 - sp:varName "temporalPartOfAWellBore"^^xsd:string . 285 + sp:varName "dTimStartPart"^^xsd:string .
284 286
285 -_:b11 287 +_:b21
286 - sp:varName "nameWellBore"^^xsd:string . 288 + sp:varName "index"^^xsd:string .
287 289
288 -_:b12 290 +_:b20
289 sp:varName "activity"^^xsd:string . 291 sp:varName "activity"^^xsd:string .
290 292
291 -_:b13 293 +_:b19
292 - sp:varName "index"^^xsd:string . 294 + sp:varName "nameWellBore"^^xsd:string .
293 295
294 -_:b14 296 +_:b18
295 - sp:varName "dTimStartPart"^^xsd:string . 297 + sp:varName "temporalPartOfAWellBore"^^xsd:string .
296 298
297 -_:b15 299 +_:b17
298 - sp:varName "partActivity"^^xsd:string . 300 + sp:varName "md"^^xsd:string .
299 301
300 -_:b16 302 +_:b35
301 sp:varName "normalizedWellBoreName"^^xsd:string . 303 sp:varName "normalizedWellBoreName"^^xsd:string .
302 304
303 -_:b25 305 +_:b34
304 - sp:varName "partActivity"^^xsd:string . 306 + sp:varName "index"^^xsd:string .
305 -
306 -_:b26
307 - sp:varName "dailyDrillingActivity"^^xsd:string .
308 307
309 -_:b27 308 +_:b33
310 - sp:varName "dTimStartPart"^^xsd:string . 309 + sp:varName "activity"^^xsd:string .
311 310
312 -_:b28 311 +_:b32
313 - sp:varName "dTimEndPart"^^xsd:string . 312 + sp:varName "dTimStart"^^xsd:string .
314 313
315 -_:b29 314 +_:b31
316 - sp:varName "temporalPartOfAWellBore"^^xsd:string . 315 + sp:varName "nameWellBore"^^xsd:string .
317 316
318 _:b30 317 _:b30
319 sp:varName "wellBore"^^xsd:string . 318 sp:varName "wellBore"^^xsd:string .
320 319
321 -_:b31 320 +_:b29
322 - sp:varName "nameWellBore"^^xsd:string . 321 + sp:varName "temporalPartOfAWellBore"^^xsd:string .
323 322
324 -_:b32 323 +_:b28
325 - sp:varName "dTimStart"^^xsd:string . 324 + sp:varName "dTimEndPart"^^xsd:string .
326 325
327 -_:b33 326 +_:b27
328 - sp:varName "activity"^^xsd:string . 327 + sp:varName "dTimStartPart"^^xsd:string .
329 328
330 -_:b34 329 +_:b26
331 - sp:varName "index"^^xsd:string . 330 + sp:varName "dailyDrillingActivity"^^xsd:string .
332 331
333 -_:b35 332 +_:b25
334 - sp:varName "normalizedWellBoreName"^^xsd:string . 333 + sp:varName "partActivity"^^xsd:string .
......
1 -# Saved by TopBraid on Mon Aug 08 14:39:37 BST 2011 1 +# Saved by TopBraid on Tue Aug 09 15:44:24 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#> .
......
1 -# Saved by TopBraid on Mon Aug 08 17:06:00 BST 2011 1 +# Saved by TopBraid on Tue Aug 09 15:10:29 BST 2011
2 # baseURI: http://www.reportinghub.no/ep/transform/1.1/normalization 2 # baseURI: http://www.reportinghub.no/ep/transform/1.1/normalization
3 # imports: http://www.reportinghub.no/ep/transform/1.1/ddr/activity 3 # imports: http://www.reportinghub.no/ep/transform/1.1/ddr/activity
4 -# imports: http://www.reportinghub.no/ep/schema/1.1/activity
5 # imports: http://www.reportinghub.no/ep/transform/1.1/ddr/drillReport 4 # imports: http://www.reportinghub.no/ep/transform/1.1/ddr/drillReport
6 # imports: http://www.reportinghub.no/ep/transform/1.1/ddr/statusInfo 5 # imports: http://www.reportinghub.no/ep/transform/1.1/ddr/statusInfo
7 # imports: http://spinrdf.org/spin 6 # imports: http://spinrdf.org/spin
...@@ -20,7 +19,7 @@ ...@@ -20,7 +19,7 @@
20 19
21 <http://www.reportinghub.no/ep/transform/1.1/normalization> 20 <http://www.reportinghub.no/ep/transform/1.1/normalization>
22 rdf:type owl:Ontology ; 21 rdf:type owl:Ontology ;
23 - owl:imports <http://www.reportinghub.no/ep/transform/1.1/ddr/activity> , <http://www.reportinghub.no/ep/transform/1.1/ddr/statusInfo> , <http://spinrdf.org/spin> , <http://www.reportinghub.no/ep/transform/1.1/ddr/drillReport> , <http://www.reportinghub.no/ep/schema/1.1/activity> ; 22 + owl:imports <http://www.reportinghub.no/ep/transform/1.1/ddr/drillReport> , <http://spinrdf.org/spin> , <http://www.reportinghub.no/ep/transform/1.1/ddr/statusInfo> , <http://www.reportinghub.no/ep/transform/1.1/ddr/activity> ;
24 owl:versionInfo "Created with TopBraid Composer"^^xsd:string . 23 owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
25 24
26 owl:Thing 25 owl:Thing
......
1 -# Saved by TopBraid on Mon Aug 08 17:06:00 BST 2011 1 +# Saved by TopBraid on Tue Aug 09 15:10:29 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#> .
......
1 -# Saved by TopBraid on Mon Aug 08 14:39:30 BST 2011 1 +# Saved by TopBraid on Tue Aug 09 14:36:52 BST 2011
2 # baseURI: http://www.reportinghub.no/iso15926/bindEP-NativeOWL 2 # baseURI: http://www.reportinghub.no/iso15926/bindEP-NativeOWL
3 # imports: http://www.reportinghub.no/ep/schema/1.1.1/ddr 3 # imports: http://www.reportinghub.no/ep/schema/1.1.1/ddr
4 # imports: http://www.reportinghub.no/ep/schema/1.1/activity 4 # imports: http://www.reportinghub.no/ep/schema/1.1/activity
...@@ -18,9 +18,6 @@ ...@@ -18,9 +18,6 @@
18 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . 18 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
19 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . 19 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
20 20
21 -<http://www.reportinghub.no/ep/schema/well#AllOrPartOfTheLifeOfAWellBore>
22 - rdfs:subClassOf iso15926:PossibleIndividual .
23 -
24 <http://www.reportinghub.no/iso15926/bindEP-NativeOWL> 21 <http://www.reportinghub.no/iso15926/bindEP-NativeOWL>
25 rdf:type owl:Ontology ; 22 rdf:type owl:Ontology ;
26 owl:imports <http://purl.org/dc/elements/1.1/> , <http://www.reportinghub.no/ep/schema/1.1.1/ddr> , <http://www.w3.org/2004/02/skos/core> , <http://purl.org/dc/terms/> , <http://www.reportinghub.no/ep/schema/equipment> , <http://www.reportinghub.no/ep/schema/well> , <http://www.reportinghub.no/ep/schema/report> , <http://www.reportinghub.no/iso15926/nativeOWL> , <http://www.reportinghub.no/ep/schema/1.1/activity> ; 23 owl:imports <http://purl.org/dc/elements/1.1/> , <http://www.reportinghub.no/ep/schema/1.1.1/ddr> , <http://www.w3.org/2004/02/skos/core> , <http://purl.org/dc/terms/> , <http://www.reportinghub.no/ep/schema/equipment> , <http://www.reportinghub.no/ep/schema/well> , <http://www.reportinghub.no/ep/schema/report> , <http://www.reportinghub.no/iso15926/nativeOWL> , <http://www.reportinghub.no/ep/schema/1.1/activity> ;
......
1 -# Saved by TopBraid on Fri Aug 05 15:03:26 BST 2011 1 +# Saved by TopBraid on Tue Aug 09 15:00:49 BST 2011
2 # baseURI: http://www.reportinghub.no/iso15926/nativeOWL 2 # baseURI: http://www.reportinghub.no/iso15926/nativeOWL
3 # imports: http://purl.org/dc/elements/1.1/ 3 # imports: http://purl.org/dc/elements/1.1/
4 # imports: http://www.w3.org/2004/02/skos/core 4 # imports: http://www.w3.org/2004/02/skos/core
5 +# imports: http://www.reportinghub.no/ep/schema/1.1/core
5 # imports: http://purl.org/dc/terms/ 6 # imports: http://purl.org/dc/terms/
6 7
7 @prefix : <http://www.reportinghub.no/iso15926/nativeOWL#> . 8 @prefix : <http://www.reportinghub.no/iso15926/nativeOWL#> .
...@@ -10,48 +11,48 @@ ...@@ -10,48 +11,48 @@
10 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . 11 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
11 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . 12 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
12 13
13 -<http://www.reportinghub.no/iso15926/nativeOWL> 14 +<http://www.reportinghub.no/ep/schema/core#hasPart>
14 - rdf:type owl:Ontology ;
15 - owl:imports <http://purl.org/dc/elements/1.1/> , <http://purl.org/dc/terms/> , <http://www.w3.org/2004/02/skos/core> ;
16 - owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
17 -
18 -:Activity
19 - rdf:type owl:Class ;
20 - rdfs:label "activity"^^xsd:string ;
21 - rdfs:subClassOf :PossibleIndividual .
22 -
23 -:PossibleIndividual
24 - rdf:type owl:Class ;
25 - rdfs:comment "something that exists or could exist in the universe"^^xsd:string ;
26 - rdfs:label "possible individual"^^xsd:string ;
27 - rdfs:subClassOf owl:Thing .
28 -
29 -:hasPart
30 rdf:type owl:TransitiveProperty ; 15 rdf:type owl:TransitiveProperty ;
31 rdfs:domain :PossibleIndividual ; 16 rdfs:domain :PossibleIndividual ;
32 rdfs:label "has part"^^xsd:string ; 17 rdfs:label "has part"^^xsd:string ;
33 rdfs:range :PossibleIndividual ; 18 rdfs:range :PossibleIndividual ;
34 - owl:inverseOf :partOf . 19 + owl:inverseOf <http://www.reportinghub.no/ep/schema/core#partOf> .
35 20
36 -:hasTemporalPart 21 +<http://www.reportinghub.no/ep/schema/core#hasTemporalPart>
37 rdf:type owl:TransitiveProperty ; 22 rdf:type owl:TransitiveProperty ;
38 rdfs:domain :PossibleIndividual ; 23 rdfs:domain :PossibleIndividual ;
39 rdfs:label "has temporal part"^^xsd:string ; 24 rdfs:label "has temporal part"^^xsd:string ;
40 rdfs:range :PossibleIndividual ; 25 rdfs:range :PossibleIndividual ;
41 - rdfs:subPropertyOf :hasPart ; 26 + rdfs:subPropertyOf <http://www.reportinghub.no/ep/schema/core#hasPart> ;
42 - owl:inverseOf :temporalPartOf . 27 + owl:inverseOf <http://www.reportinghub.no/ep/schema/core#temporalPartOf> .
43 28
44 -:partOf 29 +<http://www.reportinghub.no/ep/schema/core#partOf>
45 rdf:type owl:ObjectProperty , owl:TransitiveProperty ; 30 rdf:type owl:ObjectProperty , owl:TransitiveProperty ;
46 rdfs:domain :PossibleIndividual ; 31 rdfs:domain :PossibleIndividual ;
47 rdfs:label "part of"^^xsd:string ; 32 rdfs:label "part of"^^xsd:string ;
48 rdfs:range :PossibleIndividual ; 33 rdfs:range :PossibleIndividual ;
49 - owl:inverseOf :hasPart . 34 + owl:inverseOf <http://www.reportinghub.no/ep/schema/core#hasPart> .
50 35
51 -:temporalPartOf 36 +<http://www.reportinghub.no/ep/schema/core#temporalPartOf>
52 rdf:type owl:ObjectProperty , owl:TransitiveProperty ; 37 rdf:type owl:ObjectProperty , owl:TransitiveProperty ;
53 rdfs:domain :PossibleIndividual ; 38 rdfs:domain :PossibleIndividual ;
54 rdfs:label "temporal part of"^^xsd:string ; 39 rdfs:label "temporal part of"^^xsd:string ;
55 rdfs:range :PossibleIndividual ; 40 rdfs:range :PossibleIndividual ;
56 - rdfs:subPropertyOf :partOf ; 41 + rdfs:subPropertyOf <http://www.reportinghub.no/ep/schema/core#partOf> ;
57 - owl:inverseOf :hasTemporalPart . 42 + owl:inverseOf <http://www.reportinghub.no/ep/schema/core#hasTemporalPart> .
43 +
44 +<http://www.reportinghub.no/iso15926/nativeOWL>
45 + rdf:type owl:Ontology ;
46 + owl:imports <http://www.reportinghub.no/ep/schema/1.1/core> , <http://www.w3.org/2004/02/skos/core> , <http://purl.org/dc/terms/> , <http://purl.org/dc/elements/1.1/> ;
47 + owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
48 +
49 +:Activity
50 + rdf:type owl:Class ;
51 + rdfs:label "activity"^^xsd:string ;
52 + rdfs:subClassOf :PossibleIndividual .
53 +
54 +:PossibleIndividual
55 + rdf:type owl:Class ;
56 + rdfs:comment "something that exists or could exist in the universe"^^xsd:string ;
57 + rdfs:label "possible individual"^^xsd:string ;
58 + rdfs:subClassOf owl:Thing .
......
1 -# Saved by TopBraid on Thu Aug 04 09:37:09 BST 2011 1 +# Saved by TopBraid on Tue Aug 09 14:48:52 BST 2011
2 # baseURI: http://www.reportinghub.no/1.1/schema/NPD-to-15926 2 # baseURI: http://www.reportinghub.no/1.1/schema/NPD-to-15926
3 # imports: http://topbraid.org/spin/spinmapl 3 # imports: http://topbraid.org/spin/spinmapl
4 -# imports: http://spinrdf.org/spin
5 # imports: http://www.reportinghub.no/1.1/schema/npd 4 # imports: http://www.reportinghub.no/1.1/schema/npd
5 +# imports: http://spinrdf.org/spin
6 # imports: http://rds.posccaesar.org/2008/06/OWL/RDL 6 # imports: http://rds.posccaesar.org/2008/06/OWL/RDL
7 7
8 @prefix afn: <http://jena.hpl.hp.com/ARQ/function#> . 8 @prefix afn: <http://jena.hpl.hp.com/ARQ/function#> .
...@@ -22,7 +22,7 @@ ...@@ -22,7 +22,7 @@
22 22
23 <http://www.reportinghub.no/1.1/schema/NPD-to-15926> 23 <http://www.reportinghub.no/1.1/schema/NPD-to-15926>
24 rdf:type owl:Ontology ; 24 rdf:type owl:Ontology ;
25 - owl:imports <http://rds.posccaesar.org/2008/06/OWL/RDL> , <http://www.reportinghub.no/1.1/schema/npd> , <http://topbraid.org/spin/spinmapl> , <http://spinrdf.org/spin> ; 25 + owl:imports <http://spinrdf.org/spin> , <http://topbraid.org/spin/spinmapl> , <http://www.reportinghub.no/1.1/schema/npd> , <http://rds.posccaesar.org/2008/06/OWL/RDL> ;
26 owl:versionInfo "Created with TopBraid Composer"^^xsd:string . 26 owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
27 27
28 npdMap:ClassifyArrangedIndividual 28 npdMap:ClassifyArrangedIndividual
...@@ -227,13 +227,7 @@ npdMap:Licence_1 ...@@ -227,13 +227,7 @@ npdMap:Licence_1
227 rdf:type npd:Licence ; 227 rdf:type npd:Licence ;
228 npd:id "ABC123"^^xsd:string . 228 npd:id "ABC123"^^xsd:string .
229 229
230 -npd:NpdIndividual 230 +<http://www.reportinghub.no/ep/schema/well#WellBore>
231 - spin:rule
232 - [ rdf:type npdMap:CreateIndividualWithNPDID ;
233 - sp:arg1 "\"Individual\""^^xsd:string
234 - ] .
235 -
236 -npd:WellBore
237 spin:rule 231 spin:rule
238 [ rdf:type sp:Construct ; 232 [ rdf:type sp:Construct ;
239 rdfs:comment """This rule creates the WellBore and Well and joins them up using a composition relationship (dm:ArrangementOfIndividual) 233 rdfs:comment """This rule creates the WellBore and Well and joins them up using a composition relationship (dm:ArrangementOfIndividual)
...@@ -296,6 +290,12 @@ Note that because it uses the same URI production rule as other functions, we do ...@@ -296,6 +290,12 @@ Note that because it uses the same URI production rule as other functions, we do
296 [ rdf:type npdMap:ClassifyArrangedIndividual 290 [ rdf:type npdMap:ClassifyArrangedIndividual
297 ] . 291 ] .
298 292
293 +npd:NpdIndividual
294 + spin:rule
295 + [ rdf:type npdMap:CreateIndividualWithNPDID ;
296 + sp:arg1 "\"Individual\""^^xsd:string
297 + ] .
298 +
299 npd:WellBore_1 299 npd:WellBore_1
300 npd:drilledInProductionLicence 300 npd:drilledInProductionLicence
301 npdMap:Licence_1 . 301 npdMap:Licence_1 .
...@@ -303,7 +303,7 @@ npd:WellBore_1 ...@@ -303,7 +303,7 @@ npd:WellBore_1
303 npd:wellDiskosType 303 npd:wellDiskosType
304 rdf:type owl:DatatypeProperty ; 304 rdf:type owl:DatatypeProperty ;
305 rdfs:comment "Corresponds to DISKOS Type field in WellBore tables"^^xsd:string ; 305 rdfs:comment "Corresponds to DISKOS Type field in WellBore tables"^^xsd:string ;
306 - rdfs:domain npd:Well ; 306 + rdfs:domain <http://www.reportinghub.no/ep/schema/well#Well> ;
307 rdfs:range xsd:string . 307 rdfs:range xsd:string .
308 308
309 _:b13 309 _:b13
......
1 -# baseURI: null 1 +# Saved by TopBraid on Tue Aug 09 15:37:11 BST 2011
2 - 2 +# baseURI: null
3 -@prefix composite: <http://www.topbraid.org/2007/05/composite.owl#> . 3 +
4 -@prefix forms: <http://www.topbraid.org/2007/01/forms.owl#> . 4 +@prefix composite: <http://www.topbraid.org/2007/05/composite.owl#> .
5 -@prefix inference: <http://www.topbraid.org/2007/06/inference.owl#> . 5 +@prefix forms: <http://www.topbraid.org/2007/01/forms.owl#> .
6 -@prefix owl: <http://www.w3.org/2002/07/owl#> . 6 +@prefix inference: <http://www.topbraid.org/2007/06/inference.owl#> .
7 -@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . 7 +@prefix owl: <http://www.w3.org/2002/07/owl#> .
8 -@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . 8 +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
9 -@prefix visual: <http://topbraid.org/visual#> . 9 +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
10 -@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . 10 +@prefix visual: <http://topbraid.org/visual#> .
11 - 11 +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
12 -[] rdf:type inference:Configuration ; 12 +
13 - composite:child 13 +[] rdf:type inference:Configuration ;
14 - [ rdf:type <http://spinrdf.org/spin#TopSPIN> ; 14 + composite:child
15 - composite:index "0"^^xsd:int 15 + [ rdf:type <http://spinrdf.org/spin#TopSPIN> ;
16 - ] . 16 + composite:index "0"^^xsd:int
17 + ] .
......
This diff could not be displayed because it is too large.
1 -# baseURI: null 1 +# Saved by TopBraid on Tue Aug 09 15:36:54 BST 2011
2 - 2 +# baseURI: null
3 -@prefix composite: <http://www.topbraid.org/2007/05/composite.owl#> . 3 +
4 -@prefix forms: <http://www.topbraid.org/2007/01/forms.owl#> . 4 +@prefix composite: <http://www.topbraid.org/2007/05/composite.owl#> .
5 -@prefix inference: <http://www.topbraid.org/2007/06/inference.owl#> . 5 +@prefix forms: <http://www.topbraid.org/2007/01/forms.owl#> .
6 -@prefix owl: <http://www.w3.org/2002/07/owl#> . 6 +@prefix inference: <http://www.topbraid.org/2007/06/inference.owl#> .
7 -@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . 7 +@prefix owl: <http://www.w3.org/2002/07/owl#> .
8 -@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . 8 +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
9 -@prefix visual: <http://topbraid.org/visual#> . 9 +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
10 -@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . 10 +@prefix visual: <http://topbraid.org/visual#> .
11 - 11 +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
12 -[] rdf:type inference:Configuration ; 12 +
13 - composite:child 13 +[] rdf:type inference:Configuration ;
14 - [ rdf:type <http://spinrdf.org/spin#TopSPIN> ; 14 + composite:child
15 - composite:index "1"^^xsd:int 15 + [ rdf:type <http://spinrdf.org/spin#TopSPIN> ;
16 - ] ; 16 + composite:index "0"^^xsd:int
17 - composite:child 17 + ] ;
18 - [ rdf:type <http://spinrdf.org/spin#TopSPIN> ; 18 + composite:child
19 - composite:index "0"^^xsd:int 19 + [ rdf:type <http://spinrdf.org/spin#TopSPIN> ;
20 - ] ; 20 + composite:index "1"^^xsd:int
21 - inference:completeMode 21 + ] ;
22 - "true"^^xsd:boolean ; 22 + inference:completeMode
23 - inference:inferredMode 23 + "true"^^xsd:boolean ;
24 - "true"^^xsd:boolean . 24 + inference:inferredMode
25 + "true"^^xsd:boolean .
......