CoSWoT Core Procedure Execution module

Metadata

URI
https://w3id.org/coswot/core/procedures
Contributor (s)
Maxime Lefrançois Orcid logo ( maxime.lefrancois@emse.fr ) of MINES Saint-Étienne
Fatma-Zohra Hannou Orcid logo ( fatma-zohra.hannou@edf.fr ) of EDF R&D
Catherine Roussey Orcid logo ( catherine.roussey@inrae.fr ) of INRAE MISTEA
Imports
https://w3id.org/coswot/core/features
Ontology RDF
RDF (turtle)

Description

Ce modelet décrit l'exécution de procédures. Les exécutions de procédures sur les propriétés généralisent les observations, actuations, prédictions, entre autres.

Table of Contents

  1. Classes
  2. Object Properties
  3. Datatype Properties
  4. Annotation Properties
  5. Namespaces
  6. Legend

Overview

Ce modelet décrit l'éxécution de procédures. Les exécution de procédures sur les propriétés généralisent les observations, actuations, prédictions, entre autres.

Questions de compétence

Requêtes

ID Question en langage naturel Example
q1 Quelle est la valeur de la propriété observée à un instant donné ? L'observation d'une propriété de température d'un échantillon à l'instant "2022-06-02T12:45:00"^^xsd:dateTime a pour résultat une valeur "24.5 CEL"^^cdt:ucum obtenue à l’instant "2022-06-02T12:45:00"^^xsd:dateTime .
q2 Quelle est la consigne et le résultat d'une actuation ? Une actuation d'une propriété de température d'une pièce peut avoir pour consigne "21.0 CEL"^^cdt:ucum , et pour résultat obtenue à l’instant "2022-06-02T12:45:00"^^xsd:dateTime .
q3 Quelle est la consigne désirée pour une actuation planifiée, et quand est-elle prévue d'être exécutée ? Une actuation d'une propriété de température d'une pièce peut avoir pour consigne "21.0 CEL"^^cdt:ucum , et pour résultat obtenue à l’instant "2022-06-02T12:45:00"^^xsd:dateTime .
q4 Quelles évaluations de propriétés concernent de futurs contextes temporels ? Les évaluations concernant de contextes temporels futurs sont les prédictions et les actuations plannifiées.

Inference

ID Question en langage naturel Example
r1 Comment inférer les évaluations partielles d’une propriété pour une entité d'intérêt ? L’assignation d’une valeur d’une propriété pour une entité d’intérêt peut être réalisée grâce à une procédure propre à cette entité d’intérêt. Elle peut également être obtenue à partir des évaluations des échantillons de cette entité d’intérêt. Par exemple, les évaluations associées à l’étage 4 sont toutes les évaluations des échantillons (isSampleOf) de l’étage, qui peuvent être notamment les pièces (412, 418, 429…).

Références

Choix de modélisation

Illustration du module Procedure Executions
Illustration du module procedure_executions

Recommandations

Classes

Concept c # Classes

URI http://www.w3.org/2004/02/skos/core#Concept

TemporalEntity c # Classes

URI http://www.w3.org/2006/time#TemporalEntity
In range of has phenomenon time op

TemporalInterval c # Classes

URI http://www.w3.org/2006/time#TemporalInterval

Procedure Execution c # Classes

URI https://w3id.org/coswot/Procedure
Is Defined By https://w3id.org/coswot/core/procedures
Description

A workflow, protocol, plan, algorithm, or computational method. A Procedure is re-usable, and might be executed multiple times. It explains the steps to be carried out to arrive at reproducible results.

In domain of has output op
In range of is execution of op

Procedure Collection c # Classes

URI https://w3id.org/coswot/ProcedureCollection
Is Defined By https://w3id.org/coswot/core/procedures
Description

A logical grouping of procedures.

Procedure Execution c # Classes

URI https://w3id.org/coswot/ProcedureExecution
Is Defined By https://w3id.org/coswot/core/procedures
Description

Act of carrying out a Procedure. This class generalizes the Observation, Actuation, OperationExecution, and CommandExecution classes, and is not expected to be used directly.

In domain of has result op
made by op
has timestamp dp
has phenomenon time op
is execution of op
has result time dp
has start time dp
In range of made execution op

Procedure Execution Collection c # Classes

URI https://w3id.org/coswot/ProcedureExecutionCollection
Is Defined By https://w3id.org/coswot/core/procedures
Description

Logical grouping of procedure executions. This is a convenient class that is not expected to be used directly.

Object Properties

has input op # OPs

URI https://w3id.org/coswot/hasInput
Is Defined By https://w3id.org/coswot/core/functions_commands
Description

Links a procedure (e.g., a command) or procedure execution (e.g., an observation) to its inputs.

Example(s)
Different complementary commands can be defined for controlling a light. Turn on or off the light based on a desired state, toggle the light status of a specific light, set the luminosity level with a transition time, set the default transition time, start comfort.

Domain(s) ( Procedure Execution c or Procedure Execution c )

has output op # OPs

URI https://w3id.org/coswot/hasOutput
Is Defined By https://w3id.org/coswot/core/functions_commands
Description

Links a procedure (e.g., an operation) to its outputs.

Example(s)
Different complementary commands can be defined for observing a smart home. Observe the temperature once will output the indoor temperature property; observe status of the entry door will output an open/close state.

Domain(s) Procedure Execution c

has phenomenon time op # OPs

URI https://w3id.org/coswot/hasPhenomenonTime
Is Defined By https://w3id.org/coswot/core/procedures
Description

Links a procedure execution to the time that the result applies. It may be an interval or an instant, or some other compound temporal entity expressed using OWL Time.

The phenomenonTime is not necessarily the same as the resultTime.

In the case of Actuation, phenomenonTime should indicate the time that the actuator was active.

In the case of Observation, the phenomenonTime may be distant from the resultTime, for example in the case of forecasts the phenomenonTime is after the resultTime.

Domain(s) Procedure Execution c
Range(s) time:TemporalEntity c

has result op # OPs

URI https://w3id.org/coswot/hasResult
Is Defined By https://w3id.org/coswot/core/procedures
Description

Links a procedure execution (e.g., an observation) to its result (e.g., a property value).

Domain(s) Procedure Execution c

is execution of op # OPs

URI https://w3id.org/coswot/isExecutionOf
Is Defined By https://w3id.org/coswot/core/procedures
Description

Links a procedure execution to the procedure that was executed.

Domain(s) Procedure Execution c
Range(s) coswot:Procedure c

made by op # OPs

URI https://w3id.org/coswot/madeBy
Is Defined By https://w3id.org/coswot/core/procedures
Description

Links a procedure execution to the entity (e.g., device) that made it.

Inverse properties made execution op
Domain(s) Procedure Execution c
Range(s) coswot:FeatureOfInterest c

made execution op # OPs

URI https://w3id.org/coswot/madeExecution
Is Defined By https://w3id.org/coswot/core/procedures
Description

Links an entity (e.g., device) to the procedure execution it made.

Inverse properties made by op
Domain(s) coswot:FeatureOfInterest c
Range(s) coswot:ProcedureExecution c

Datatype Properties

has result time dp # DPs

URI https://w3id.org/coswot/hasResultTime
Is Defined By https://w3id.org/coswot/core/procedures
Description

Links a procedure execution to the instant of time when the activity was completed, expressed as an xsd:dateTime literal.

Domain(s) Procedure Execution c
Range(s) xsd:dateTime c

has start time dp # DPs

URI https://w3id.org/coswot/hasStartTime
Is Defined By https://w3id.org/coswot/core/procedures
Description

Links a procedure execution to the instant of time when the activity was initiated or tasked, expressed as an xsd:dateTime literal

Domain(s) Procedure Execution c
Range(s) xsd:dateTime c

has timestamp dp # DPs

URI https://w3id.org/coswot/hasTimestamp
Is Defined By https://w3id.org/coswot/core/procedures
Description

Links a procedure execution to an instant. When the start time, the result time, and the phenomenon time are the same time instants, then DP coswot:hasTimestamp can be used to simply link a procedure execution to the time of these instants, expressed as an xsd:dateTime literal.

Domain(s) Procedure Execution c
Range(s) xsd:dateTime c

Annotation Properties

license ap # APs

URI http://creativecommons.org/ns#license

contributor ap # APs

URI http://purl.org/dc/terms/contributor

description ap # APs

URI http://purl.org/dc/terms/description

issued ap # APs

URI http://purl.org/dc/terms/issued

modified ap # APs

URI http://purl.org/dc/terms/modified

title ap # APs

URI http://purl.org/dc/terms/title

preferredNamespacePrefix ap # APs

URI http://purl.org/vocab/vann/preferredNamespacePrefix

preferredNamespaceUri ap # APs

URI http://purl.org/vocab/vann/preferredNamespaceUri

comment ap # APs

URI http://www.w3.org/2000/01/rdf-schema#comment

example ap # APs

URI http://www.w3.org/2004/02/skos/core#example

note ap # APs

URI http://www.w3.org/2004/02/skos/core#note

Namespaces

default (coswot)
https://w3id.org/coswot/
cc
http://creativecommons.org/ns#
dct
http://purl.org/dc/terms/
owl
http://www.w3.org/2002/07/owl#
prov
http://www.w3.org/ns/prov#
rdf
http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs
http://www.w3.org/2000/01/rdf-schema#
sdo
http://schema.org/
skos
http://www.w3.org/2004/02/skos/core#
time
http://www.w3.org/2006/time#
vann
http://purl.org/vocab/vann/
xsd
http://www.w3.org/2001/XMLSchema#

Legend

c Classes
op Object Properties
fp Functional Properties
dp Data Properties
dp Annotation Properties
p Properties
ni Named Individuals