Commit dbc9c80c authored by Maxime Lefrançois's avatar Maxime Lefrançois
Browse files

implemented closes #15

- saref:accomplishes: A relationship between a certain entity (e.g., a device) and the task it accomplishes
From this definition, it is unambiguous that the object of a saref:accomplishes relationship is always a task.
- saref:accomplishes - A relationship between a certain entity (e.g., a device) and the task it accomplishes
  - domain is saref:Command and range is saref:State
- saref:actsUpon - A relationship between a command and a state
  - domain saref:Command, range saref:State
- saref:controlsProperty - A relationship specifying the Property that can be controlled by a certain Device
  - domain saref:Device, range saref:Property
- saref:hasCommand - A relationship between an entity (such as a function) and a command
  - domain saref:Function and range saref:Command
- saref:hasFunction - A relationship identifying the type of function of a device
  - domain saref:Device and range saref:Function
- saref:hasMeterReading - A relationship between a metering function and the measurement of the reading
  - domain saref:MeteringFunction and range saref:Measurement.
- saref:hasMeterReadingType - A relationship identifying the reading type of a measurement (e.g., Water, Gas, Pressure , Energy , Power, etc.)
  - domain saref:Measurement and range saref:Property
- saref:hasPrice - A relationships indentifying the price associated to an entity
  - range saref:Price
- saref:hasProfile - A relationship associating a profile to a certain entity (e.g., a device)
  - domain saref:Device and range saref:Profile
- saref:hasSensingRange - A relationship between a sensing function and a measurement identifying the range of a sensor detection
  - domain saref:SensingFunction and range saref:Measurement
- saref:hasSensorType - A relationship identifying the sensing type of a sensor detection (i.e., Temperature, Occupancy, Humidity, Motion , Smoke, Pressure, etc.)
  - domain saref:SensingFunction and range Property
- saref:hasState - A relationship identifying the type of state of a device
  - domain saref:Device and range saref:State
- saref:hasThresholdMeasurement - A relationship associated with an event function to notify that a certain threshold measurement has been exceeded
  - domain saref:EventFunction and range saref:Measurement
- saref:hasTime - A relationship to associate time information to an entity
  - range saref:Time
- saref:isAccomplishedBy - A relationship identifying the task accomplished by a certain entity (e.g., a device)
  - domain saref:Task
- saref:isCommandOf - A relationship between a command and a function.
  - domain saref:Command and range saref:Function
- saref:isControlledByDevice - A relationship specifying the devices that can control a certain property
  - domain saref:Property and range saref:Device
- saref:isMeasuredByDevice - A relationship specifying the devices that can measure a certain property
  - domain saref:Property and range saref:Device
- saref:isMeasuredIn - A relationship identifying the unit of measure used for a certain entity.
  - domain saref:Measurement and range saref:UnitOfMeasure
- saref:isOfferedBy - A relationship between a service and a device that offers the service
  - domain saref:Service and range saref:Device
- saref:makesMeasurement - A relation between a device and the measurements it makes. Such measurement will link together the value of the measurement, its unit of measure and the property to which it relates.
  - domain saref:Device and range saref:Measurement
- saref:measuresProperty - A relationship specifying the Property that can be measured by a certain Device
  - domain saref:Device and range saref:Property
- saref:offers - A relationship between a device and a service
  - domain saref Device and range saref:Service
- saref:relatesToMeasurement - A relationship between a property and the measurements it relates to
  - domain saref:Property and range saref:Measurement
- saref:relatesToProperty - A relationship between a measurement and the property it relates to
  - domain saref:Measurement and range saref:Property
- saref:represents - A relationship between a service and a function.
  - domain saref:Service and range saref:Function

**Proposal:** To add ObjectPropertyDomain and ObjectPropertyRange axioms wherever the definition of a property unambiguously identifies the domain or the range of a property.
parent 9a64b7f0
Loading
Loading
Loading
Loading
+49 −1
Original line number Diff line number Diff line
@@ -35,12 +35,15 @@
saref:accomplishes rdf:type owl:ObjectProperty ;
                   owl:inverseOf saref:isAccomplishedBy ;
                   rdfs:comment "A relationship between a certain entity (e.g., a device) and the task it accomplishes"@en ;
                   rdfs:range saref:Task ;
                   rdfs:label "accomplishes"@en .


###  https://saref.etsi.org/saref#actsUpon
saref:actsUpon rdf:type owl:ObjectProperty ;
               rdfs:comment "A relationship between a command and a state"@en ;
               rdfs:domain saref:Command ;
               rdfs:range saref:State ;
               rdfs:label "acts upon"@en .


@@ -53,6 +56,8 @@ saref:consistsOf rdf:type owl:ObjectProperty ;
###  https://saref.etsi.org/saref#controlsProperty
saref:controlsProperty rdf:type owl:ObjectProperty ;
                       rdfs:comment "A relationship specifying the property that can be controlled by a certain device"@en ;
                       rdfs:domain saref:Device ;
                       rdfs:range saref:Property ;
                       rdfs:label "controls property"@en .


@@ -60,6 +65,8 @@ saref:controlsProperty rdf:type owl:ObjectProperty ;
saref:hasCommand rdf:type owl:ObjectProperty ;
                 owl:inverseOf saref:isCommandOf ;
                 rdfs:comment "A relationship between a function and a command"@en ;
                 rdfs:domain saref:Function ;
                 rdfs:range saref:Command ;
                 rdfs:label "has command"@en .


@@ -73,30 +80,39 @@ saref:isMeasurementOf rdf:type owl:ObjectProperty ;
###  https://saref.etsi.org/saref#hasFunction
saref:hasFunction rdf:type owl:ObjectProperty ;
                  rdfs:comment "A relationship identifying the function of a device"@en ;
                  rdfs:domain saref:Device ;
                  rdfs:range saref:Function ;
                  rdfs:label "has function"@en .


###  https://saref.etsi.org/saref#hasMeterReading
saref:hasMeterReading rdf:type owl:ObjectProperty ;
                      rdfs:comment "A relationship between a metering function and the measurement of the reading"@en ;
                      rdfs:domain saref:MeteringFunction ;
                      rdfs:range saref:Measurement ;
                      rdfs:label "has meter reading"@en .


###  https://saref.etsi.org/saref#hasMeterReadingType
saref:hasMeterReadingType rdf:type owl:ObjectProperty ;
                          rdfs:comment "A relationship identifying the reading type of a measurement (e.g., Water, Gas, Pressure , Energy , Power, etc.)"@en ;
                          rdfs:domain saref:Measurement ;
                          rdfs:range saref:Property ;
                          rdfs:label "has meter reading type"@en .


###  https://saref.etsi.org/saref#hasPrice
saref:hasPrice rdf:type owl:ObjectProperty ;
               rdfs:comment "A relationship indentifying the price associated to an entity"@en ;
               rdfs:range saref:Price ;
               rdfs:label "has price"@en .


###  https://saref.etsi.org/saref#hasProfile
saref:hasProfile rdf:type owl:ObjectProperty ;
                 rdfs:comment "A relationship associating a profile to a certain device"@en ;
                 rdfs:domain saref:Device ;
                 rdfs:range saref:Profile ;
                 rdfs:label "has profile"@en .


@@ -110,30 +126,39 @@ saref:hasProperty rdf:type owl:ObjectProperty ;
###  https://saref.etsi.org/saref#hasSensingRange
saref:hasSensingRange rdf:type owl:ObjectProperty ;
                      rdfs:comment "A relationship between a sensing function and a measurement identifying the range of a sensor detection"@en ;
                      rdfs:domain saref:SensingFunction ;
                      rdfs:range saref:Measurement ;
                      rdfs:label "has sensing range"@en .


###  https://saref.etsi.org/saref#hasSensorType
saref:hasSensorType rdf:type owl:ObjectProperty ;
                    rdfs:comment "A relationship identifying the sensing type of a sensor detection (i.e., Temperature, Occupancy, Humidity, Motion , Smoke, Pressure, etc.) "@en ;
                    rdfs:domain saref:SensingFunction ;
                    rdfs:range saref:Property ; 
                    rdfs:label "has sensor type"@en .


###  https://saref.etsi.org/saref#hasState
saref:hasState rdf:type owl:ObjectProperty ;
               rdfs:comment "A relationship identifying the type of state of a device"@en ;
               rdfs:domain saref:Device ;
               rdfs:range saref:State ;
               rdfs:label "has state"@en .


###  https://saref.etsi.org/saref#hasThresholdMeasurement
saref:hasThresholdMeasurement rdf:type owl:ObjectProperty ;
                              rdfs:comment "A relationship associated with an event function to notify that a certain threshold measurement has been exceeded"@en ;
                              rdfs:domain saref:EventFunction ;
                              rdfs:range saref:Measurement ;
                              rdfs:label "has threshold measurement"@en .


###  https://saref.etsi.org/saref#hasTime
saref:hasTime rdf:type owl:ObjectProperty ;
              rdfs:comment "A relationship to associate time information to an entity"@en ;
              rdfs:range saref:Time ;
              rdfs:label "has time"@en .


@@ -151,7 +176,8 @@ saref:isAbout rdf:type owl:ObjectProperty ;

###  https://saref.etsi.org/saref#isAccomplishedBy
saref:isAccomplishedBy rdf:type owl:ObjectProperty ;
                       rdfs:comment "A relationship indentifying the task accomplished by a certain entity (e.g., a device)"@en ;
                       rdfs:comment "A relationship identifying an entity (e.g., a device) that can accomplish a task."@en ;
                       rdfs:domain saref:Task ;
                       rdfs:label "is accomplished by"@en .


@@ -164,6 +190,8 @@ saref:isCommandOf rdf:type owl:ObjectProperty ;
###  https://saref.etsi.org/saref#isControlledByDevice
saref:isControlledByDevice rdf:type owl:ObjectProperty ;
                           rdfs:comment "A relationship specifying the devices that can control a certain property"@en ;
                           rdfs:domain saref:Property ;
                           rdfs:range saref:Device ;
                           rdfs:label "is controlled by device"@en .


@@ -175,12 +203,16 @@ saref:hasMeasurement rdf:type owl:ObjectProperty ;
###  https://saref.etsi.org/saref#isMeasuredByDevice
saref:isMeasuredByDevice rdf:type owl:ObjectProperty ;
                         rdfs:comment "A relationship specifying the devices that can measure a certain property"@en ;
                         rdfs:domain saref:Property ;
                         rdfs:range saref:Device ;
                         rdfs:label "is measured by device"@en .


###  https://saref.etsi.org/saref#isMeasuredIn
saref:isMeasuredIn rdf:type owl:ObjectProperty ;
                   rdfs:comment "A relationship identifying the unit of measure used for a certain entity."@en ;
                   rdfs:domain saref:Measurement ;
                   rdfs:range saref:UnitOfMeasure ;
                   rdfs:label "is measured in"@en .


@@ -188,6 +220,8 @@ saref:isMeasuredIn rdf:type owl:ObjectProperty ;
saref:isOfferedBy rdf:type owl:ObjectProperty ;
                  owl:inverseOf saref:offers ;
                  rdfs:comment "A relationship between a service and a device that offers the service"@en ;
                  rdfs:domain saref:Service ;
                  rdfs:range saref:Device ;
                  rdfs:label "is offered by"@en .


@@ -207,29 +241,39 @@ saref:isUsedFor rdf:type owl:ObjectProperty ;
saref:makesMeasurement rdf:type owl:ObjectProperty ;
                       owl:inverseOf saref:measurementMadeBy ;
                       rdfs:comment "A relation between a device and the measurements it makes. Such measurement will link together the value of the measurement, its unit of measure and the property to which it relates."@en ;
                       rdfs:domain saref:Device ;
                       rdfs:range saref:Measurement ;
                       rdfs:label "makes measurement"@en .

###  https://saref.etsi.org/saref#measurementMadeBy
saref:measurementMadeBy rdf:type owl:ObjectProperty ;
                        rdfs:comment "A relation between a measurement and the device that made it."@en ;
                        rdfs:domain saref:Measurement ;
                        rdfs:range saref:Device ;
                        rdfs:label "measurement made by"@en .


###  https://saref.etsi.org/saref#measuresProperty
saref:measuresProperty rdf:type owl:ObjectProperty ;
                       rdfs:comment "A relationship specifying the property that can be measured by a certain device"@en ;
                       rdfs:domain saref:Device ;
                       rdfs:range saref:Property ;
                       rdfs:label "measures property"@en .


###  https://saref.etsi.org/saref#offers
saref:offers rdf:type owl:ObjectProperty ;
             rdfs:comment "A relationship between a device and a service"@en ;
             rdfs:domain saref:Device ;
             rdfs:range saref:Service ;
             rdfs:label "offers"@en .


###  https://saref.etsi.org/saref#relatesToMeasurement
saref:relatesToMeasurement rdf:type owl:ObjectProperty ;
                           rdfs:comment "A relationship between a property and the measurements it relates to"@en ;
                           rdfs:domain saref:Property ;
                           rdfs:range saref:Measurement ;
                           rdfs:label "relates to measurement"@en .


@@ -237,12 +281,16 @@ saref:relatesToMeasurement rdf:type owl:ObjectProperty ;
saref:relatesToProperty rdf:type owl:ObjectProperty ;
                        owl:inverseOf saref:relatesToMeasurement ;
                        rdfs:comment "A relationship between a measurement and the property it relates to"@en ;
                        rdfs:domain saref:Measurement ;
                        rdfs:range saerf:Property ;
                        rdfs:label "relates to property"@en .


###  https://saref.etsi.org/saref#represents
saref:represents rdf:type owl:ObjectProperty ;
                 rdfs:comment "A relationship between a service and a function."@en ;
                 rdfs:domain saref:Service ;
                 rdfs:range saref:Function ;
                 rdfs:label "represents"@en .