From 35616d98ed70c5c50eede89a239501ee58a3d421 Mon Sep 17 00:00:00 2001
From: dragoni <dragoni@fbk.eu>
Date: Fri, 10 Apr 2020 18:12:11 +0200
Subject: [PATCH] Added Indoor Event example.
---
example/indoor-event.ttl | 361 +++++++++++++++++++++++++++++++++++++++
ontology/saref4wear.ttl | 16 ++
2 files changed, 377 insertions(+)
create mode 100644 example/indoor-event.ttl
diff --git a/example/indoor-event.ttl b/example/indoor-event.ttl
new file mode 100644
index 0000000..6c40184
--- /dev/null
+++ b/example/indoor-event.ttl
@@ -0,0 +1,361 @@
+@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
diff --git a/ontology/saref4wear.ttl b/ontology/saref4wear.ttl
index 685cf94..d7a0601 100644
--- a/ontology/saref4wear.ttl
+++ b/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 .
--
GitLab