view src/rdf/siaTestDatapointOntology.n3 @ 94:fedf516f6a78 tip

test file

@prefix rdfs:    <http://www.w3.org/2000/01/rdf-schema#> .
@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 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 .
sia:dimension a rdf:Property .
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

_: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 .
	
_:vectorA sia:dimVal _:d1v1;
	sia:dimVal _:d2v1 .

_:d1v1 sia:dimension "1"^^xsd:integer;
	sia:value "1.0"^^xsd:double.
	
_:d2v1 sia:dimension "2"^^xsd:integer;
	sia:value "1.0"^^xsd:double.
	
sia:B sia:vector _:vectorB;
	sia:memberOfDataset _:dataset1;
	a sia:Datapoint .
	
_:vectorB sia:dimVal _:d1v1;
	sia:dimVal _:d2v3 .
	
_:d2v3 sia:dimension "2"^^xsd:integer;
	sia:value "3.0"^^xsd:double.
	
sia:C sia:vector _:vectorC;
	sia:memberOfDataset _:dataset1;
	a sia:Datapoint .

_:vectorC sia:dimVal _:d1v2;
	sia:dimVal _:d2v1 .
	
_:d1v2 sia:dimension "1"^^xsd:integer;
	sia:value "2.0"^^xsd:double.
	
sia:D sia:vector _:vectorD;
	sia:memberOfDataset _:dataset1;
	a sia:Datapoint .

_:vectorD sia:dimVal _:d1v2;
	sia:dimVal _:d2v2 .
	
_: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 .
	
_:d1v3 sia:dimension "1"^^xsd:integer;
	sia:value "3.0"^^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.
#