- 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.