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

Removed global restrictions except data property ranges.

parent 7bcfed67
Loading
Loading
Loading
Loading
+18 −73
Original line number Original line Diff line number Diff line
@@ -36,15 +36,11 @@


###  http://saref.linkeddata.es/def/envi#affectsProperty
###  http://saref.linkeddata.es/def/envi#affectsProperty
:affectsProperty rdf:type owl:ObjectProperty ;
:affectsProperty rdf:type owl:ObjectProperty ;
                 rdfs:domain :Actuator ;
                 rdfs:range :Property ;
                 rdfs:label "affects property"@en .
                 rdfs:label "affects property"@en .




###  http://saref.linkeddata.es/def/envi#containsDevice
###  http://saref.linkeddata.es/def/envi#containsDevice
:containsDevice rdf:type owl:ObjectProperty ;
:containsDevice rdf:type owl:ObjectProperty ;
                rdfs:domain :PhysicalObject ;
                rdfs:range :Device ;
                rdfs:label "contains device"@en .
                rdfs:label "contains device"@en .




@@ -52,144 +48,102 @@
:encapsulatesObject rdf:type owl:ObjectProperty ;
:encapsulatesObject rdf:type owl:ObjectProperty ;
                    owl:inverseOf :hasDigitalRepresentation ;
                    owl:inverseOf :hasDigitalRepresentation ;
                    rdf:type owl:FunctionalProperty ;
                    rdf:type owl:FunctionalProperty ;
                    rdfs:domain :DigitalRepresentation ;
                    rdfs:range :PhysicalObject ;
                    rdfs:label "encapsulates object"@en .
                    rdfs:label "encapsulates object"@en .




###  http://saref.linkeddata.es/def/envi#hasColor
:hasColor rdf:type owl:ObjectProperty ;
          rdfs:label "has light color"@en .


###  http://saref.linkeddata.es/def/envi#hasComponent
###  http://saref.linkeddata.es/def/envi#hasComponent
:hasComponent rdf:type owl:ObjectProperty ;
:hasComponent rdf:type owl:ObjectProperty ;
              owl:inverseOf :isComponentOf ;
              owl:inverseOf :isComponentOf ;
              rdf:type owl:TransitiveProperty ;
              rdf:type owl:TransitiveProperty ;
              rdfs:domain :System ;
              rdfs:range :System ;
              rdfs:label "has component"@en .
              rdfs:label "has component"@en .




###  http://saref.linkeddata.es/def/envi#hasDigitalRepresentation
###  http://saref.linkeddata.es/def/envi#hasDigitalRepresentation
:hasDigitalRepresentation rdf:type owl:ObjectProperty ,
:hasDigitalRepresentation rdf:type owl:ObjectProperty ,
                                   owl:InverseFunctionalProperty ;
                                   owl:InverseFunctionalProperty ;
                          rdfs:domain :PhysicalObject ;
                          rdfs:range :DigitalRepresentation ;
                          rdfs:label "has digital representation"@en .
                          rdfs:label "has digital representation"@en .




###  http://saref.linkeddata.es/def/envi#hasLightColor
###  http://saref.linkeddata.es/def/envi#hasGeometry
:hasLightColor rdf:type owl:ObjectProperty ;
:hasGeometry rdf:type owl:ObjectProperty ;
               rdfs:domain :Light ;
               rdfs:range :Color ;
               rdfs:label "has light color"@en .


###  http://saref.linkeddata.es/def/envi#hasLightGeometry
:hasLightGeometry rdf:type owl:ObjectProperty ;
                  rdfs:domain :Light ;
                  rdfs:range :Geometry ;
             rdfs:label "has light geometry"@en .
             rdfs:label "has light geometry"@en .




###  http://saref.linkeddata.es/def/envi#hasLightPoint
###  http://saref.linkeddata.es/def/envi#hasLightPoint
:hasLightPoint rdf:type owl:ObjectProperty ;
:hasLightPoint rdf:type owl:ObjectProperty ;
               rdfs:domain :Lamppost ;
               rdfs:range :LightPoint ;
               rdfs:label "has light point"@en .
               rdfs:label "has light point"@en .




###  http://saref.linkeddata.es/def/envi#hasMeasurementFrequency
###  http://saref.linkeddata.es/def/envi#hasMeasurementFrequency
:hasMeasurementFrequency rdf:type owl:ObjectProperty ;
:hasMeasurementFrequency rdf:type owl:ObjectProperty ;
                         rdfs:domain :Device ;
                         rdfs:range :FrequencyMeasurement ;
                         rdfs:label "has measurement frequency"@en .
                         rdfs:label "has measurement frequency"@en .




###  http://saref.linkeddata.es/def/envi#hasTransmissionPeriod
###  http://saref.linkeddata.es/def/envi#hasTransmissionPeriod
:hasTransmissionPeriod rdf:type owl:ObjectProperty ;
:hasTransmissionPeriod rdf:type owl:ObjectProperty ;
                       rdfs:domain :Device ;
                       rdfs:range :PeriodMeasurement ;
                       rdfs:label "has transmission period"@en .
                       rdfs:label "has transmission period"@en .




###  http://saref.linkeddata.es/def/envi#isAccesibleThrough
###  http://saref.linkeddata.es/def/envi#isAccesibleThrough
:isAccesibleThrough rdf:type owl:ObjectProperty ,
:isAccesibleThrough rdf:type owl:ObjectProperty ,
                             owl:FunctionalProperty ;
                             owl:FunctionalProperty ;
                    rdfs:domain :DigitalRepresentation ;
                    rdfs:range saref:Service ;
                    rdfs:label "is accesible through service"@en .
                    rdfs:label "is accesible through service"@en .




###  http://saref.linkeddata.es/def/envi#isComponentOf
###  http://saref.linkeddata.es/def/envi#isComponentOf
:isComponentOf rdf:type owl:ObjectProperty ,
:isComponentOf rdf:type owl:ObjectProperty ,
                        owl:TransitiveProperty ;
                        owl:TransitiveProperty ;
               rdfs:domain :System ;
               rdfs:range :System ;
               rdfs:label "is component of"@en .
               rdfs:label "is component of"@en .




###  http://saref.linkeddata.es/def/envi#isConnectedTo
###  http://saref.linkeddata.es/def/envi#isConnectedTo
:isConnectedTo rdf:type owl:ObjectProperty ,
:isConnectedTo rdf:type owl:ObjectProperty ,
                        owl:SymmetricProperty ;
                        owl:SymmetricProperty ;
               rdfs:domain :System ;
               rdfs:range :System ;
               rdfs:label "is connected to system"@en .
               rdfs:label "is connected to system"@en .




###  http://saref.linkeddata.es/def/envi#isProjectedFromHeight
###  http://saref.linkeddata.es/def/envi#isProjectedFromHeight
:isProjectedFromHeight rdf:type owl:ObjectProperty ;
:isProjectedFromHeight rdf:type owl:ObjectProperty ;
                       rdfs:domain :Light ;
                       rdfs:range :HeightMeasurement ;
                       rdfs:label "is projected from height"@en .
                       rdfs:label "is projected from height"@en .




###  http://saref.linkeddata.es/def/envi#isProjectedInDirection
###  http://saref.linkeddata.es/def/envi#isProjectedInDirection
:isProjectedInDirection rdf:type owl:ObjectProperty ;
:isProjectedInDirection rdf:type owl:ObjectProperty ;
                        rdfs:domain :Light ;
                        rdfs:range :CompassDirection ;
                        rdfs:label "is projected in direction"@en .
                        rdfs:label "is projected in direction"@en .




###  http://saref.linkeddata.es/def/envi#makesMeasurement
###  http://saref.linkeddata.es/def/envi#makesMeasurement
:makesMeasurement rdf:type owl:ObjectProperty ;
:makesMeasurement rdf:type owl:ObjectProperty ;
                  rdfs:domain :Sensor ;
                  rdfs:range :Measurement ;
                  rdfs:label "makes measurement"@en .
                  rdfs:label "makes measurement"@en .




###  http://saref.linkeddata.es/def/envi#measuresProperty
###  http://saref.linkeddata.es/def/envi#measuresProperty
:measuresProperty rdf:type owl:ObjectProperty ;
:measuresProperty rdf:type owl:ObjectProperty ;
                  rdfs:domain :Sensor ;
                  rdfs:range :Property ;
                  rdfs:label "measures property"@en .
                  rdfs:label "measures property"@en .




###  http://saref.linkeddata.es/def/envi#projectsLight
###  http://saref.linkeddata.es/def/envi#projectsLight
:projectsLight rdf:type owl:ObjectProperty ;
:projectsLight rdf:type owl:ObjectProperty ;
               rdfs:domain [ rdf:type owl:Class ;
                             owl:unionOf ( :Lamppost
                                           :LightPoint
                                         )
                           ] ;
               rdfs:range :Light ;
               rdfs:label "projects light"@en .
               rdfs:label "projects light"@en .




###  http://saref.linkeddata.es/def/envi#relatesToProperty
###  http://saref.linkeddata.es/def/envi#relatesToProperty
:relatesToProperty rdf:type owl:ObjectProperty ;
:relatesToProperty rdf:type owl:ObjectProperty ;
                   rdfs:domain :Measurement ;
                   rdfs:range :Property ;
                   rdfs:label "relates to property"@en .
                   rdfs:label "relates to property"@en .




###  http://saref.linkeddata.es/def/envi#usesCommunicationInterface
###  http://saref.linkeddata.es/def/envi#usesCommunicationInterface
:usesCommunicationInterface rdf:type owl:ObjectProperty ;
:usesCommunicationInterface rdf:type owl:ObjectProperty ;
                            rdfs:domain :System ;
                            rdfs:range :CommunicationInterface ;
                            rdfs:label "uses communication interface"@en .
                            rdfs:label "uses communication interface"@en .




###  http://saref.linkeddata.es/def/envi#usesCommunicationProtocol
###  http://saref.linkeddata.es/def/envi#usesCommunicationProtocol
:usesCommunicationProtocol rdf:type owl:ObjectProperty ;
:usesCommunicationProtocol rdf:type owl:ObjectProperty ;
                           rdfs:domain :System ;
                           rdfs:range :CommunicationProtocol ;
                           rdfs:label "uses communication protocol"@en .
                           rdfs:label "uses communication protocol"@en .




@@ -208,7 +162,6 @@ saref:isMeasuredIn rdf:type owl:ObjectProperty .
###  http://saref.linkeddata.es/def/envi#hasCreationDate
###  http://saref.linkeddata.es/def/envi#hasCreationDate
:hasCreationDate rdf:type owl:DatatypeProperty ,
:hasCreationDate rdf:type owl:DatatypeProperty ,
                          owl:FunctionalProperty ;
                          owl:FunctionalProperty ;
                 rdfs:domain owl:Thing ;
                 rdfs:range xsd:dateTime ;
                 rdfs:range xsd:dateTime ;
                 rdfs:label "has creation date"@en .
                 rdfs:label "has creation date"@en .


@@ -216,38 +169,26 @@ saref:isMeasuredIn rdf:type owl:ObjectProperty .
###  http://saref.linkeddata.es/def/envi#hasFlash
###  http://saref.linkeddata.es/def/envi#hasFlash
:hasFlash rdf:type owl:DatatypeProperty ,
:hasFlash rdf:type owl:DatatypeProperty ,
                   owl:FunctionalProperty ;
                   owl:FunctionalProperty ;
          rdfs:domain :Light ;
          rdfs:range xsd:boolean ;
          rdfs:range xsd:boolean ;
          rdfs:label "has flash"@en .
          rdfs:label "has flash"@en .




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




###  http://saref.linkeddata.es/def/envi#hasMeasurementTimestamp
:hasMeasurementTimestamp rdf:type owl:DatatypeProperty ,
                                  owl:FunctionalProperty ;
                         rdfs:domain :Measurement ;
                         rdfs:range xsd:dateTime ;
                         rdfs:label "has measurement timestamp"@en .


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




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


@@ -255,22 +196,26 @@ saref:isMeasuredIn rdf:type owl:ObjectProperty .
###  http://saref.linkeddata.es/def/envi#hasShield
###  http://saref.linkeddata.es/def/envi#hasShield
:hasShield rdf:type owl:DatatypeProperty ,
:hasShield rdf:type owl:DatatypeProperty ,
                    owl:FunctionalProperty ;
                    owl:FunctionalProperty ;
           rdfs:domain :Lamppost ;
           rdfs:range xsd:boolean ;
           rdfs:range xsd:boolean ;
           rdfs:label "has shield"@en .
           rdfs:label "has shield"@en .




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




###  http://saref.linkeddata.es/def/envi#hasTimestamp
:hasTimestamp rdf:type owl:DatatypeProperty ,
                       owl:FunctionalProperty ;
              rdfs:range xsd:dateTime ;
              rdfs:label "has measurement timestamp"@en .


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


@@ -487,11 +432,11 @@ saref:hasValue rdf:type owl:DatatypeProperty .
###  http://saref.linkeddata.es/def/envi#Light
###  http://saref.linkeddata.es/def/envi#Light
:Light rdf:type owl:Class ;
:Light rdf:type owl:Class ;
       rdfs:subClassOf [ rdf:type owl:Restriction ;
       rdfs:subClassOf [ rdf:type owl:Restriction ;
                         owl:onProperty :hasLightColor ;
                         owl:onProperty :hasColor ;
                         owl:allValuesFrom :Color
                         owl:allValuesFrom :Color
                       ] ,
                       ] ,
                       [ rdf:type owl:Restriction ;
                       [ rdf:type owl:Restriction ;
                         owl:onProperty :hasLightGeometry ;
                         owl:onProperty :hasGeometry ;
                         owl:allValuesFrom :Geometry
                         owl:allValuesFrom :Geometry
                       ] ,
                       ] ,
                       [ rdf:type owl:Restriction ;
                       [ rdf:type owl:Restriction ;
@@ -553,7 +498,7 @@ saref:hasValue rdf:type owl:DatatypeProperty .
                               owl:onClass saref:UnitOfMeasure
                               owl:onClass saref:UnitOfMeasure
                             ] ,
                             ] ,
                             [ rdf:type owl:Restriction ;
                             [ rdf:type owl:Restriction ;
                               owl:onProperty :hasMeasurementTimestamp ;
                               owl:onProperty :hasTimestamp ;
                               owl:allValuesFrom xsd:dateTime
                               owl:allValuesFrom xsd:dateTime
                             ] ,
                             ] ,
                             [ rdf:type owl:Restriction ;
                             [ rdf:type owl:Restriction ;