Mercurial > hg > semantic-sia
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 # |