stevenh@54: @prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
stevenh@54: @prefix owl:     <http://www.w3.org/2002/07/owl#> .
stevenh@54: @prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
stevenh@54: @prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
stevenh@54: @prefix sia:     <http://example.org/sia#> .
stevenh@54: 
stevenh@54: #sia:OrderableThing a owl:Class.
stevenh@54: #sia:Datapoint rdfs:subClassOf sia:OrderableThing.
stevenh@64: 
stevenh@64: sia:Dataset a owl:Class.
stevenh@54: sia:Datapoint a owl:Class.
stevenh@54: sia:DimensionValue a owl:Class .
stevenh@54: sia:VectorTableElement a owl:Class .
stevenh@64: sia:Vector a owl:Class .
stevenh@64: sia:SetV a owl:Class .
stevenh@64: sia:SetV rdfs:subClassOf sia:SetW .
stevenh@64: sia:OrderedSet rdfs:subClassOf sia:Dataset .
stevenh@54: 
stevenh@54: sia:dimVal a rdf:Property .
stevenh@54: sia:dimVal rdfs:range sia:DimensionValue .
stevenh@54: sia:dimension a rdf:Property .
stevenh@54: sia:value a rdf:Property .
stevenh@54: sia:fromDatapoint a rdf:Property .
stevenh@54: sia:toDatapoint a rdf:Property .
stevenh@64: sia:memberOfOrderedSet a rdf:Property .
stevenh@64: sia:memberOfOrderedSet rdfs:range sia:OrderedSet .
stevenh@64: sia:siaResult a rdf:Property .
stevenh@64: sia:siatecResult a rdf:Property .
stevenh@64: sia:mtpDatapoint a rdf:Property .
stevenh@64: sia:vector a rdf:Property .
stevenh@64: sia:vector rdfs:range sia:Vector .
stevenh@64: 
stevenh@64: #sia:equalVector a owl:SymmetricProperty .
stevenh@64: 
stevenh@64: #sia:ProcessedDatapoint owl:equivalentClass
stevenh@64: #[ a owl:Restriction;
stevenh@64: #	owl:onProperty sia:memberOfOrderedSet;
stevenh@64: #	owl:someValuesFrom sia:OrderedSet];
stevenh@64: #	rdfs:subClassOf sia:Datapoint .
stevenh@64: 	
stevenh@64: #sia:UnprocessedDatapoint rdfs:subClassOf sia:Datapoint;
stevenh@64: #	owl:disjointWith sia:ProcessedDatapoint .
stevenh@64: 
stevenh@64: #sia:UnprocessedDatapoint owl:intersectionOf
stevenh@64: #	([ a owl:Class ;
stevenh@64: #	   owl:complementOf sia:ProcessedDatapoint ]
stevenh@64: #	 sia:Datapoint ) .
stevenh@64: 
stevenh@64: #sia:UnprocessedDatapoint owl:complementOf sia:ProcessedDatapoint .
stevenh@54: 
stevenh@54: #sia:follows rdfs:range sia:OrderableThing .
stevenh@54: #sia:follows rdfs:domain sia:OrderableThing .
stevenh@54: #sia:precedes owl:inverseOf sia:follows .
stevenh@54: #sia:follows rdf:type owl:TransitiveProperty .
stevenh@54: #sia:directlyFollows rdfs:subPropertyOf sia:follows .
stevenh@54: 
stevenh@64: #_:Dimension1 a owl:Class .
stevenh@64: #sia:Dimension1 owl:equivalentClass
stevenh@64: #[ a owl:Restriction;
stevenh@64: #	owl:onProperty sia:dimension;
stevenh@64: #	owl:hasValue "1"^^xsd:integer] .
stevenh@64: #
stevenh@64: #sia:Dimension2 owl:equivalentClass
stevenh@64: #[ a owl:Restriction;
stevenh@64: #	owl:onProperty sia:dimension;
stevenh@64: #	owl:hasValue "2"^^xsd:integer] .
stevenh@64: #
stevenh@64: #sia:Value0 owl:equivalentClass
stevenh@64: #[ a owl:Restriction;
stevenh@64: #	owl:onProperty sia:value;
stevenh@64: #	owl:hasValue "0.0"^^xsd:double] .
stevenh@64: #	
stevenh@64: #sia:Value2 owl:equivalentClass
stevenh@64: #[ a owl:Restriction;
stevenh@64: #	owl:onProperty sia:value;
stevenh@64: #	owl:hasValue "2.0"^^xsd:double] .
stevenh@64: #	
stevenh@64: #sia:Dimension1Value0 owl:intersectionOf
stevenh@64: #	(sia:Dimension1 sia:Value0) ;
stevenh@64: #	rdfs:subClassOf sia:UniqueDimVal .
stevenh@64: #	
stevenh@64: #sia:Dimension2Value2 owl:intersectionOf
stevenh@64: #	(sia:Dimension2 sia:Value2) ;
stevenh@64: #	rdfs:subClassOf sia:UniqueDimVal .
stevenh@64: #	
stevenh@64: #sia:Dim1Val0Dim2Val2 owl:intersectionOf (
stevenh@64: #	[ a owl:Restriction;
stevenh@64: #	  owl:onProperty sia:dimVal;
stevenh@64: #	  owl:someValuesFrom sia:Dimension1Value0]
stevenh@64: #	[ a owl:Restriction;
stevenh@64: #	  owl:onProperty sia:dimVal;
stevenh@64: #	  owl:someValuesFrom sia:Dimension2Value2]
stevenh@64: #) .
stevenh@64: 
stevenh@64: #sia:UniqueSetOfDimVals owl:equivalentClass [ a 	owl:Restriction;
stevenh@64: #												owl:onProperty sia:dimVal;
stevenh@64: #	  											owl:cardinality "2"^^<http://www.w3.org/2001/XMLSchema#integer> ] .
stevenh@64: 	  
stevenh@64: #sia:UniqueSetOfDimVals a [	a owl:AllDifferent ] ;
stevenh@64: ##					   rdfs:subClassOf UniqueSetOfDimVals  .
stevenh@64: 
stevenh@64: #
stevenh@64: #sia:Dim1Val0Dim2Val2 rdfs:subClassOf sia:EquivalentVector .
stevenh@64: 	
stevenh@54: # The data
stevenh@54: 
stevenh@64: _:dataset1 a sia:Dataset.
stevenh@64: 
stevenh@64: #sia:aa1 sia:magnitude "1.0"^^xsd:double .
stevenh@64: #sia:aa2 sia:magnitude "2.0"^^xsd:double .
stevenh@64: #sia:aa11 sia:magnitude "1.0"^^xsd:double .
stevenh@64: #sia:aa3 sia:magnitude "3.0"^^xsd:double .
stevenh@64: 
stevenh@64: sia:A sia:vector _:vectorA;
stevenh@64: 	sia:memberOfDataset _:dataset1;
stevenh@54: 	a sia:Datapoint .
stevenh@54: 	
stevenh@64: _:vectorA sia:dimVal _:d1v1;
stevenh@64: 	sia:dimVal _:d2v1 .
stevenh@64: 
stevenh@64: _:d1v1 sia:dimension "1"^^xsd:integer;
stevenh@64: 	sia:value "1.0"^^xsd:double.
stevenh@54: 	
stevenh@64: _:d2v1 sia:dimension "2"^^xsd:integer;
stevenh@64: 	sia:value "1.0"^^xsd:double.
stevenh@54: 	
stevenh@64: sia:B sia:vector _:vectorB;
stevenh@64: 	sia:memberOfDataset _:dataset1;
stevenh@54: 	a sia:Datapoint .
stevenh@54: 	
stevenh@64: _:vectorB sia:dimVal _:d1v1;
stevenh@64: 	sia:dimVal _:d2v3 .
stevenh@54: 	
stevenh@64: _:d2v3 sia:dimension "2"^^xsd:integer;
stevenh@64: 	sia:value "3.0"^^xsd:double.
stevenh@54: 	
stevenh@64: sia:C sia:vector _:vectorC;
stevenh@64: 	sia:memberOfDataset _:dataset1;
stevenh@54: 	a sia:Datapoint .
stevenh@64: 
stevenh@64: _:vectorC sia:dimVal _:d1v2;
stevenh@64: 	sia:dimVal _:d2v1 .
stevenh@54: 	
stevenh@64: _:d1v2 sia:dimension "1"^^xsd:integer;
stevenh@64: 	sia:value "2.0"^^xsd:double.
stevenh@54: 	
stevenh@64: sia:D sia:vector _:vectorD;
stevenh@64: 	sia:memberOfDataset _:dataset1;
stevenh@64: 	a sia:Datapoint .
stevenh@64: 
stevenh@64: _:vectorD sia:dimVal _:d1v2;
stevenh@64: 	sia:dimVal _:d2v2 .
stevenh@54: 	
stevenh@64: _:d2v2 sia:dimension "2"^^xsd:integer;
stevenh@64: 	sia:value "2.0"^^xsd:double.
stevenh@64: 	
stevenh@64: sia:E sia:vector _:vectorE;
stevenh@64: 	sia:memberOfDataset _:dataset1;
stevenh@54: 	a sia:Datapoint .
stevenh@64: 
stevenh@64: _:vectorE sia:dimVal _:d1v2;
stevenh@64: 	sia:dimVal _:d2v3 .
stevenh@64: 			
stevenh@64: sia:F sia:vector _:vectorF;
stevenh@64: 	sia:memberOfDataset _:dataset1;
stevenh@64: 	a sia:Datapoint .
stevenh@64: 
stevenh@64: _:vectorF sia:dimVal _:d1v3;
stevenh@64: 	sia:dimVal _:d2v2 .
stevenh@54: 	
stevenh@64: _:d1v3 sia:dimension "1"^^xsd:integer;
stevenh@64: 	sia:value "3.0"^^xsd:double.
stevenh@54: 	
stevenh@54: 	
stevenh@64: #_:dataset2 a sia:Dataset.
stevenh@64: #
stevenh@64: #sia:Aa sia:dimVal _:dvAa1;
stevenh@64: #	sia:dimVal _:dvAa2;
stevenh@64: #	sia:memberOfDataset _:dataset2;
stevenh@64: #	a sia:Datapoint .
stevenh@64: #	
stevenh@64: #_:dvAa1 sia:dimension "1"^^xsd:integer;
stevenh@64: #	sia:value "1.0"^^xsd:double.
stevenh@64: #	
stevenh@64: #_:dvAa2 sia:dimension "2"^^xsd:integer;
stevenh@64: #	sia:value "1.0"^^xsd:double.
stevenh@64: #	
stevenh@64: #sia:Bb sia:dimVal _:dvBb1;
stevenh@64: #	sia:dimVal _:dvBb2;
stevenh@64: #	sia:memberOfDataset _:dataset2;
stevenh@64: #	a sia:Datapoint .
stevenh@64: #	
stevenh@64: #_:dvBb1 sia:dimension "1"^^xsd:integer;
stevenh@64: #	sia:value "1.0"^^xsd:double.
stevenh@64: #	
stevenh@64: #_:dvBb2 sia:dimension "2"^^xsd:integer;
stevenh@64: #	sia:value "3.0"^^xsd:double.
stevenh@64: #	
stevenh@64: #sia:Cc sia:dimVal _:dvCc1;
stevenh@64: #	sia:dimVal _:dvCc2;
stevenh@64: #	sia:memberOfDataset _:dataset2;
stevenh@64: #	a sia:Datapoint .
stevenh@64: #	
stevenh@64: #_:dvCc1 sia:dimension "1"^^xsd:integer;
stevenh@64: #	sia:value "2.0"^^xsd:double.
stevenh@64: #	
stevenh@64: #_:dvCc2 sia:dimension "2"^^xsd:integer;
stevenh@64: #	sia:value "1.0"^^xsd:double.
stevenh@64: #