comparison src/rdf/siaTestDatapointOntology.n3 @ 64:4f981b1f8c04

working ontology and test data set, with some experimental triples still commented out
author stevenh
date Thu, 01 Aug 2013 13:49:49 +0100
parents 921a9e85b48e
children
comparison
equal deleted inserted replaced
63:70f616afdb9a 64:4f981b1f8c04
1 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . 1 @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
2 @prefix owl: <http://www.w3.org/2002/07/owl#> . 2 @prefix owl: <http://www.w3.org/2002/07/owl#> .
3 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . 3 @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
4 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . 4 @prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
5 @prefix abc: <http://example.org/abc#> .
6 @prefix sia: <http://example.org/sia#> . 5 @prefix sia: <http://example.org/sia#> .
7 6
8 #sia:OrderableThing a owl:Class. 7 #sia:OrderableThing a owl:Class.
9 #sia:Datapoint rdfs:subClassOf sia:OrderableThing. 8 #sia:Datapoint rdfs:subClassOf sia:OrderableThing.
9
10 sia:Dataset a owl:Class.
10 sia:Datapoint a owl:Class. 11 sia:Datapoint a owl:Class.
11 sia:DimensionValue a owl:Class . 12 sia:DimensionValue a owl:Class .
12 sia:VectorTableElement a owl:Class . 13 sia:VectorTableElement a owl:Class .
14 sia:Vector a owl:Class .
15 sia:SetV a owl:Class .
16 sia:SetV rdfs:subClassOf sia:SetW .
17 sia:OrderedSet rdfs:subClassOf sia:Dataset .
13 18
14 sia:dimVal a rdf:Property . 19 sia:dimVal a rdf:Property .
15 sia:dimVal rdfs:range sia:DimensionValue . 20 sia:dimVal rdfs:range sia:DimensionValue .
16 sia:dimension a rdf:Property . 21 sia:dimension a rdf:Property .
17 sia:value a rdf:Property . 22 sia:value a rdf:Property .
18 sia:fromDatapoint a rdf:Property . 23 sia:fromDatapoint a rdf:Property .
19 sia:toDatapoint a rdf:Property . 24 sia:toDatapoint a rdf:Property .
25 sia:memberOfOrderedSet a rdf:Property .
26 sia:memberOfOrderedSet rdfs:range sia:OrderedSet .
27 sia:siaResult a rdf:Property .
28 sia:siatecResult a rdf:Property .
29 sia:mtpDatapoint a rdf:Property .
30 sia:vector a rdf:Property .
31 sia:vector rdfs:range sia:Vector .
32
33 #sia:equalVector a owl:SymmetricProperty .
34
35 #sia:ProcessedDatapoint owl:equivalentClass
36 #[ a owl:Restriction;
37 # owl:onProperty sia:memberOfOrderedSet;
38 # owl:someValuesFrom sia:OrderedSet];
39 # rdfs:subClassOf sia:Datapoint .
40
41 #sia:UnprocessedDatapoint rdfs:subClassOf sia:Datapoint;
42 # owl:disjointWith sia:ProcessedDatapoint .
43
44 #sia:UnprocessedDatapoint owl:intersectionOf
45 # ([ a owl:Class ;
46 # owl:complementOf sia:ProcessedDatapoint ]
47 # sia:Datapoint ) .
48
49 #sia:UnprocessedDatapoint owl:complementOf sia:ProcessedDatapoint .
20 50
21 #sia:follows rdfs:range sia:OrderableThing . 51 #sia:follows rdfs:range sia:OrderableThing .
22 #sia:follows rdfs:domain sia:OrderableThing . 52 #sia:follows rdfs:domain sia:OrderableThing .
23 #sia:precedes owl:inverseOf sia:follows . 53 #sia:precedes owl:inverseOf sia:follows .
24
25 #sia:follows rdf:type owl:TransitiveProperty . 54 #sia:follows rdf:type owl:TransitiveProperty .
26 #sia:directlyFollows rdfs:subPropertyOf sia:follows . 55 #sia:directlyFollows rdfs:subPropertyOf sia:follows .
27 56
57 #_:Dimension1 a owl:Class .
58 #sia:Dimension1 owl:equivalentClass
59 #[ a owl:Restriction;
60 # owl:onProperty sia:dimension;
61 # owl:hasValue "1"^^xsd:integer] .
62 #
63 #sia:Dimension2 owl:equivalentClass
64 #[ a owl:Restriction;
65 # owl:onProperty sia:dimension;
66 # owl:hasValue "2"^^xsd:integer] .
67 #
68 #sia:Value0 owl:equivalentClass
69 #[ a owl:Restriction;
70 # owl:onProperty sia:value;
71 # owl:hasValue "0.0"^^xsd:double] .
72 #
73 #sia:Value2 owl:equivalentClass
74 #[ a owl:Restriction;
75 # owl:onProperty sia:value;
76 # owl:hasValue "2.0"^^xsd:double] .
77 #
78 #sia:Dimension1Value0 owl:intersectionOf
79 # (sia:Dimension1 sia:Value0) ;
80 # rdfs:subClassOf sia:UniqueDimVal .
81 #
82 #sia:Dimension2Value2 owl:intersectionOf
83 # (sia:Dimension2 sia:Value2) ;
84 # rdfs:subClassOf sia:UniqueDimVal .
85 #
86 #sia:Dim1Val0Dim2Val2 owl:intersectionOf (
87 # [ a owl:Restriction;
88 # owl:onProperty sia:dimVal;
89 # owl:someValuesFrom sia:Dimension1Value0]
90 # [ a owl:Restriction;
91 # owl:onProperty sia:dimVal;
92 # owl:someValuesFrom sia:Dimension2Value2]
93 #) .
94
95 #sia:UniqueSetOfDimVals owl:equivalentClass [ a owl:Restriction;
96 # owl:onProperty sia:dimVal;
97 # owl:cardinality "2"^^<http://www.w3.org/2001/XMLSchema#integer> ] .
98
99 #sia:UniqueSetOfDimVals a [ a owl:AllDifferent ] ;
100 ## rdfs:subClassOf UniqueSetOfDimVals .
101
102 #
103 #sia:Dim1Val0Dim2Val2 rdfs:subClassOf sia:EquivalentVector .
104
28 # The data 105 # The data
29 106
30 sia:A sia:dimVal sia:dvA1; 107 _:dataset1 a sia:Dataset.
31 sia:dimVal sia:dvA2; 108
32 a sia:Datapoint . 109 #sia:aa1 sia:magnitude "1.0"^^xsd:double .
33 110 #sia:aa2 sia:magnitude "2.0"^^xsd:double .
34 sia:dvA1 sia:dimension "1"^^xsd:integer; 111 #sia:aa11 sia:magnitude "1.0"^^xsd:double .
35 sia:value "1"^^xsd:double. 112 #sia:aa3 sia:magnitude "3.0"^^xsd:double .
36 113
37 sia:dvA2 sia:dimension "2"^^xsd:integer; 114 sia:A sia:vector _:vectorA;
38 sia:value "1"^^xsd:double. 115 sia:memberOfDataset _:dataset1;
39 116 a sia:Datapoint .
40 sia:B sia:dimVal sia:dvB1; 117
41 sia:dimVal sia:dvB2; 118 _:vectorA sia:dimVal _:d1v1;
42 a sia:Datapoint . 119 sia:dimVal _:d2v1 .
43 120
44 sia:dvB1 sia:dimension "1"^^xsd:integer; 121 _:d1v1 sia:dimension "1"^^xsd:integer;
45 sia:value "1"^^xsd:double. 122 sia:value "1.0"^^xsd:double.
46 123
47 sia:dvB2 sia:dimension "2"^^xsd:integer; 124 _:d2v1 sia:dimension "2"^^xsd:integer;
48 sia:value "3"^^xsd:double. 125 sia:value "1.0"^^xsd:double.
49 126
50 sia:C sia:dimVal sia:dvC1; 127 sia:B sia:vector _:vectorB;
51 sia:dimVal sia:dvC2; 128 sia:memberOfDataset _:dataset1;
52 a sia:Datapoint . 129 a sia:Datapoint .
53 130
54 sia:dvC1 sia:dimension "1"^^xsd:integer; 131 _:vectorB sia:dimVal _:d1v1;
55 sia:value "2"^^xsd:double. 132 sia:dimVal _:d2v3 .
56 133
57 sia:dvC2 sia:dimension "2"^^xsd:integer; 134 _:d2v3 sia:dimension "2"^^xsd:integer;
58 sia:value "1"^^xsd:double. 135 sia:value "3.0"^^xsd:double.
59 136
60 sia:D sia:dimVal sia:dvD1; 137 sia:C sia:vector _:vectorC;
61 sia:dimVal sia:dvD2; 138 sia:memberOfDataset _:dataset1;
62 a sia:Datapoint . 139 a sia:Datapoint .
63 140
64 sia:dvD1 sia:dimension "1"^^xsd:integer; 141 _:vectorC sia:dimVal _:d1v2;
65 sia:value "2"^^xsd:double. 142 sia:dimVal _:d2v1 .
66 143
67 sia:dvD2 sia:dimension "2"^^xsd:integer; 144 _:d1v2 sia:dimension "1"^^xsd:integer;
68 sia:value "2"^^xsd:double. 145 sia:value "2.0"^^xsd:double.
69 146
70 sia:E sia:dimVal sia:dvE1; 147 sia:D sia:vector _:vectorD;
71 sia:dimVal sia:dvE2; 148 sia:memberOfDataset _:dataset1;
72 a sia:Datapoint . 149 a sia:Datapoint .
73 150
74 sia:dvE1 sia:dimension "1"^^xsd:integer; 151 _:vectorD sia:dimVal _:d1v2;
75 sia:value "2"^^xsd:double. 152 sia:dimVal _:d2v2 .
76 153
77 sia:dvE2 sia:dimension "2"^^xsd:integer; 154 _:d2v2 sia:dimension "2"^^xsd:integer;
78 sia:value "3"^^xsd:double. 155 sia:value "2.0"^^xsd:double.
79 156
80 sia:F sia:dimVal sia:dvF1; 157 sia:E sia:vector _:vectorE;
81 sia:dimVal sia:dvF2; 158 sia:memberOfDataset _:dataset1;
82 a sia:Datapoint . 159 a sia:Datapoint .
83 160
84 sia:dvF1 sia:dimension "1"^^xsd:integer; 161 _:vectorE sia:dimVal _:d1v2;
85 sia:value "3"^^xsd:double. 162 sia:dimVal _:d2v3 .
86 163
87 sia:dvF2 sia:dimension "2"^^xsd:integer; 164 sia:F sia:vector _:vectorF;
88 sia:value "2"^^xsd:double. 165 sia:memberOfDataset _:dataset1;
89 166 a sia:Datapoint .
167
168 _:vectorF sia:dimVal _:d1v3;
169 sia:dimVal _:d2v2 .
170
171 _:d1v3 sia:dimension "1"^^xsd:integer;
172 sia:value "3.0"^^xsd:double.
173
174
175 #_:dataset2 a sia:Dataset.
176 #
177 #sia:Aa sia:dimVal _:dvAa1;
178 # sia:dimVal _:dvAa2;
179 # sia:memberOfDataset _:dataset2;
180 # a sia:Datapoint .
181 #
182 #_:dvAa1 sia:dimension "1"^^xsd:integer;
183 # sia:value "1.0"^^xsd:double.
184 #
185 #_:dvAa2 sia:dimension "2"^^xsd:integer;
186 # sia:value "1.0"^^xsd:double.
187 #
188 #sia:Bb sia:dimVal _:dvBb1;
189 # sia:dimVal _:dvBb2;
190 # sia:memberOfDataset _:dataset2;
191 # a sia:Datapoint .
192 #
193 #_:dvBb1 sia:dimension "1"^^xsd:integer;
194 # sia:value "1.0"^^xsd:double.
195 #
196 #_:dvBb2 sia:dimension "2"^^xsd:integer;
197 # sia:value "3.0"^^xsd:double.
198 #
199 #sia:Cc sia:dimVal _:dvCc1;
200 # sia:dimVal _:dvCc2;
201 # sia:memberOfDataset _:dataset2;
202 # a sia:Datapoint .
203 #
204 #_:dvCc1 sia:dimension "1"^^xsd:integer;
205 # sia:value "2.0"^^xsd:double.
206 #
207 #_:dvCc2 sia:dimension "2"^^xsd:integer;
208 # sia:value "1.0"^^xsd:double.
209 #