Commit 54015caa authored by Raul Garcia-Castro's avatar Raul Garcia-Castro
Browse files

Added geo namespace. 

Added local restrictions to PhysicalObject.
parent 0516a06f

SAREF4ENV/ontology/saref4envi.ttl

+21 −0
Original line number Original line Diff line number Diff line 
@prefix : <http://saref.linkeddata.es/def/envi#> .

@prefix : <http://saref.linkeddata.es/def/envi#> .

@prefix dc: <http://purl.org/dc/elements/1.1/> .

@prefix dc: <http://purl.org/dc/elements/1.1/> .

@prefix vs: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .

@prefix vs: <http://www.w3.org/2003/06/sw-vocab-status/ns#> .

@prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> .

@prefix owl: <http://www.w3.org/2002/07/owl#> .

@prefix owl: <http://www.w3.org/2002/07/owl#> .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

@prefix wot: <http://xmlns.com/wot/0.1/> .

@prefix wot: <http://xmlns.com/wot/0.1/> .
@@ -221,6 +222,10 @@ xsd:duration rdf:type rdfs:Datatype . 
                           rdfs:label "usesCommunicationProtocol"@en .

                           rdfs:label "usesCommunicationProtocol"@en .









###  http://www.w3.org/2003/01/geo/wgs84_pos#location

geo:location rdf:type owl:ObjectProperty .





###  https://w3id.org/saref#isMeasuredIn

###  https://w3id.org/saref#isMeasuredIn

saref:isMeasuredIn rdf:type owl:ObjectProperty .

saref:isMeasuredIn rdf:type owl:ObjectProperty .
@@ -511,6 +516,18 @@ saref:hasValue rdf:type owl:DatatypeProperty . 
###  http://saref.linkeddata.es/def/envi#PhysicalObject

###  http://saref.linkeddata.es/def/envi#PhysicalObject

:PhysicalObject rdf:type owl:Class ;

:PhysicalObject rdf:type owl:Class ;

                rdfs:subClassOf [ rdf:type owl:Restriction ;

                rdfs:subClassOf [ rdf:type owl:Restriction ;

                                  owl:onProperty :containsDevice ;

                                  owl:allValuesFrom :Device

                                ] ,

                                [ rdf:type owl:Restriction ;

                                  owl:onProperty :hasDigitalRepresentation ;

                                  owl:allValuesFrom :DigitalRepresentation

                                ] ,

                                [ rdf:type owl:Restriction ;

                                  owl:onProperty geo:location ;

                                  owl:allValuesFrom geo:SpatialThing

                                ] ,

                                [ rdf:type owl:Restriction ;

                                  owl:onProperty saref:hasDescription ;

                                  owl:onProperty saref:hasDescription ;

                                  owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;

                                  owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;

                                  owl:onDataRange xsd:string

                                  owl:onDataRange xsd:string
@@ -542,6 +559,10 @@ saref:hasValue rdf:type owl:DatatypeProperty . 
      rdfs:label "TESS (Telescope Encoder and Sky Sensor)"@en .

      rdfs:label "TESS (Telescope Encoder and Sky Sensor)"@en .









###  http://www.w3.org/2003/01/geo/wgs84_pos#SpatialThing

geo:SpatialThing rdf:type owl:Class .





###  http://www.w3.org/2006/time#TemporalUnit

###  http://www.w3.org/2006/time#TemporalUnit

time:TemporalUnit rdf:type owl:Class .

time:TemporalUnit rdf:type owl:Class .