Newer
Older
@prefix : <https://saref.etsi.org/saref4lift/> .
@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 vann: <http://purl.org/vocab/vann/> .
@prefix saref: <https://saref.etsi.org/core/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@base <https://saref.etsi.org/saref4lift/> .
<https://saref.etsi.org/saref4lift/> rdf:type owl:Ontology ;
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
owl:versionIRI <https://saref.etsi.org/saref4lift/v1.1.1/> ;
dcterms:description "This ontology extends the SAREF ontology for the Smart Lifts domain."@en ;
dcterms:license <https://forge.etsi.org/etsi-software-license> ;
dcterms:modified "2021-01-11"^^xsd:date ;
dcterms:publisher <https://www.etsi.org/> ;
dcterms:source <https://saref.etsi.org/sources/saref4lift/> ;
dcterms:title "SAREF extension for Smart Lifts"@en ;
vann:preferredNamespacePrefix "s4lift" ;
vann:preferredNamespaceUri "https://saref.etsi.org/saref4lift/" ;
owl:versionInfo "v1.1.1" .
#################################################################
# Annotation properties
#################################################################
### http://purl.org/dc/terms/description
dcterms:description rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/license
dcterms:license rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/modified
dcterms:modified rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/publisher
dcterms:publisher rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/source
dcterms:source rdf:type owl:AnnotationProperty .
### http://purl.org/dc/terms/title
dcterms:title rdf:type owl:AnnotationProperty .
### http://purl.org/vocab/vann/preferredNamespacePrefix
vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty .
### http://purl.org/vocab/vann/preferredNamespaceUri
vann:preferredNamespaceUri rdf:type owl:AnnotationProperty .
#################################################################
# Object Properties
#################################################################
### https://saref.etsi.org/saref4lift/hasDoorCloseTime
:hasDoorCloseTime rdf:type owl:ObjectProperty ;
rdfs:domain :SmartLift ;
rdfs:range :Time .
### https://saref.etsi.org/saref4lift/hasDoorOpenTime
:hasDoorOpenTime rdf:type owl:ObjectProperty ;
rdfs:domain :SmartLift ;
rdfs:range :Time .
### https://saref.etsi.org/saref4lift/hasLimitLoad
:hasLimitLoad rdf:type owl:ObjectProperty ;
rdfs:domain :SmartLiftSystem ;
rdfs:range :Load .
### https://saref.etsi.org/saref4lift/hasPowerSupply
:hasPowerSupply rdf:type owl:ObjectProperty ;
rdfs:domain :SmartLiftSystem ;
rdfs:range :PowerSupply .
### https://saref.etsi.org/saref4lift/hasStandardPowerSupply
:hasStandardPowerSupply rdf:type owl:ObjectProperty ;
rdfs:domain :SmartLiftSystem ;
rdfs:range :PowerSupply .
### https://saref.etsi.org/saref4lift/hasTraveledTime
:hasTraveledTime rdf:type owl:ObjectProperty ;
rdfs:domain :SmartLift ;
rdfs:range :Time .
### https://saref.etsi.org/saref4lift/isMeasuredIn
:isMeasuredIn rdf:type owl:ObjectProperty ;
rdfs:subPropertyOf owl:topObjectProperty ;
rdfs:domain :NetworkCoverage ;
rdfs:range :Percentage .
### https://saref.etsi.org/saref4lift/receives
:receives rdf:type owl:ObjectProperty ;
rdfs:domain :SmartLiftSystem ;
rdfs:range :BCSSignal .
### https://saref.etsi.org/saref4lift/sendsCommand
:sendsCommand rdf:type owl:ObjectProperty ;
rdfs:domain :SmartLiftSystem ;
rdfs:range :Command .
#################################################################
# Data properties
#################################################################
### https://saref.etsi.org/saref4lift/hasCarStops
:hasCarStops rdf:type owl:DatatypeProperty ;
rdfs:domain :SmartLiftSystem ;
rdfs:range xsd:integer .
### https://saref.etsi.org/saref4lift/hasDoorsStatus
:hasDoorsStatus rdf:type owl:DatatypeProperty ;
rdfs:domain :SmartLiftSystem ;
rdfs:range xsd:string .
### https://saref.etsi.org/saref4lift/hasNetworkValue
:hasNetworkValue rdf:type owl:DatatypeProperty ;
rdfs:domain :RegisteredNetworkOperator ;
rdfs:range xsd:string .
### https://saref.etsi.org/saref4lift/hasPositionValue
:hasPositionValue rdf:type owl:DatatypeProperty ;
rdfs:domain :PositionSignal ;
rdfs:range xsd:integer .
### https://saref.etsi.org/saref4lift/hasPowerSupplyValue
:hasPowerSupplyValue rdf:type owl:DatatypeProperty ;
rdfs:subPropertyOf owl:topDataProperty ;
rdfs:domain :EmergencyPowerSupply ,
:StandardEmergencyPowerSupply ;
rdfs:range xsd:boolean .
### https://saref.etsi.org/saref4lift/hasSecondaryEmergencyTelephoneNumber
:hasSecondaryEmergencyTelephoneNumber rdf:type owl:DatatypeProperty ;
rdfs:domain :SmartLift ;
rdfs:range xsd:string .
### https://saref.etsi.org/saref4lift/hasStatisticValue
:hasStatisticValue rdf:type owl:DatatypeProperty ;
rdfs:domain :StatisticSignal ;
rdfs:range xsd:integer .
### https://saref.etsi.org/saref4lift/hasStatusValue
:hasStatusValue rdf:type owl:DatatypeProperty ;
rdfs:domain :StatusSignal ;
rdfs:range xsd:boolean .
### https://saref.etsi.org/saref4lift/hasTelephoneNumber
:hasTelephoneNumber rdf:type owl:DatatypeProperty ;
rdfs:domain :SmartLiftSystem ;
rdfs:range xsd:string .
#################################################################
# Classes
#################################################################
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
### https://saref.etsi.org/saref4lift/Alarm
:Alarm rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
### https://saref.etsi.org/saref4lift/AlarmInTheMachinery
:AlarmInTheMachinery rdf:type owl:Class ;
rdfs:subClassOf :Alarm .
### https://saref.etsi.org/saref4lift/AlarmInTheWell
:AlarmInTheWell rdf:type owl:Class ;
rdfs:subClassOf :Alarm .
### https://saref.etsi.org/saref4lift/AlarmVoiceCommunication
:AlarmVoiceCommunication rdf:type owl:Class ;
rdfs:subClassOf :Alarm .
### https://saref.etsi.org/saref4lift/AudioFault
:AudioFault rdf:type owl:Class ;
rdfs:subClassOf :Fault .
### https://saref.etsi.org/saref4lift/BCSSignal
:BCSSignal rdf:type owl:Class ;
rdfs:subClassOf :Signal .
### https://saref.etsi.org/saref4lift/BoardReset
:BoardReset rdf:type owl:Class ;
rdfs:subClassOf :Command .
### https://saref.etsi.org/saref4lift/CallCarToSpecificFloor
:CallCarToSpecificFloor rdf:type owl:Class ;
rdfs:subClassOf :Command .
### https://saref.etsi.org/saref4lift/CallsPerService
:CallsPerService rdf:type owl:Class ;
rdfs:subClassOf :StatisticSignal .
### https://saref.etsi.org/saref4lift/CarAlarm
:CarAlarm rdf:type owl:Class ;
### https://saref.etsi.org/saref4lift/CarInUnlockingZone
:CarInUnlockingZone rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
### https://saref.etsi.org/saref4lift/CarSignal
:CarSignal rdf:type owl:Class ;
rdfs:subClassOf :Signal .
### https://saref.etsi.org/saref4lift/Command
:Command rdf:type owl:Class .
### https://saref.etsi.org/saref4lift/CurrentCarStop
:CurrentCarStop rdf:type owl:Class ;
rdfs:subClassOf :PositionSignal .
### https://saref.etsi.org/saref4lift/DangerousFault
:DangerousFault rdf:type owl:Class ;
rdfs:subClassOf :Fault .
### https://saref.etsi.org/saref4lift/DownwardTravels
:DownwardTravels rdf:type owl:Class ;
rdfs:subClassOf :StatisticSignal .
### https://saref.etsi.org/saref4lift/EmergencyPowerAlarm
:EmergencyPowerAlarm rdf:type owl:Class ;
rdfs:subClassOf :Alarm .
### https://saref.etsi.org/saref4lift/EmergencyPowerSupply
:EmergencyPowerSupply rdf:type owl:Class ;
rdfs:subClassOf :Signal .
### https://saref.etsi.org/saref4lift/Fault
:Fault rdf:type owl:Class ;
rdfs:subClassOf :FaultSignal .
### https://saref.etsi.org/saref4lift/FaultSignal
:FaultSignal rdf:type owl:Class ;
rdfs:subClassOf :CarSignal .
### https://saref.etsi.org/saref4lift/FireOperation
:FireOperation rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
### https://saref.etsi.org/saref4lift/FixedLine
:FixedLine rdf:type owl:Class ;
rdfs:subClassOf :Network .
### https://saref.etsi.org/saref4lift/FloodAlarm
:FloodAlarm rdf:type owl:Class ;
rdfs:subClassOf :Alarm .
### https://saref.etsi.org/saref4lift/InspectionOperation
:InspectionOperation rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
### https://saref.etsi.org/saref4lift/Load
:Load rdf:type owl:Class .
### https://saref.etsi.org/saref4lift/MinorFault
:MinorFault rdf:type owl:Class ;
rdfs:subClassOf :Fault .
### https://saref.etsi.org/saref4lift/MovingDownwardDirection
:MovingDownwardDirection rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
### https://saref.etsi.org/saref4lift/MovingUpwardDirection
:MovingUpwardDirection rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
### https://saref.etsi.org/saref4lift/Network
:Network rdf:type owl:Class .
### https://saref.etsi.org/saref4lift/NetworkCoverage
:NetworkCoverage rdf:type owl:Class ;
rdfs:subClassOf :BCSSignal .
### https://saref.etsi.org/saref4lift/NetworkQualityBER
:NetworkQualityBER rdf:type owl:Class ;
rdfs:subClassOf :BCSSignal .
### https://saref.etsi.org/saref4lift/NetworkQualityRSSI
:NetworkQualityRSSI rdf:type owl:Class ;
rdfs:subClassOf :BCSSignal .
### https://saref.etsi.org/saref4lift/NumberOfCalls
:NumberOfCalls rdf:type owl:Class ;
rdfs:subClassOf :StatisticSignal .
### https://saref.etsi.org/saref4lift/NumberOfFaults
:NumberOfFaults rdf:type owl:Class ;
rdfs:subClassOf :StatisticSignal .
### https://saref.etsi.org/saref4lift/OutOfService
:OutOfService rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
### https://saref.etsi.org/saref4lift/Overload
:Overload rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
### https://saref.etsi.org/saref4lift/Percentage
:Percentage rdf:type owl:Class .
### https://saref.etsi.org/saref4lift/PositionSignal
:PositionSignal rdf:type owl:Class ;
rdfs:subClassOf :CarSignal .
### https://saref.etsi.org/saref4lift/PowerSupply
:PowerSupply rdf:type owl:Class .
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
### https://saref.etsi.org/saref4lift/RegisteredNetworkOperator
:RegisteredNetworkOperator rdf:type owl:Class ;
rdfs:subClassOf :BCSSignal .
### https://saref.etsi.org/saref4lift/SendCarToSpecificFloor
:SendCarToSpecificFloor rdf:type owl:Class ;
rdfs:subClassOf :Command .
### https://saref.etsi.org/saref4lift/SetOutOfService
:SetOutOfService rdf:type owl:Class ;
rdfs:subClassOf :Command .
### https://saref.etsi.org/saref4lift/SetRealTimeMode
:SetRealTimeMode rdf:type owl:Class ;
rdfs:subClassOf :Command .
### https://saref.etsi.org/saref4lift/Signal
:Signal rdf:type owl:Class .
### https://saref.etsi.org/saref4lift/SmartLift
:SmartLift rdf:type owl:Class .
### https://saref.etsi.org/saref4lift/SmartLiftSystem
:SmartLiftSystem rdf:type owl:Class .
### https://saref.etsi.org/saref4lift/StandardEmergencyPowerSupply
:StandardEmergencyPowerSupply rdf:type owl:Class ;
rdfs:subClassOf :Signal .
### https://saref.etsi.org/saref4lift/StatisticSignal
:StatisticSignal rdf:type owl:Class ;
rdfs:subClassOf :Signal .
### https://saref.etsi.org/saref4lift/StatusSignal
:StatusSignal rdf:type owl:Class ;
rdfs:subClassOf :CarSignal .
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
### https://saref.etsi.org/saref4lift/TestEmergencyNumber
:TestEmergencyNumber rdf:type owl:Class ;
rdfs:subClassOf :Command .
### https://saref.etsi.org/saref4lift/TestRideCommand
:TestRideCommand rdf:type owl:Class ;
rdfs:subClassOf :Command .
### https://saref.etsi.org/saref4lift/TestRideSignal
:TestRideSignal rdf:type owl:Class ;
rdfs:subClassOf :StatusSignal .
### https://saref.etsi.org/saref4lift/Time
:Time rdf:type owl:Class .
### https://saref.etsi.org/saref4lift/TimeOfConfirmationOfLastPeriodicTest72hAttempt
:TimeOfConfirmationOfLastPeriodicTest72hAttempt rdf:type owl:Class ;
rdfs:subClassOf :BCSSignal .
### https://saref.etsi.org/saref4lift/TimeOfLastPeriodicTest72hAttempt
:TimeOfLastPeriodicTest72hAttempt rdf:type owl:Class ;
rdfs:subClassOf :BCSSignal .
### https://saref.etsi.org/saref4lift/TotalFloorsCovered
:TotalFloorsCovered rdf:type owl:Class ;
rdfs:subClassOf :StatisticSignal .
### https://saref.etsi.org/saref4lift/TotalResetSequence
:TotalResetSequence rdf:type owl:Class ;
rdfs:subClassOf :StatisticSignal .
### https://saref.etsi.org/saref4lift/TotalReverseDirection
:TotalReverseDirection rdf:type owl:Class ;
rdfs:subClassOf :StatisticSignal .
### https://saref.etsi.org/saref4lift/TotalTimeOpened
:TotalTimeOpened rdf:type owl:Class ;
rdfs:subClassOf :StatisticSignal .
### https://saref.etsi.org/saref4lift/UpwardTravels
:UpwardTravels rdf:type owl:Class ;
rdfs:subClassOf :StatisticSignal .
### https://saref.etsi.org/saref4lift/2G
<https://saref.etsi.org/saref4lift/2G> rdf:type owl:Class ;
rdfs:subClassOf :Network .
### https://saref.etsi.org/saref4lift/3G
<https://saref.etsi.org/saref4lift/3G> rdf:type owl:Class ;
rdfs:subClassOf :Network .
### https://saref.etsi.org/saref4lift/4G
<https://saref.etsi.org/saref4lift/4G> rdf:type owl:Class ;
rdfs:subClassOf :Network .
### https://saref.etsi.org/saref4lift/5G
<https://saref.etsi.org/saref4lift/5G> rdf:type owl:Class ;
rdfs:subClassOf :Network .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi