Merge branch 'develop' into 'master'

Added Indoor Event example.

See merge request stf/stf-566/saref4wear!14

example/indoor-event.ttl

+@prefix : <https://saref.etsi.org/saref4wear/example/> .
+@prefix ex: <https://saref.etsi.org/saref4wear/example/> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix xml: <http://www.w3.org/XML/1998/namespace> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix saref: <https://saref.etsi.org/saref/> .
+@prefix s4city: <https://saref.etsi.org/saref4city/> .
+@prefix s4wear: <https://saref.etsi.org/saref4wear/> .
+@base <https://saref.etsi.org/saref4wear/example/> .
+
+<https://saref.etsi.org/saref4wear/example/> rdf:type owl:Ontology ;
+                                              owl:versionIRI <https://saref.etsi.org/saref4wear/v0.1.2/saref4wear/example/> .
+
+#################################################################
+#    Annotation properties
+#################################################################
+
+###  https://saref.etsi.org/saref4wear/canSendInformationTo
+s4wear:canSendInformationTo rdf:type owl:AnnotationProperty .
+
+
+###  https://saref.etsi.org/saref4wear/interactsWith
+s4wear:interactsWith rdf:type owl:AnnotationProperty .
+
+
+###  https://saref.etsi.org/saref4wear/isSensedBy
+s4wear:isSensedBy rdf:type owl:AnnotationProperty .
+
+
+#################################################################
+#    Object Properties
+#################################################################
+
+###  https://saref.etsi.org/saref/hasMeasurement
+saref:hasMeasurement rdf:type owl:ObjectProperty .
+
+
+###  https://saref.etsi.org/saref/isMeasuredIn
+saref:isMeasuredIn rdf:type owl:ObjectProperty .
+
+
+###  https://saref.etsi.org/saref/makesMeasurement
+saref:makesMeasurement rdf:type owl:ObjectProperty .
+
+
+###  https://saref.etsi.org/saref4city/takesPlaceAtFacility
+s4city:takesPlaceAtFacility rdf:type owl:ObjectProperty .
+
+
+###  https://saref.etsi.org/saref4wear/hasSensor
+s4wear:hasSensor rdf:type owl:ObjectProperty .
+
+
+###  https://saref.etsi.org/saref4wear/installs
+s4wear:installs rdf:type owl:ObjectProperty .
+
+
+###  https://saref.etsi.org/saref4wear/interactsWith
+s4wear:interactsWith rdf:type owl:ObjectProperty .
+
+
+###  https://saref.etsi.org/saref4wear/isActuatedBy
+s4wear:isActuatedBy rdf:type owl:ObjectProperty .
+
+
+###  https://saref.etsi.org/saref4wear/isSensedBy
+s4wear:isSensedBy rdf:type owl:ObjectProperty .
+
+
+###  https://saref.etsi.org/saref4wear/isTriggeredBy
+s4wear:isTriggeredBy rdf:type owl:ObjectProperty .
+
+
+###  https://saref.etsi.org/saref4wear/triggers
+s4wear:triggers rdf:type owl:ObjectProperty .
+
+
+#################################################################
+#    Data properties
+#################################################################
+
+###  https://saref.etsi.org/saref/hasValue
+saref:hasValue rdf:type owl:DatatypeProperty .
+
+
+#################################################################
+#    Classes
+#################################################################
+
+###  https://saref.etsi.org/saref/Actuator
+saref:Actuator rdf:type owl:Class .
+
+
+###  https://saref.etsi.org/saref/Device
+saref:Device rdf:type owl:Class .
+
+
+###  https://saref.etsi.org/saref/Measurement
+saref:Measurement rdf:type owl:Class .
+
+
+###  https://saref.etsi.org/saref/Sensor
+saref:Sensor rdf:type owl:Class .
+
+
+###  https://saref.etsi.org/saref/UnitOfMeasure
+saref:UnitOfMeasure rdf:type owl:Class .
+
+
+###  https://saref.etsi.org/saref4city/Facility
+s4city:Facility rdf:type owl:Class .
+
+
+###  https://saref.etsi.org/saref4wear/ActionFunction
+s4wear:ActionFunction rdf:type owl:Class .
+
+
+###  https://saref.etsi.org/saref4wear/ActuableObject
+s4wear:ActuableObject rdf:type owl:Class .
+
+
+###  https://saref.etsi.org/saref4wear/LivingOrganism
+s4wear:LivingOrganism rdf:type owl:Class .
+
+
+###  https://saref.etsi.org/saref4wear/SportEvent
+s4wear:SportEvent rdf:type owl:Class .
+
+
+###  https://saref.etsi.org/saref4wear/StaffMember
+s4wear:StaffMember rdf:type owl:Class ;
+                   rdfs:subClassOf s4wear:LivingOrganism .
+
+
+###  https://saref.etsi.org/saref4wear/User
+s4wear:User rdf:type owl:Class ;
+            rdfs:subClassOf s4wear:LivingOrganism .
+
+
+###  https://saref.etsi.org/saref4wear/Wearable
+s4wear:Wearable rdf:type owl:Class ;
+                rdfs:subClassOf saref:Device .
+
+
+###  https://saref.etsi.org/saref4wear/example/GPSTracker
+ex:GPSTracker rdf:type owl:Class ;
+              rdfs:subClassOf s4wear:Wearable .
+
+
+###  https://saref.etsi.org/saref4wear/example/HeartRateMonitor
+ex:HeartRateMonitor rdf:type owl:Class ;
+                    rdfs:subClassOf s4wear:Wearable .
+
+
+###  https://saref.etsi.org/saref4wear/example/SmartWatch
+ex:SmartWatch rdf:type owl:Class ;
+              rdfs:subClassOf s4wear:Wearable .
+
+
+###  https://saref.etsi.org/saref4wear/example/SmokeFactor
+ex:SmokeFactor rdf:type owl:Class ;
+               rdfs:subClassOf saref:Measurement .
+
+
+###  https://saref.etsi.org/saref4wear/example/SmokeSensor
+ex:SmokeSensor rdf:type owl:Class ;
+               rdfs:subClassOf saref:Sensor .
+
+
+###  https://saref.etsi.org/saref4wear/example/SmokeUnit
+ex:SmokeUnit rdf:type owl:Class ;
+             rdfs:subClassOf saref:UnitOfMeasure .
+
+
+###  https://saref.etsi.org/saref4wear/example/Speaker
+ex:Speaker rdf:type owl:Class ;
+           rdfs:subClassOf saref:Device .
+
+
+###  https://saref.etsi.org/saref4wear/example/WearableReceiver
+ex:WearableReceiver rdf:type owl:Class ;
+                    rdfs:subClassOf s4wear:Wearable .
+
+
+#################################################################
+#    Individuals
+#################################################################
+
+###  https://saref.etsi.org/saref4wear/example/FacilitySpeaker1
+ex:FacilitySpeaker1 rdf:type owl:NamedIndividual ,
+                             ex:Speaker .
+
+
+###  https://saref.etsi.org/saref4wear/example/FacilitySpeaker2
+ex:FacilitySpeaker2 rdf:type owl:NamedIndividual ,
+                             ex:Speaker .
+
+
+###  https://saref.etsi.org/saref4wear/example/FireAlarmActivation
+ex:FireAlarmActivation rdf:type owl:NamedIndividual ,
+                                s4wear:ActionFunction .
+
+
+###  https://saref.etsi.org/saref4wear/example/FireFightDevice1
+ex:FireFightDevice1 rdf:type owl:NamedIndividual ,
+                             saref:Device ;
+                    s4wear:isTriggeredBy ex:FireAlarmActivation .
+
+
+###  https://saref.etsi.org/saref4wear/example/FireFightDevice2
+ex:FireFightDevice2 rdf:type owl:NamedIndividual ,
+                             saref:Device ;
+                    s4wear:isTriggeredBy ex:FireAlarmActivation .
+
+
+###  https://saref.etsi.org/saref4wear/example/FireFightDevice3
+ex:FireFightDevice3 rdf:type owl:NamedIndividual ,
+                             saref:Device ;
+                    s4wear:isTriggeredBy ex:FireAlarmActivation .
+
+
+###  https://saref.etsi.org/saref4wear/example/FireFightDevice4
+ex:FireFightDevice4 rdf:type owl:NamedIndividual ,
+                             saref:Device ;
+                    s4wear:isTriggeredBy ex:FireAlarmActivation .
+
+
+###  https://saref.etsi.org/saref4wear/example/ForumAssago
+ex:ForumAssago rdf:type owl:NamedIndividual ,
+                        s4city:Facility ;
+               s4wear:installs ex:SmokeDevice1 ,
+                               ex:SmokeDevice2 .
+
+
+###  https://saref.etsi.org/saref4wear/example/Receiver1
+ex:Receiver1 rdf:type owl:NamedIndividual ,
+                      ex:WearableReceiver .
+
+
+###  https://saref.etsi.org/saref4wear/example/Receiver2
+ex:Receiver2 rdf:type owl:NamedIndividual ,
+                      ex:WearableReceiver .
+
+
+###  https://saref.etsi.org/saref4wear/example/Receiver3
+ex:Receiver3 rdf:type owl:NamedIndividual ,
+                      ex:WearableReceiver .
+
+
+###  https://saref.etsi.org/saref4wear/example/Smoke15
+ex:Smoke15 rdf:type owl:NamedIndividual ,
+                    ex:SmokeFactor ;
+           saref:isMeasuredIn ex:SmokeLevel ;
+           saref:hasValue "140"^^xsd:int .
+
+
+###  https://saref.etsi.org/saref4wear/example/Smoke20
+ex:Smoke20 rdf:type owl:NamedIndividual ,
+                    ex:SmokeFactor ;
+           saref:isMeasuredIn ex:SmokeLevel ;
+           saref:hasValue "180"^^xsd:int .
+
+
+###  https://saref.etsi.org/saref4wear/example/SmokeDevice1
+ex:SmokeDevice1 rdf:type owl:NamedIndividual ,
+                         saref:Device ;
+                s4wear:hasSensor ex:SmokeSensor1 ;
+                s4wear:triggers ex:FireAlarmActivation .
+
+
+###  https://saref.etsi.org/saref4wear/example/SmokeDevice2
+ex:SmokeDevice2 rdf:type owl:NamedIndividual ,
+                         saref:Device ;
+                s4wear:hasSensor ex:SmokeSensor2 ;
+                s4wear:triggers ex:FireAlarmActivation .
+
+
+###  https://saref.etsi.org/saref4wear/example/SmokeLevel
+ex:SmokeLevel rdf:type owl:NamedIndividual ,
+                       ex:SmokeUnit .
+
+
+###  https://saref.etsi.org/saref4wear/example/SmokeSensor1
+ex:SmokeSensor1 rdf:type owl:NamedIndividual ,
+                         ex:SmokeSensor ;
+                saref:makesMeasurement ex:Smoke15 .
+
+
+###  https://saref.etsi.org/saref4wear/example/SmokeSensor2
+ex:SmokeSensor2 rdf:type owl:NamedIndividual ,
+                         ex:SmokeSensor ;
+                saref:makesMeasurement ex:Smoke20 .
+
+
+###  https://saref.etsi.org/saref4wear/example/Staff1
+ex:Staff1 rdf:type owl:NamedIndividual ,
+                   s4wear:StaffMember ;
+          s4wear:interactsWith ex:Receiver1 .
+
+
+###  https://saref.etsi.org/saref4wear/example/Staff2
+ex:Staff2 rdf:type owl:NamedIndividual ,
+                   s4wear:StaffMember ;
+          s4wear:interactsWith ex:Receiver2 .
+
+
+###  https://saref.etsi.org/saref4wear/example/Staff3
+ex:Staff3 rdf:type owl:NamedIndividual ,
+                   s4wear:StaffMember ;
+          s4wear:interactsWith ex:Receiver3 .
+
+
+###  https://saref.etsi.org/saref4wear/example/StaffHead
+ex:StaffHead rdf:type owl:NamedIndividual ,
+                      s4wear:StaffMember ;
+             s4wear:interactsWith ex:FacilitySpeaker1 ,
+                                  ex:FacilitySpeaker2 .
+
+
+###  https://saref.etsi.org/saref4wear/example/Tracker1
+ex:Tracker1 rdf:type owl:NamedIndividual ,
+                     ex:GPSTracker .
+
+
+###  https://saref.etsi.org/saref4wear/example/Tracker2
+ex:Tracker2 rdf:type owl:NamedIndividual ,
+                     ex:GPSTracker .
+
+
+###  https://saref.etsi.org/saref4wear/example/Tracker3
+ex:Tracker3 rdf:type owl:NamedIndividual ,
+                     ex:GPSTracker .
+
+
+###  https://saref.etsi.org/saref4wear/example/User1
+ex:User1 rdf:type owl:NamedIndividual ,
+                  s4wear:User ;
+         s4wear:isSensedBy ex:Tracker1 .
+
+
+###  https://saref.etsi.org/saref4wear/example/User2
+ex:User2 rdf:type owl:NamedIndividual ,
+                  s4wear:User ;
+         s4wear:isSensedBy ex:Tracker2 .
+
+
+###  https://saref.etsi.org/saref4wear/example/User3
+ex:User3 rdf:type owl:NamedIndividual ,
+                  s4wear:User ;
+         s4wear:isSensedBy ex:Tracker3 .
+
+
+###  https://saref.etsi.org/saref4wear/example/VolleyMatch
+ex:VolleyMatch rdf:type owl:NamedIndividual ,
+                        s4wear:SportEvent ;
+               s4city:takesPlaceAtFacility ex:ForumAssago .
+
+
+###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi

ontology/saref4wear.ttl

@@ -217,6 +217,12 @@ s4wear:hasSensor rdf:type owl:ObjectProperty ;
                  rdfs:range saref:Sensor .
 
 
+###  https://saref.etsi.org/saref4wear/installs
+s4wear:installs rdf:type owl:ObjectProperty ;
+                rdfs:domain s4city:Facility ;
+                rdfs:range saref:Device .
+
+
 ###  https://saref.etsi.org/saref4wear/interactsWith
 s4wear:interactsWith rdf:type owl:ObjectProperty ;
                      rdfs:domain s4wear:User ;
@@ -297,6 +303,12 @@ s4wear:sendsNotificationsTo rdf:type owl:ObjectProperty ;
                             rdfs:range s4wear:Wearer .
 
 
+###  https://saref.etsi.org/saref4wear/triggers
+s4wear:triggers rdf:type owl:ObjectProperty ;
+                rdfs:domain saref:Device ;
+                rdfs:range s4wear:ActionFunction .
+
+
 #################################################################
 #    Data properties
 #################################################################
@@ -593,6 +605,10 @@ s4city:Event rdf:type owl:Class ;
              rdfs:subClassOf [ rdf:type owl:Restriction ;
                                owl:onProperty s4city:takesPlaceAtFacility ;
                                owl:allValuesFrom s4city:Facility
+                             ] ,
+                             [ rdf:type owl:Restriction ;
+                               owl:onProperty s4wear:hasSensor ;
+                               owl:allValuesFrom saref:Sensor
                              ] ;
              rdfs:isDefinedBy s4city: ;
              rdfs:label "Event"@en .