steve@0: @prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
steve@0: @prefix owl:     <http://www.w3.org/2002/07/owl#> .
steve@0: @prefix xsd:     <http://www.w3.org/2001/XMLSchema#> .
steve@0: @prefix rdf:     <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
steve@0: @prefix sia:     <http://example.org/sia#> .
steve@0: 
stevenh@53: #sia:OrderableThing a owl:Class.
stevenh@53: #sia:Datapoint rdfs:subClassOf sia:OrderableThing.
stevenh@65: 
stevenh@65: sia:Dataset a owl:Class.
stevenh@53: sia:Datapoint a owl:Class.
steve@0: sia:DimensionValue a owl:Class .
stevenh@53: sia:VectorTableElement a owl:Class .
stevenh@65: sia:Vector a owl:Class .
stevenh@65: sia:SetV a owl:Class .
stevenh@65: sia:SetV rdfs:subClassOf sia:SetW .
stevenh@65: sia:OrderedSet rdfs:subClassOf sia:Dataset .
steve@0: 
stevenh@53: sia:dimVal a rdf:Property .
steve@0: sia:dimVal rdfs:range sia:DimensionValue .
stevenh@53: sia:dimension a rdf:Property .
stevenh@53: sia:value a rdf:Property .
stevenh@53: sia:fromDatapoint a rdf:Property .
stevenh@53: sia:toDatapoint a rdf:Property .
stevenh@65: sia:memberOfOrderedSet a rdf:Property .
stevenh@65: sia:memberOfOrderedSet rdfs:range sia:OrderedSet .
stevenh@65: sia:siaResult a rdf:Property .
stevenh@65: sia:siatecResult a rdf:Property .
stevenh@65: sia:mtpDatapoint a rdf:Property .
stevenh@65: sia:vector a rdf:Property .
stevenh@65: sia:vector rdfs:range sia:Vector .
stevenh@65: 
stevenh@65: #sia:ProcessedDatapoint owl:equivalentClass
stevenh@65: #[ a owl:Restriction;
stevenh@65: #	owl:onProperty sia:memberOfOrderedSet;
stevenh@65: #	owl:someValuesFrom sia:OrderedSet];
stevenh@65: #	rdfs:subClassOf sia:Datapoint .
stevenh@65: 	
stevenh@65: #sia:UnprocessedDatapoint rdfs:subClassOf sia:Datapoint;
stevenh@65: #	owl:disjointWith sia:ProcessedDatapoint .
stevenh@65: 
stevenh@65: #sia:UnprocessedDatapoint owl:intersectionOf
stevenh@65: #	([ a owl:Class ;
stevenh@65: #	   owl:complementOf sia:ProcessedDatapoint ]
stevenh@65: #	 sia:Datapoint ) .
stevenh@65: 
stevenh@65: #sia:UnprocessedDatapoint owl:complementOf sia:ProcessedDatapoint .
steve@0: 
stevenh@53: #sia:follows rdfs:range sia:OrderableThing .
stevenh@53: #sia:follows rdfs:domain sia:OrderableThing .
stevenh@53: #sia:precedes owl:inverseOf sia:follows .
stevenh@53: #sia:follows rdf:type owl:TransitiveProperty .
stevenh@53: #sia:directlyFollows rdfs:subPropertyOf sia:follows .
steve@0: 
stevenh@53: ## The data
steve@0: 
stevenh@65: #_:dataset1 a sia:Dataset.
stevenh@65: 
stevenh@53: #sia:A sia:dimVal sia:dvA1;
stevenh@53: #	sia:dimVal sia:dvA2;
stevenh@65: #	sia:memberOfDataset _:dataset1;
stevenh@53: #	a sia:Datapoint .
steve@0: 	
stevenh@53: #sia:dvA1 sia:dimension "1"^^xsd:integer;
stevenh@53: #	sia:value "1"^^xsd:double.
steve@0: 	
stevenh@53: #sia:dvA2 sia:dimension "2"^^xsd:integer;
stevenh@53: #	sia:value "1"^^xsd:double.
steve@0: 	
stevenh@53: #sia:B sia:dimVal sia:dvB1;
stevenh@53: #	sia:dimVal sia:dvB2;
stevenh@65: #	sia:memberOfDataset _:dataset1;
stevenh@53: #	a sia:Datapoint .
steve@0: 	
stevenh@53: #sia:dvB1 sia:dimension "1"^^xsd:integer;
stevenh@53: #	sia:value "1"^^xsd:double.
steve@0: 	
stevenh@53: #sia:dvB2 sia:dimension "2"^^xsd:integer;
stevenh@53: #	sia:value "3"^^xsd:double.
steve@0: 	
stevenh@53: #sia:C sia:dimVal sia:dvC1;
stevenh@53: #	sia:dimVal sia:dvC2;
stevenh@65: #	sia:memberOfDataset _:dataset1;
stevenh@53: #	a sia:Datapoint .
steve@0: 	
stevenh@53: #sia:dvC1 sia:dimension "1"^^xsd:integer;
stevenh@53: #	sia:value "2"^^xsd:double.
steve@0: 	
stevenh@53: #sia:dvC2 sia:dimension "2"^^xsd:integer;
stevenh@53: #	sia:value "1"^^xsd:double.
steve@0: 	
stevenh@53: #sia:D sia:dimVal sia:dvD1;
stevenh@53: #	sia:dimVal sia:dvD2;
stevenh@65: #	sia:memberOfDataset _:dataset1;
stevenh@53: #	a sia:Datapoint .
steve@0: 	
stevenh@53: #sia:dvD1 sia:dimension "1"^^xsd:integer;
stevenh@53: #	sia:value "2"^^xsd:double.
steve@0: 	
stevenh@53: #sia:dvD2 sia:dimension "2"^^xsd:integer;
stevenh@53: #	sia:value "2"^^xsd:double.
steve@0: 	
stevenh@53: #sia:E sia:dimVal sia:dvE1;
stevenh@53: #	sia:dimVal sia:dvE2;
stevenh@65: #	sia:memberOfDataset _:dataset1;
stevenh@53: #	a sia:Datapoint .
steve@0: 	
stevenh@53: #sia:dvE1 sia:dimension "1"^^xsd:integer;
stevenh@53: #	sia:value "2"^^xsd:double.
steve@0: 	
stevenh@53: #sia:dvE2 sia:dimension "2"^^xsd:integer;
stevenh@53: #	sia:value "3"^^xsd:double.
steve@0: 	
stevenh@53: #sia:F sia:dimVal sia:dvF1;
stevenh@53: #	sia:dimVal sia:dvF2;
stevenh@65: #	sia:memberOfDataset _:dataset1;
stevenh@53: #	a sia:Datapoint .
steve@0: 	
stevenh@53: #sia:dvF1 sia:dimension "1"^^xsd:integer;
stevenh@53: #	sia:value "3"^^xsd:double.
steve@0: 	
stevenh@53: #sia:dvF2 sia:dimension "2"^^xsd:integer;
stevenh@53: #	sia:value "2"^^xsd:double.
steve@0: