David Price

Created a check on labels in XSD thru proxy ontology

1 +# baseURI: http://www.reportinghub.no/refdata/transform/match-xsd-label
2 +# imports: http://spinrdf.org/spin
3 +# imports: http://www.reportinghub.no/ep/schema/1.0/activity-purpose
4 +# imports: http://www.witsml.org/schemas/1series
5 +
6 +@prefix : <http://www.reportinghub.no/refdata/transform/match-xsd-label#> .
7 +@prefix afn: <http://jena.hpl.hp.com/ARQ/function#> .
8 +@prefix fn: <http://www.w3.org/2005/xpath-functions#> .
9 +@prefix owl: <http://www.w3.org/2002/07/owl#> .
10 +@prefix p1series: <http://www.witsml.org/schemas/1series#> .
11 +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
12 +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
13 +@prefix sp: <http://spinrdf.org/sp#> .
14 +@prefix spin: <http://spinrdf.org/spin#> .
15 +@prefix spl: <http://spinrdf.org/spl#> .
16 +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
17 +
18 +<http://www.reportinghub.no/ep/schema/core#ClassificationFunctionOverTime>
19 + rdfs:subClassOf :DDR-Thing .
20 +
21 +<http://www.reportinghub.no/ep/schema/core#Pair>
22 + rdfs:subClassOf :DDR-Thing .
23 +
24 +<http://www.reportinghub.no/ep/schema/core#PhysicalThing>
25 + rdfs:subClassOf :DDR-Thing .
26 +
27 +<http://www.reportinghub.no/ep/schema/material#MaterialPair>
28 + rdfs:subClassOf :DDR-Thing .
29 +
30 +<http://www.reportinghub.no/ep/schema/report#Report>
31 + rdfs:subClassOf :DDR-Thing .
32 +
33 +<http://www.reportinghub.no/refdata/transform/match-xsd-label>
34 + rdf:type owl:Ontology ;
35 + owl:imports <http://spinrdf.org/spin> , <http://www.reportinghub.no/ep/schema/1.0/activity-purpose> , <http://www.witsml.org/schemas/1series> ;
36 + owl:versionInfo "Created with TopBraid Composer"^^xsd:string .
37 +
38 +:DDR-Thing
39 + rdf:type owl:Class ;
40 + rdfs:subClassOf owl:Thing .
41 +
42 +owl:Class
43 + spin:rule
44 + [ rdf:type sp:Construct ;
45 + sp:templates ([ sp:object
46 + [ sp:varName "s1"^^xsd:string
47 + ] ;
48 + sp:predicate rdfs:seeAlso ;
49 + sp:subject
50 + [ sp:varName "s2"^^xsd:string
51 + ]
52 + ]) ;
53 + sp:where ([ sp:object
54 + [ sp:varName "label1"^^xsd:string
55 + ] ;
56 + sp:predicate rdfs:label ;
57 + sp:subject
58 + [ sp:varName "s1"^^xsd:string
59 + ]
60 + ] [ rdf:type sp:Filter ;
61 + sp:expression
62 + [ rdf:type sp:eq ;
63 + sp:arg1 [ rdf:type afn:namespace ;
64 + sp:arg1 [ sp:varName "s1"^^xsd:string
65 + ]
66 + ] ;
67 + sp:arg2 "http://www.witsml.org/schemas/1series#"
68 + ]
69 + ] [ rdf:type sp:Bind ;
70 + sp:expression
71 + [ rdf:type fn:upper-case ;
72 + sp:arg1 [ sp:varName "label1"^^xsd:string
73 + ]
74 + ] ;
75 + sp:variable
76 + [ sp:varName "ulabel1"^^xsd:string
77 + ]
78 + ] [ rdf:type sp:TriplePath ;
79 + sp:object :DDR-Thing ;
80 + sp:path [ rdf:type sp:ModPath ;
81 + sp:modMax -2 ;
82 + sp:modMin 0 ;
83 + sp:subPath rdfs:subClassOf
84 + ] ;
85 + sp:subject
86 + [ sp:varName "s2"^^xsd:string
87 + ]
88 + ] [ rdf:type sp:Bind ;
89 + sp:expression
90 + [ rdf:type fn:upper-case ;
91 + sp:arg1 [ rdf:type afn:localname ;
92 + sp:arg1 [ sp:varName "s2"^^xsd:string
93 + ]
94 + ]
95 + ] ;
96 + sp:variable
97 + [ sp:varName "localname"^^xsd:string
98 + ]
99 + ] [ rdf:type sp:Filter ;
100 + sp:expression
101 + [ rdf:type sp:eq ;
102 + sp:arg1 [ sp:varName "localname"^^xsd:string
103 + ] ;
104 + sp:arg2 [ sp:varName "ulabel1"^^xsd:string
105 + ]
106 + ]
107 + ])
108 + ] .
1 +# baseURI: null
2 +
3 +@prefix composite: <http://www.topbraid.org/2007/05/composite.owl#> .
4 +@prefix forms: <http://www.topbraid.org/2007/01/forms.owl#> .
5 +@prefix inference: <http://www.topbraid.org/2007/06/inference.owl#> .
6 +@prefix owl: <http://www.w3.org/2002/07/owl#> .
7 +@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
8 +@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
9 +@prefix visual: <http://topbraid.org/visual#> .
10 +@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
11 +
12 +[] rdf:type inference:Configuration ;
13 + composite:child
14 + [ rdf:type <http://spinrdf.org/spin#TopSPIN> ;
15 + <http://spinrdf.org/spin#topSPINOptions>
16 + "singlePass" ;
17 + composite:index "0"^^xsd:int
18 + ] .