Skip to content

Closes issue #15

Maxime Lefrançois requested to merge issue-15 into master

added ObjectPropertyDomain and ObjectPropertyRange axioms as follows:

  • 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

Merge request reports