Showing
8 changed files
with
228 additions
and
193 deletions
| 1 | -# baseURI: http://www.reportinghub.no/ep/schema/1.0/core | 1 | +# Saved by TopBraid on Wed Aug 10 10:37:51 BST 2011 |
| 2 | -# imports: http://www.linkedmodel.org/1.2/schema/vaem | 2 | +# baseURI: http://www.reportinghub.no/ep/schema/1.0/core |
| 3 | - | 3 | +# imports: http://www.linkedmodel.org/1.2/schema/vaem |
| 4 | -@prefix bindEP-NativeOWL: <http://www.reportinghub.no/iso15926/bindEP-NativeOWL#> . | 4 | + |
| 5 | -@prefix ep-core: <http://www.reportinghub.no/ep/schema/core#> . | 5 | +@prefix bindEP-NativeOWL: <http://www.reportinghub.no/iso15926/bindEP-NativeOWL#> . |
| 6 | -@prefix owl: <http://www.w3.org/2002/07/owl#> . | 6 | +@prefix ep-core: <http://www.reportinghub.no/ep/schema/core#> . |
| 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 xsd: <http://www.w3.org/2001/XMLSchema#> . | 9 | +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . |
| 10 | - | 10 | +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . |
| 11 | -<http://www.reportinghub.no/ep/schema/1.0/core> | 11 | + |
| 12 | - rdf:type owl:Ontology ; | 12 | +<http://www.reportinghub.no/ep/schema/1.0/core> |
| 13 | - owl:imports <http://www.linkedmodel.org/1.2/schema/vaem> ; | 13 | + rdf:type owl:Ontology ; |
| 14 | - owl:versionInfo "0.1.0"^^xsd:string . | 14 | + owl:imports <http://www.linkedmodel.org/1.2/schema/vaem> ; |
| 15 | - | 15 | + owl:versionInfo "0.1.0"^^xsd:string . |
| 16 | -ep-core:PhysicalObject | 16 | + |
| 17 | - rdf:type owl:Class ; | 17 | +ep-core:PhysicalObject |
| 18 | - rdfs:label "physical object"^^xsd:string ; | 18 | + rdf:type owl:Class ; |
| 19 | - rdfs:subClassOf ep-core:PhysicalThing . | 19 | + rdfs:label "physical object"^^xsd:string ; |
| 20 | - | 20 | + rdfs:subClassOf ep-core:PhysicalThing . |
| 21 | -ep-core:PhysicalThing | 21 | + |
| 22 | - rdf:type owl:Class ; | 22 | +ep-core:PhysicalThing |
| 23 | - rdfs:label "physical thing"^^xsd:string ; | 23 | + rdf:type owl:Class ; |
| 24 | - rdfs:subClassOf owl:Thing . | 24 | + rdfs:label "physical thing"^^xsd:string ; |
| 25 | - | 25 | + rdfs:subClassOf owl:Thing . |
| 26 | -ep-core:basisFor | 26 | + |
| 27 | - rdf:type owl:ObjectProperty ; | 27 | +ep-core:apiName |
| 28 | - rdfs:label "basis for"^^xsd:string . | 28 | + rdf:type owl:DatatypeProperty , owl:FunctionalProperty ; |
| 29 | - | 29 | + rdfs:label "API name"^^xsd:string ; |
| 30 | -ep-core:derivedFrom | 30 | + rdfs:range xsd:string ; |
| 31 | - rdf:type owl:TransitiveProperty , owl:ObjectProperty ; | 31 | + rdfs:subPropertyOf ep-core:name . |
| 32 | - rdfs:label "derived from"^^xsd:string . | 32 | + |
| 33 | - | 33 | +ep-core:basisFor |
| 34 | -ep-core:hasPart | 34 | + rdf:type owl:ObjectProperty ; |
| 35 | - rdf:type owl:TransitiveProperty ; | 35 | + rdfs:label "basis for"^^xsd:string . |
| 36 | - rdfs:domain ep-core:PhysicalThing ; | 36 | + |
| 37 | - rdfs:label "has part"^^xsd:string ; | 37 | +ep-core:derivedFrom |
| 38 | - rdfs:range ep-core:PhysicalThing ; | 38 | + rdf:type owl:ObjectProperty , owl:TransitiveProperty ; |
| 39 | - owl:inverseOf ep-core:partOf . | 39 | + rdfs:label "derived from"^^xsd:string . |
| 40 | - | 40 | + |
| 41 | -ep-core:hasTemporalPart | 41 | +ep-core:dtiName |
| 42 | - rdf:type owl:TransitiveProperty ; | 42 | + rdf:type owl:FunctionalProperty , owl:DatatypeProperty ; |
| 43 | - rdfs:domain ep-core:PhysicalThing ; | 43 | + rdfs:label "DTI name"^^xsd:string ; |
| 44 | - rdfs:label "has temporal part"^^xsd:string ; | 44 | + rdfs:range xsd:string ; |
| 45 | - rdfs:range ep-core:PhysicalThing ; | 45 | + rdfs:subPropertyOf ep-core:name . |
| 46 | - rdfs:subPropertyOf ep-core:hasPart ; | 46 | + |
| 47 | - owl:inverseOf ep-core:partOf . | 47 | +ep-core:hasPart |
| 48 | - | 48 | + rdf:type owl:TransitiveProperty ; |
| 49 | -ep-core:name | 49 | + rdfs:domain ep-core:PhysicalThing ; |
| 50 | - rdf:type owl:DatatypeProperty ; | 50 | + rdfs:label "has part"^^xsd:string ; |
| 51 | - rdfs:label "name"^^xsd:string ; | 51 | + rdfs:range ep-core:PhysicalThing ; |
| 52 | - rdfs:range xsd:string . | 52 | + owl:inverseOf ep-core:partOf . |
| 53 | - | 53 | + |
| 54 | -ep-core:partOf | 54 | +ep-core:hasTemporalPart |
| 55 | - rdf:type owl:TransitiveProperty ; | 55 | + rdf:type owl:TransitiveProperty ; |
| 56 | - rdfs:domain ep-core:PhysicalThing ; | 56 | + rdfs:domain ep-core:PhysicalThing ; |
| 57 | - rdfs:label "part of"^^xsd:string ; | 57 | + rdfs:label "has temporal part"^^xsd:string ; |
| 58 | - rdfs:range ep-core:PhysicalThing ; | 58 | + rdfs:range ep-core:PhysicalThing ; |
| 59 | - owl:inverseOf ep-core:hasPart . | 59 | + rdfs:subPropertyOf ep-core:hasPart ; |
| 60 | - | 60 | + owl:inverseOf ep-core:partOf . |
| 61 | -ep-core:temporalPartOf | 61 | + |
| 62 | - rdf:type owl:TransitiveProperty ; | 62 | +ep-core:localFieldName |
| 63 | - rdfs:domain ep-core:PhysicalThing ; | 63 | + rdf:type owl:DatatypeProperty , owl:FunctionalProperty ; |
| 64 | - rdfs:label "temporal part of"^^xsd:string ; | 64 | + rdfs:label "local field name"^^xsd:string ; |
| 65 | - rdfs:range ep-core:PhysicalThing ; | 65 | + rdfs:range xsd:string ; |
| 66 | - rdfs:subPropertyOf ep-core:hasPart ; | 66 | + rdfs:subPropertyOf ep-core:name . |
| 67 | - owl:inverseOf ep-core:hasTemporalPart . | 67 | + |
| 68 | +ep-core:name | ||
| 69 | + rdf:type owl:DatatypeProperty ; | ||
| 70 | + rdfs:label "name"^^xsd:string ; | ||
| 71 | + rdfs:range xsd:string . | ||
| 72 | + | ||
| 73 | +ep-core:npdCode | ||
| 74 | + rdf:type owl:DatatypeProperty , owl:FunctionalProperty ; | ||
| 75 | + rdfs:label "NPD code"^^xsd:string ; | ||
| 76 | + rdfs:range xsd:string ; | ||
| 77 | + rdfs:subPropertyOf ep-core:name . | ||
| 78 | + | ||
| 79 | +ep-core:npdNumber | ||
| 80 | + rdf:type owl:FunctionalProperty , owl:DatatypeProperty ; | ||
| 81 | + rdfs:label "NPD number"^^xsd:string ; | ||
| 82 | + rdfs:range xsd:string ; | ||
| 83 | + rdfs:subPropertyOf ep-core:name . | ||
| 84 | + | ||
| 85 | +ep-core:partOf | ||
| 86 | + rdf:type owl:TransitiveProperty ; | ||
| 87 | + rdfs:domain ep-core:PhysicalThing ; | ||
| 88 | + rdfs:label "part of"^^xsd:string ; | ||
| 89 | + rdfs:range ep-core:PhysicalThing ; | ||
| 90 | + owl:inverseOf ep-core:hasPart . | ||
| 91 | + | ||
| 92 | +ep-core:prospectName | ||
| 93 | + rdf:type owl:DatatypeProperty , owl:FunctionalProperty ; | ||
| 94 | + rdfs:label "prospect name"^^xsd:string ; | ||
| 95 | + rdfs:range xsd:string ; | ||
| 96 | + rdfs:subPropertyOf ep-core:name . | ||
| 97 | + | ||
| 98 | +ep-core:temporalPartOf | ||
| 99 | + rdf:type owl:TransitiveProperty ; | ||
| 100 | + rdfs:domain ep-core:PhysicalThing ; | ||
| 101 | + rdfs:label "temporal part of"^^xsd:string ; | ||
| 102 | + rdfs:range ep-core:PhysicalThing ; | ||
| 103 | + rdfs:subPropertyOf ep-core:hasPart ; | ||
| 104 | + owl:inverseOf ep-core:hasTemporalPart . | ... | ... |
This diff is collapsed. Click to expand it.
This diff could not be displayed because it is too large.
| 1 | -# baseURI: null | 1 | +# Saved by TopBraid on Wed Aug 10 10:38:00 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 is collapsed. Click to expand it.
| 1 | -# baseURI: null | 1 | +# Saved by TopBraid on Wed Aug 10 11:13:52 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 | - <http://spinrdf.org/spin#topSPINOptions> | 15 | + [ rdf:type <http://spinrdf.org/spin#TopSPIN> ; |
| 16 | - "singlePass" ; | 16 | + <http://spinrdf.org/spin#topSPINOptions> |
| 17 | - composite:index "0"^^xsd:int | 17 | + "singlePass" ; |
| 18 | - ] . | 18 | + composite:index "0"^^xsd:int |
| 19 | + ] . | ... | ... |
| 1 | -# baseURI: http://www.reportinghub.no/ep/transform/1.1/normalization | 1 | +# Saved by TopBraid on Wed Aug 10 11:35:30 BST 2011 |
| 2 | -# imports: http://spinrdf.org/spin | 2 | +# baseURI: http://www.reportinghub.no/ep/transform/1.1/normalization |
| 3 | -# imports: http://www.reportinghub.no/ep/schema/1.0/activity | 3 | +# imports: http://www.reportinghub.no/ep/transform/1.1/ddr/activity |
| 4 | -# imports: http://www.reportinghub.no/ep/schema/1.0/activity-purpose | 4 | +# imports: http://www.reportinghub.no/ep/transform/1.1/wellAndWellBoreAlias |
| 5 | -# imports: http://www.reportinghub.no/ep/schema/1.0/core | 5 | +# imports: http://www.reportinghub.no/ep/transform/1.1/ddr/drillReport |
| 6 | -# imports: http://www.reportinghub.no/ep/schema/1.0/ddr | 6 | +# imports: http://www.reportinghub.no/ep/transform/1.1/ddr/statusInfo |
| 7 | -# imports: http://www.reportinghub.no/ep/schema/1.0/equipment | 7 | + |
| 8 | -# imports: http://www.reportinghub.no/ep/schema/1.0/report | 8 | +@prefix : <http://www.reportinghub.no/ep/transform/1.1/normalization#> . |
| 9 | -# imports: http://www.reportinghub.no/ep/schema/1.0/well | 9 | +@prefix fn: <http://www.w3.org/2005/xpath-functions#> . |
| 10 | -# imports: http://www.reportinghub.no/ep/transform/1.1/ddr/activity | 10 | +@prefix owl: <http://www.w3.org/2002/07/owl#> . |
| 11 | -# imports: http://www.reportinghub.no/ep/transform/1.1/ddr/drillReport | 11 | +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . |
| 12 | -# imports: http://www.reportinghub.no/ep/transform/1.1/ddr/statusInfo | 12 | +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . |
| 13 | - | 13 | +@prefix smf: <http://topbraid.org/sparqlmotionfunctions#> . |
| 14 | -@prefix : <http://www.reportinghub.no/ep/transform/1.1/normalization#> . | 14 | +@prefix sp: <http://spinrdf.org/sp#> . |
| 15 | -@prefix fn: <http://www.w3.org/2005/xpath-functions#> . | 15 | +@prefix spin: <http://spinrdf.org/spin#> . |
| 16 | -@prefix owl: <http://www.w3.org/2002/07/owl#> . | 16 | +@prefix spl: <http://spinrdf.org/spl#> . |
| 17 | -@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . | 17 | +@prefix wellAndWellBoreAlias: <http://www.reportinghub.no/ep/transform/1.1/wellAndWellBoreAlias#> . |
| 18 | -@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . | 18 | +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . |
| 19 | -@prefix smf: <http://topbraid.org/sparqlmotionfunctions#> . | 19 | + |
| 20 | -@prefix sp: <http://spinrdf.org/sp#> . | 20 | +<http://www.reportinghub.no/ep/transform/1.1/normalization> |
| 21 | -@prefix spin: <http://spinrdf.org/spin#> . | 21 | + rdf:type owl:Ontology ; |
| 22 | -@prefix spl: <http://spinrdf.org/spl#> . | 22 | + owl:imports <http://www.reportinghub.no/ep/transform/1.1/wellAndWellBoreAlias> , <http://www.reportinghub.no/ep/transform/1.1/ddr/drillReport> , <http://www.reportinghub.no/ep/transform/1.1/ddr/activity> , <http://www.reportinghub.no/ep/transform/1.1/ddr/statusInfo> ; |
| 23 | -@prefix xsd: <http://www.w3.org/2001/XMLSchema#> . | 23 | + owl:versionInfo "Created with TopBraid Composer"^^xsd:string . |
| 24 | - | 24 | + |
| 25 | -<http://www.reportinghub.no/ep/transform/1.1/normalization> | 25 | +owl:Thing |
| 26 | - rdf:type owl:Ontology ; | 26 | + spin:update |
| 27 | - owl:imports <http://www.reportinghub.no/ep/transform/1.1/ddr/statusInfo> , <http://spinrdf.org/spin> , <http://www.reportinghub.no/ep/schema/1.0/report> , <http://www.reportinghub.no/ep/schema/1.0/core> , <http://www.reportinghub.no/ep/schema/1.0/equipment> , <http://www.reportinghub.no/ep/transform/1.1/ddr/activity> , <http://www.reportinghub.no/ep/schema/1.0/activity> , <http://www.reportinghub.no/ep/schema/1.0/well> , <http://www.reportinghub.no/ep/schema/1.0/activity-purpose> , <http://www.reportinghub.no/ep/transform/1.1/ddr/drillReport> , <http://www.reportinghub.no/ep/schema/1.0/ddr> ; | 27 | + [ rdf:type sp:Modify ; |
| 28 | - owl:versionInfo "Created with TopBraid Composer"^^xsd:string . | 28 | + sp:deletePattern ([ sp:object _:b1 ; |
| 29 | - | 29 | + sp:predicate rdfs:label ; |
| 30 | -owl:Thing | 30 | + sp:subject _:b2 |
| 31 | - spin:update | 31 | + ]) ; |
| 32 | - [ rdf:type sp:Modify ; | 32 | + sp:insertPattern ([ sp:object _:b3 ; |
| 33 | - sp:deletePattern ([ sp:object _:b1 ; | 33 | + sp:predicate rdfs:label ; |
| 34 | - sp:predicate rdfs:label ; | 34 | + sp:subject _:b2 |
| 35 | - sp:subject _:b2 | 35 | + ]) ; |
| 36 | - ]) ; | 36 | + sp:where ([ sp:object _:b2 ; |
| 37 | - sp:insertPattern ([ sp:object _:b3 ; | 37 | + sp:predicate owl:onProperty ; |
| 38 | - sp:predicate rdfs:label ; | 38 | + sp:subject |
| 39 | - sp:subject _:b2 | 39 | + [ sp:varName "r"^^xsd:string |
| 40 | - ]) ; | 40 | + ] |
| 41 | - sp:where ([ sp:object _:b2 ; | 41 | + ] [ sp:object _:b1 ; |
| 42 | - sp:predicate owl:onProperty ; | 42 | + sp:predicate rdfs:label ; |
| 43 | - sp:subject | 43 | + sp:subject _:b2 |
| 44 | - [ sp:varName "r"^^xsd:string | 44 | + ] [ rdf:type sp:Filter ; |
| 45 | - ] | 45 | + sp:expression |
| 46 | - ] [ sp:object _:b1 ; | 46 | + [ rdf:type fn:starts-with ; |
| 47 | - sp:predicate rdfs:label ; | 47 | + sp:arg1 _:b1 ; |
| 48 | - sp:subject _:b2 | 48 | + sp:arg2 "has" |
| 49 | - ] [ rdf:type sp:Filter ; | 49 | + ] |
| 50 | - sp:expression | 50 | + ] [ rdf:type sp:Bind ; |
| 51 | - [ rdf:type fn:starts-with ; | 51 | + sp:expression |
| 52 | - sp:arg1 _:b1 ; | 52 | + [ rdf:type smf:trim ; |
| 53 | - sp:arg2 "has" | 53 | + sp:arg1 [ rdf:type smf:regex ; |
| 54 | - ] | 54 | + sp:arg1 _:b1 ; |
| 55 | - ] [ rdf:type sp:Bind ; | 55 | + sp:arg2 "has(.*)" ; |
| 56 | - sp:expression | 56 | + sp:arg3 "$1" |
| 57 | - [ rdf:type smf:trim ; | 57 | + ] |
| 58 | - sp:arg1 [ rdf:type smf:regex ; | 58 | + ] ; |
| 59 | - sp:arg1 _:b1 ; | 59 | + sp:variable _:b3 |
| 60 | - sp:arg2 "has(.*)" ; | 60 | + ]) |
| 61 | - sp:arg3 "$1" | 61 | + ] . |
| 62 | - ] | 62 | + |
| 63 | - ] ; | 63 | +_:b1 sp:varName "oldLabel"^^xsd:string . |
| 64 | - sp:variable _:b3 | 64 | + |
| 65 | - ]) | 65 | +_:b2 sp:varName "p"^^xsd:string . |
| 66 | - ] . | 66 | + |
| 67 | - | 67 | +_:b3 sp:varName "newLabel"^^xsd:string . |
| 68 | -_:b3 sp:varName "newLabel"^^xsd:string . | ||
| 69 | - | ||
| 70 | -_:b2 sp:varName "p"^^xsd:string . | ||
| 71 | - | ||
| 72 | -_:b1 sp:varName "oldLabel"^^xsd:string . | ... | ... |
| 1 | -# baseURI: null | 1 | +# Saved by TopBraid on Wed Aug 10 11:35:30 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 | - <http://spinrdf.org/spin#topSPINOptions> | 15 | + [ rdf:type <http://spinrdf.org/spin#TopSPIN> ; |
| 16 | - "singlePass" ; | 16 | + <http://spinrdf.org/spin#topSPINOptions> |
| 17 | - composite:index "0"^^xsd:int | 17 | + "singlePass" ; |
| 18 | - ] ; | 18 | + composite:index "0"^^xsd:int |
| 19 | - inference:completeMode | 19 | + ] ; |
| 20 | - "true"^^xsd:boolean . | 20 | + inference:completeMode |
| 21 | + "true"^^xsd:boolean . | ... | ... |
-
Please register or login to post a comment