# baseURI: http://ontology.tno.nl/saref/doorswitch
# imports: https://w3id.org/saref

@prefix geo: <http://www.w3.org/2003/01/geo/wgs84_pos#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix saref: <https://w3id.org/saref#> .
@prefix saref-ds: <http://ontology.tno.nl/saref/doorswitch#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<http://ontology.tno.nl/saref/doorswitch>
  rdf:type owl:Ontology ;
  owl:imports <https://w3id.org/saref> ;
.
saref-ds:BuildingObject_MainDoor
  rdf:type saref:Door ;
  rdfs:label "Building object Main door"^^xsd:string ;
.
saref-ds:BuildingSpace_OfficeHall
  rdf:type saref:BuildingSpace ;
  rdfs:label "Office Hall"^^xsd:string ;
  geo:lat "52.0821"^^xsd:string ;
  geo:long "4.3251"^^xsd:string ;
  saref:contains saref-ds:BuildingObject_MainDoor ;
  saref:hasSpaceType "Office hall"^^xsd:string ;
.
saref-ds:CloseCommand
  rdf:type saref:CloseCommand ;
  rdfs:label "CLOSE command "^^xsd:string ;
  saref:actsUpon saref-ds:OpenState ;
.
saref-ds:CloseDoorService
  rdf:type saref:Service ;
  rdfs:label "CLOSE Door service "^^xsd:string ;
  saref:hasInputParameter saref-ds:OpenState ;
  saref:hasOutputParameter saref-ds:CloseState ;
  saref:isOfferedBy saref-ds:DoorSwitch_DS3001 ;
  saref:represents saref-ds:OpenCloseFunction ;
.
saref-ds:CloseState
  rdf:type saref:CloseState ;
  rdfs:label "CLOSE state"^^xsd:string ;
.
saref-ds:Comfort
  rdf:type saref:Task ;
  rdfs:label "Comfort"^^xsd:string ;
.
saref-ds:DoorSwitch_DS001
  rdf:type saref:DoorSwitch ;
  rdfs:label "Door switch DS3001"^^xsd:string ;
  saref:IsUsedFor saref-ds:BuildingObject_MainDoor ;
  saref:accomplishes saref-ds:Comfort ;
  saref:consistsOf saref:Switch ;
  saref:hasCategory saref:Actuator ;
  saref:hasDescription "Door switch DS3001 is an example of how to instantiate a door switch using SAREF"^^xsd:string ;
  saref:hasFunction saref-ds:OpenCloseFunction ;
  saref:hasManufacturer "manufacturer-mno"^^xsd:string ;
  saref:hasModel "mno-DS3001-16"^^xsd:string ;
  saref:hasState saref-ds:CloseState ;
  saref:hasState saref-ds:OpenState ;
  saref:isLocatedIn saref-ds:BuildingSpace_OfficeHall ;
  saref:offers saref-ds:CloseDoorService ;
.
saref-ds:OpenCloseFunction
  rdf:type saref:OpenCloseFunction ;
  rdfs:label "OPEN CLOSE function "^^xsd:string ;
  saref:hasCommand saref-ds:CloseCommand ;
  saref:hasCommand saref-ds:OpenCommand ;
.
saref-ds:OpenCommand
  rdf:type saref:OpenCommand ;
  rdfs:label "OPEN command"^^xsd:string ;
  saref:actsUpon saref-ds:CloseState ;
.
saref-ds:OpenState
  rdf:type saref:OpenState ;
  rdfs:label "Open state"^^xsd:string ;
.