Commit 32ea8a15 authored by Raul Garcia-Castro's avatar Raul Garcia-Castro
Browse files

Added the affectsProperty property.

Renamed some properties.
Added local restrictions to classes.
parent 0b7e02ff
Loading
Loading
Loading
Loading
+150 −27
Original line number Diff line number Diff line
@@ -66,6 +66,12 @@ xsd:duration rdf:type rdfs:Datatype .
#    Object Properties
#################################################################

###  http://saref.linkeddata.es/def/envi#affectsProperty
:affectsProperty rdf:type owl:ObjectProperty ;
                 rdfs:domain :Actuator ;
                 rdfs:range saref:Property .


###  http://saref.linkeddata.es/def/envi#containsDevice
:containsDevice rdf:type owl:ObjectProperty ;
                rdfs:domain :PhysicalObject ;
@@ -257,8 +263,8 @@ saref:isMeasuredIn rdf:type owl:ObjectProperty .
          rdfs:label "hasFlash"@en .


###  http://saref.linkeddata.es/def/envi#hasId
:hasId rdf:type owl:DatatypeProperty ;
###  http://saref.linkeddata.es/def/envi#hasIdentifier
:hasIdentifier rdf:type owl:DatatypeProperty ;
               rdfs:domain owl:Thing ;
               rdfs:range xsd:string ;
               rdfs:comment "A relationship providing the identifier of an entity (e.g., digital representation)"@en ;
@@ -266,6 +272,14 @@ saref:isMeasuredIn rdf:type owl:ObjectProperty .
                          "has identifier"@en .


###  http://saref.linkeddata.es/def/envi#hasProjectionAngle
:hasProjectionAngle rdf:type owl:DatatypeProperty ,
                             owl:FunctionalProperty ;
                    rdfs:domain saref:Light ;
                    rdfs:range xsd:float ;
                    rdfs:label "hasProjectionAngle"@en .


###  http://saref.linkeddata.es/def/envi#hasRevisionNumber
:hasRevisionNumber rdf:type owl:DatatypeProperty ;
                   rdfs:domain owl:Thing ;
@@ -281,6 +295,13 @@ saref:isMeasuredIn rdf:type owl:ObjectProperty .
           rdfs:label "hasShield"@en .


###  http://saref.linkeddata.es/def/envi#hasTag
:hasTag rdf:type owl:DatatypeProperty ;
        rdfs:domain owl:Thing ;
        rdfs:range xsd:string ;
        rdfs:label "tag"@en .


###  http://saref.linkeddata.es/def/envi#hasVersion
:hasVersion rdf:type owl:DatatypeProperty ,
                     owl:FunctionalProperty ;
@@ -313,21 +334,6 @@ saref:isMeasuredIn rdf:type owl:ObjectProperty .
             rdfs:label "periodValue"@en .


###  http://saref.linkeddata.es/def/envi#projectionAngle
:projectionAngle rdf:type owl:DatatypeProperty ,
                          owl:FunctionalProperty ;
                 rdfs:domain saref:Light ;
                 rdfs:range xsd:float ;
                 rdfs:label "projectionAngle"@en .


###  http://saref.linkeddata.es/def/envi#tag
:tag rdf:type owl:DatatypeProperty ;
     rdfs:domain owl:Thing ;
     rdfs:range xsd:string ;
     rdfs:label "tag"@en .


###  https://w3id.org/saref#hasDescription
saref:hasDescription rdf:type owl:DatatypeProperty .

@@ -351,12 +357,20 @@ saref:hasValue rdf:type owl:DatatypeProperty .

###  http://saref.linkeddata.es/def/envi#Actuator
:Actuator rdf:type owl:Class ;
          rdfs:subClassOf :Device ;
          rdfs:subClassOf :Device ,
                          [ rdf:type owl:Restriction ;
                            owl:onProperty :affectsProperty ;
                            owl:allValuesFrom saref:Property
                          ] ;
          rdfs:label "Actuator"@en .


###  http://saref.linkeddata.es/def/envi#CommunicationInterface
:CommunicationInterface rdf:type owl:Class ;
                        rdfs:subClassOf [ rdf:type owl:Restriction ;
                                          owl:onProperty :hasVersion ;
                                          owl:allValuesFrom xsd:string
                                        ] ;
                        rdfs:label "CommunicationInterface"@en .


@@ -414,7 +428,39 @@ saref:hasValue rdf:type owl:DatatypeProperty .
###  http://saref.linkeddata.es/def/envi#DigitalRepresentation
:DigitalRepresentation rdf:type owl:Class ;
                       rdfs:subClassOf [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasId ;
                                         owl:onProperty :encapsulatesObject ;
                                         owl:allValuesFrom :PhysicalObject
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :exposesFunctionality ;
                                         owl:allValuesFrom saref:ActuatingFunction
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :isAccesibleThroughService ;
                                         owl:allValuesFrom :Service
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :creationDate ;
                                         owl:allValuesFrom xsd:dateTime
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasIdentifier ;
                                         owl:allValuesFrom xsd:string
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasTag ;
                                         owl:allValuesFrom xsd:string
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty saref:hasDescription ;
                                         owl:allValuesFrom xsd:string
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty saref:hasName ;
                                         owl:allValuesFrom xsd:string
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty :hasIdentifier ;
                                         owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                         owl:onDataRange xsd:string
                                       ] ,
@@ -442,6 +488,10 @@ saref:hasValue rdf:type owl:DatatypeProperty .
                             owl:onProperty saref:isMeasuredIn ;
                             owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                             owl:onClass :FrequencyUnit
                           ] ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty :frequencyValue ;
                             owl:allValuesFrom xsd:float
                           ] ;
           rdfs:label "Frequency"@en .

@@ -459,7 +509,19 @@ saref:hasValue rdf:type owl:DatatypeProperty .

###  http://saref.linkeddata.es/def/envi#Lamppost
:Lamppost rdf:type owl:Class ;
          rdfs:subClassOf :Device ;
          rdfs:subClassOf :Device ,
                          [ rdf:type owl:Restriction ;
                            owl:onProperty :hasLightPoint ;
                            owl:allValuesFrom :LightPoint
                          ] ,
                          [ rdf:type owl:Restriction ;
                            owl:onProperty :projectsLight ;
                            owl:allValuesFrom :Light
                          ] ,
                          [ rdf:type owl:Restriction ;
                            owl:onProperty :hasShield ;
                            owl:allValuesFrom xsd:boolean
                          ] ;
          rdfs:label "Lamppost"@en .


@@ -471,6 +533,30 @@ saref:hasValue rdf:type owl:DatatypeProperty .

###  http://saref.linkeddata.es/def/envi#Light
:Light rdf:type owl:Class ;
       rdfs:subClassOf [ rdf:type owl:Restriction ;
                         owl:onProperty :hasLightColor ;
                         owl:allValuesFrom :LightColor
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :hasLightGeometry ;
                         owl:allValuesFrom :Geometry
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :isProjectedFromHeight ;
                         owl:allValuesFrom :LightHeight
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :isProjectedInDirection ;
                         owl:allValuesFrom :CompassDirection
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :hasFlash ;
                         owl:allValuesFrom xsd:boolean
                       ] ,
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :hasProjectionAngle ;
                         owl:allValuesFrom xsd:float
                       ] ;
       rdfs:label "Light"@en .


@@ -491,6 +577,14 @@ saref:hasValue rdf:type owl:DatatypeProperty .

###  http://saref.linkeddata.es/def/envi#LightPoint
:LightPoint rdf:type owl:Class ;
            rdfs:subClassOf [ rdf:type owl:Restriction ;
                              owl:onProperty :projectsLight ;
                              owl:allValuesFrom :Light
                            ] ,
                            [ rdf:type owl:Restriction ;
                              owl:onProperty geo:location ;
                              owl:allValuesFrom geo:SpatialThing
                            ] ;
            rdfs:label "LightPoint"@en .


@@ -503,6 +597,14 @@ saref:hasValue rdf:type owl:DatatypeProperty .
###  http://saref.linkeddata.es/def/envi#Observation
:Observation rdf:type owl:Class ;
             rdfs:subClassOf [ rdf:type owl:Restriction ;
                               owl:onProperty :observedProperty ;
                               owl:allValuesFrom saref:Property
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty saref:isMeasuredIn ;
                               owl:allValuesFrom saref:UnitOfMeasure
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :observedProperty ;
                               owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                               owl:onClass saref:Property
@@ -512,6 +614,14 @@ saref:hasValue rdf:type owl:DatatypeProperty .
                               owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                               owl:onClass saref:UnitOfMeasure
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :observationTimeStamp ;
                               owl:allValuesFrom xsd:dateTime
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty saref:hasValue ;
                               owl:allValuesFrom xsd:string
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :observationTimeStamp ;
                               owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
@@ -519,7 +629,8 @@ saref:hasValue rdf:type owl:DatatypeProperty .
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty saref:hasValue ;
                               owl:cardinality "1"^^xsd:nonNegativeInteger
                               owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                               owl:onDataRange xsd:string
                             ] ;
             rdfs:label "Observation"@en .

@@ -530,6 +641,10 @@ saref:hasValue rdf:type owl:DatatypeProperty .
                          owl:onProperty saref:isMeasuredIn ;
                          owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                          owl:onClass time:TemporalUnit
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :periodValue ;
                          owl:allValuesFrom xsd:float
                        ] ;
        rdfs:label "Period"@en .

@@ -573,7 +688,15 @@ saref:hasValue rdf:type owl:DatatypeProperty .
###  http://saref.linkeddata.es/def/envi#Sensor
:Sensor rdf:type owl:Class ;
        rdfs:subClassOf :Device ,
                        saref:Sensor ;
                        saref:Sensor ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :makesObservation ;
                          owl:allValuesFrom :Observation
                        ] ,
                        [ rdf:type owl:Restriction ;
                          owl:onProperty :observesProperty ;
                          owl:allValuesFrom saref:Property
                        ] ;
        rdfs:label "Sensor"@en .