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

working ontology and test data set, with some experimental triples still commented out

--- a/src/rdf/siaTestDatapointOntology.n3	Mon May 27 15:29:45 2013 +0100
+++ b/src/rdf/siaTestDatapointOntology.n3	Thu Aug 01 13:49:49 2013 +0100
@@ -2,14 +2,19 @@
 @prefix owl:     <http://www.w3.org/2002/07/owl#> .
 @prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
 @prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
-@prefix abc:     <http://example.org/abc#> .
 @prefix sia:     <http://example.org/sia#> .
 
 #sia:OrderableThing a owl:Class.
 #sia:Datapoint rdfs:subClassOf sia:OrderableThing.
+
+sia:Dataset a owl:Class.
 sia:Datapoint a owl:Class.
 sia:DimensionValue a owl:Class .
 sia:VectorTableElement a owl:Class .
+sia:Vector a owl:Class .
+sia:SetV a owl:Class .
+sia:SetV rdfs:subClassOf sia:SetW .
+sia:OrderedSet rdfs:subClassOf sia:Dataset .
 
 sia:dimVal a rdf:Property .
 sia:dimVal rdfs:range sia:DimensionValue .
@@ -17,73 +22,188 @@
 sia:value a rdf:Property .
 sia:fromDatapoint a rdf:Property .
 sia:toDatapoint a rdf:Property .
+sia:memberOfOrderedSet a rdf:Property .
+sia:memberOfOrderedSet rdfs:range sia:OrderedSet .
+sia:siaResult a rdf:Property .
+sia:siatecResult a rdf:Property .
+sia:mtpDatapoint a rdf:Property .
+sia:vector a rdf:Property .
+sia:vector rdfs:range sia:Vector .
+
+#sia:equalVector a owl:SymmetricProperty .
+
+#sia:ProcessedDatapoint owl:equivalentClass
+#[ a owl:Restriction;
+#	owl:onProperty sia:memberOfOrderedSet;
+#	owl:someValuesFrom sia:OrderedSet];
+#	rdfs:subClassOf sia:Datapoint .
+	
+#sia:UnprocessedDatapoint rdfs:subClassOf sia:Datapoint;
+#	owl:disjointWith sia:ProcessedDatapoint .
+
+#sia:UnprocessedDatapoint owl:intersectionOf
+#	([ a owl:Class ;
+#	   owl:complementOf sia:ProcessedDatapoint ]
+#	 sia:Datapoint ) .
+
+#sia:UnprocessedDatapoint owl:complementOf sia:ProcessedDatapoint .
 
 #sia:follows rdfs:range sia:OrderableThing .
 #sia:follows rdfs:domain sia:OrderableThing .
 #sia:precedes owl:inverseOf sia:follows .
-
 #sia:follows rdf:type owl:TransitiveProperty .
 #sia:directlyFollows rdfs:subPropertyOf sia:follows .
 
+#_:Dimension1 a owl:Class .
+#sia:Dimension1 owl:equivalentClass
+#[ a owl:Restriction;
+#	owl:onProperty sia:dimension;
+#	owl:hasValue "1"^^xsd:integer] .
+#
+#sia:Dimension2 owl:equivalentClass
+#[ a owl:Restriction;
+#	owl:onProperty sia:dimension;
+#	owl:hasValue "2"^^xsd:integer] .
+#
+#sia:Value0 owl:equivalentClass
+#[ a owl:Restriction;
+#	owl:onProperty sia:value;
+#	owl:hasValue "0.0"^^xsd:double] .
+#	
+#sia:Value2 owl:equivalentClass
+#[ a owl:Restriction;
+#	owl:onProperty sia:value;
+#	owl:hasValue "2.0"^^xsd:double] .
+#	
+#sia:Dimension1Value0 owl:intersectionOf
+#	(sia:Dimension1 sia:Value0) ;
+#	rdfs:subClassOf sia:UniqueDimVal .
+#	
+#sia:Dimension2Value2 owl:intersectionOf
+#	(sia:Dimension2 sia:Value2) ;
+#	rdfs:subClassOf sia:UniqueDimVal .
+#	
+#sia:Dim1Val0Dim2Val2 owl:intersectionOf (
+#	[ a owl:Restriction;
+#	  owl:onProperty sia:dimVal;
+#	  owl:someValuesFrom sia:Dimension1Value0]
+#	[ a owl:Restriction;
+#	  owl:onProperty sia:dimVal;
+#	  owl:someValuesFrom sia:Dimension2Value2]
+#) .
+
+#sia:UniqueSetOfDimVals owl:equivalentClass [ a 	owl:Restriction;
+#												owl:onProperty sia:dimVal;
+#	  											owl:cardinality "2"^^<http://www.w3.org/2001/XMLSchema#integer> ] .
+	  
+#sia:UniqueSetOfDimVals a [	a owl:AllDifferent ] ;
+##					   rdfs:subClassOf UniqueSetOfDimVals  .
+
+#
+#sia:Dim1Val0Dim2Val2 rdfs:subClassOf sia:EquivalentVector .
+	
 # The data
 
-sia:A sia:dimVal sia:dvA1;
-	sia:dimVal sia:dvA2;
+_:dataset1 a sia:Dataset.
+
+#sia:aa1 sia:magnitude "1.0"^^xsd:double .
+#sia:aa2 sia:magnitude "2.0"^^xsd:double .
+#sia:aa11 sia:magnitude "1.0"^^xsd:double .
+#sia:aa3 sia:magnitude "3.0"^^xsd:double .
+
+sia:A sia:vector _:vectorA;
+	sia:memberOfDataset _:dataset1;
 	a sia:Datapoint .
 	
-sia:dvA1 sia:dimension "1"^^xsd:integer;
-	sia:value "1"^^xsd:double.
+_:vectorA sia:dimVal _:d1v1;
+	sia:dimVal _:d2v1 .
+
+_:d1v1 sia:dimension "1"^^xsd:integer;
+	sia:value "1.0"^^xsd:double.
 	
-sia:dvA2 sia:dimension "2"^^xsd:integer;
-	sia:value "1"^^xsd:double.
+_:d2v1 sia:dimension "2"^^xsd:integer;
+	sia:value "1.0"^^xsd:double.
 	
-sia:B sia:dimVal sia:dvB1;
-	sia:dimVal sia:dvB2;
+sia:B sia:vector _:vectorB;
+	sia:memberOfDataset _:dataset1;
 	a sia:Datapoint .
 	
-sia:dvB1 sia:dimension "1"^^xsd:integer;
-	sia:value "1"^^xsd:double.
+_:vectorB sia:dimVal _:d1v1;
+	sia:dimVal _:d2v3 .
 	
-sia:dvB2 sia:dimension "2"^^xsd:integer;
-	sia:value "3"^^xsd:double.
+_:d2v3 sia:dimension "2"^^xsd:integer;
+	sia:value "3.0"^^xsd:double.
 	
-sia:C sia:dimVal sia:dvC1;
-	sia:dimVal sia:dvC2;
+sia:C sia:vector _:vectorC;
+	sia:memberOfDataset _:dataset1;
 	a sia:Datapoint .
+
+_:vectorC sia:dimVal _:d1v2;
+	sia:dimVal _:d2v1 .
 	
-sia:dvC1 sia:dimension "1"^^xsd:integer;
-	sia:value "2"^^xsd:double.
+_:d1v2 sia:dimension "1"^^xsd:integer;
+	sia:value "2.0"^^xsd:double.
 	
-sia:dvC2 sia:dimension "2"^^xsd:integer;
-	sia:value "1"^^xsd:double.
+sia:D sia:vector _:vectorD;
+	sia:memberOfDataset _:dataset1;
+	a sia:Datapoint .
+
+_:vectorD sia:dimVal _:d1v2;
+	sia:dimVal _:d2v2 .
 	
-sia:D sia:dimVal sia:dvD1;
-	sia:dimVal sia:dvD2;
+_:d2v2 sia:dimension "2"^^xsd:integer;
+	sia:value "2.0"^^xsd:double.
+	
+sia:E sia:vector _:vectorE;
+	sia:memberOfDataset _:dataset1;
 	a sia:Datapoint .
+
+_:vectorE sia:dimVal _:d1v2;
+	sia:dimVal _:d2v3 .
+			
+sia:F sia:vector _:vectorF;
+	sia:memberOfDataset _:dataset1;
+	a sia:Datapoint .
+
+_:vectorF sia:dimVal _:d1v3;
+	sia:dimVal _:d2v2 .
 	
-sia:dvD1 sia:dimension "1"^^xsd:integer;
-	sia:value "2"^^xsd:double.
+_:d1v3 sia:dimension "1"^^xsd:integer;
+	sia:value "3.0"^^xsd:double.
 	
-sia:dvD2 sia:dimension "2"^^xsd:integer;
-	sia:value "2"^^xsd:double.
 	
-sia:E sia:dimVal sia:dvE1;
-	sia:dimVal sia:dvE2;
-	a sia:Datapoint .
-	
-sia:dvE1 sia:dimension "1"^^xsd:integer;
-	sia:value "2"^^xsd:double.
-	
-sia:dvE2 sia:dimension "2"^^xsd:integer;
-	sia:value "3"^^xsd:double.
-	
-sia:F sia:dimVal sia:dvF1;
-	sia:dimVal sia:dvF2;
-	a sia:Datapoint .
-	
-sia:dvF1 sia:dimension "1"^^xsd:integer;
-	sia:value "3"^^xsd:double.
-	
-sia:dvF2 sia:dimension "2"^^xsd:integer;
-	sia:value "2"^^xsd:double.
-	
+#_:dataset2 a sia:Dataset.
+#
+#sia:Aa sia:dimVal _:dvAa1;
+#	sia:dimVal _:dvAa2;
+#	sia:memberOfDataset _:dataset2;
+#	a sia:Datapoint .
+#	
+#_:dvAa1 sia:dimension "1"^^xsd:integer;
+#	sia:value "1.0"^^xsd:double.
+#	
+#_:dvAa2 sia:dimension "2"^^xsd:integer;
+#	sia:value "1.0"^^xsd:double.
+#	
+#sia:Bb sia:dimVal _:dvBb1;
+#	sia:dimVal _:dvBb2;
+#	sia:memberOfDataset _:dataset2;
+#	a sia:Datapoint .
+#	
+#_:dvBb1 sia:dimension "1"^^xsd:integer;
+#	sia:value "1.0"^^xsd:double.
+#	
+#_:dvBb2 sia:dimension "2"^^xsd:integer;
+#	sia:value "3.0"^^xsd:double.
+#	
+#sia:Cc sia:dimVal _:dvCc1;
+#	sia:dimVal _:dvCc2;
+#	sia:memberOfDataset _:dataset2;
+#	a sia:Datapoint .
+#	
+#_:dvCc1 sia:dimension "1"^^xsd:integer;
+#	sia:value "2.0"^^xsd:double.
+#	
+#_:dvCc2 sia:dimension "2"^^xsd:integer;
+#	sia:value "1.0"^^xsd:double.
+#