Skip to main content
. 2022 May 29;22(11):4131. doi: 10.3390/s22114131
smart:Window(?window)
∧ saref:hasState(?window, ?state)
∧ saref:CloseState(?state)
⇒ smarthouse:ClosedWindow(?window)
 
smart:Window(?window)
∧ saref:hasState(?window, ?state)
∧ saref:OpenState(?state)
⇒ smarthouse:OpenWindow(?window)