Added Indoor Event example. (35616d98) · Commits · SAREF / saref4wear

example/indoor-event.ttl

0 → 100644

+361 −0

Original line number	Diff line number	Diff line
		@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

+16 −0

Original line number	Diff line number	Diff line
		@@ -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 .