Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
S
saref4lift
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Iterations
Requirements
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Releases
Package Registry
Container Registry
Model registry
Operate
Environments
Terraform modules
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Code review analytics
Issue analytics
Insights
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
SAREF
saref4lift
Commits
7c3aa050
Commit
7c3aa050
authored
4 years ago
by
Mauro Dragoni
Browse files
Options
Downloads
Patches
Plain Diff
Added entities related to the CarSignal requirements category.
parent
cb14e76b
No related branches found
Branches containing commit
No related tags found
1 merge request
!1
Added entities related to the CarSignal requirements category.
Pipeline
#267
failed
4 years ago
Stage: test
Stage: deploy
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
ontology/saref4lift.ttl
+190
-12
190 additions, 12 deletions
ontology/saref4lift.ttl
tests/.~lock.tests.csv#
+1
-0
1 addition, 0 deletions
tests/.~lock.tests.csv#
with
191 additions
and
12 deletions
ontology/saref4lift.ttl
+
190
−
12
View file @
7c3aa050
@prefix
:
<https://saref.etsi.org/saref4lift/>
.
@prefix
dcterms:
<http://purl.org/dc/terms/>
.
@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/core/>
.
@prefix
vann:
<http://purl.org/vocab/vann/>
.
@prefix
saref:
<https://saref.etsi.org/core/>
.
@prefix
schema:
<http://schema.org/>
.
@prefix
dcterms:
<http://purl.org/dc/terms/>
.
@base
<https://saref.etsi.org/saref4lift/>
.
<https://saref.etsi.org/saref4lift/>
rdf:
type
owl:
Ontology
;
dcterms:
title
"SAREF extension for Smart Lifts"
@en
;
dcterms:
description
"This ontology extends the SAREF ontology for the Smart Lifts domain."
@en
;
dcterms:
publisher
<https://www.etsi.org/>
;
owl:
versionIRI
<https://saref.etsi.org/saref4lift/v1.1.1/>
;
owl:
versionInfo
"v1.1.1"
;
dcterms:
modified
"2021-01-11"
^^
xsd:
date
;
dcterms:
license
<https://forge.etsi.org/etsi-software-license>
;
dcterms:
source
<https://saref.etsi.org/sources/saref4lift/>
;
vann:
preferredNamespacePrefix
"s4lift"
;
vann:
preferredNamespaceUri
"https://saref.etsi.org/saref4lift/"
.
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/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
.
#################################################################
# 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/hasPositionValue
:
hasPositionValue
rdf:
type
owl:
DatatypeProperty
;
rdfs:
domain
:
PositionSignal
;
rdfs:
range
xsd:
integer
.
### https://saref.etsi.org/saref4lift/hasStatusValue
:
hasStatusValue
rdf:
type
owl:
DatatypeProperty
;
rdfs:
domain
:
StatusSignal
;
rdfs:
range
xsd:
boolean
.
#################################################################
# Classes
#################################################################
### https://saref.etsi.org/saref4lift/CarAlarm
:
CarAlarm
rdf:
type
owl:
Class
;
rdfs:
subClassOf
:
StatusSignal
.
### 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
.
### https://saref.etsi.org/saref4lift/CurrentCarStop
:
CurrentCarStop
rdf:
type
owl:
Class
;
rdfs:
subClassOf
:
PositionSignal
.
### 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/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/MovingDownwardDirection
:
MovingDownwardDirection
rdf:
type
owl:
Class
;
rdfs:
subClassOf
:
StatusSignal
.
### https://saref.etsi.org/saref4lift/MovingUpwardDirection
:
MovingUpwardDirection
rdf:
type
owl:
Class
;
rdfs:
subClassOf
:
StatusSignal
.
### 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/PositionSignal
:
PositionSignal
rdf:
type
owl:
Class
;
rdfs:
subClassOf
:
CarSignal
.
### https://saref.etsi.org/saref4lift/PowerSupply
:
PowerSupply
rdf:
type
owl:
Class
.
### https://saref.etsi.org/saref4lift/SmartLiftSystem
:
SmartLiftSystem
rdf:
type
owl:
Class
.
### https://saref.etsi.org/saref4lift/StatusSignal
:
StatusSignal
rdf:
type
owl:
Class
;
rdfs:
subClassOf
:
CarSignal
.
### https://saref.etsi.org/saref4lift/TestRide
:
TestRide
rdf:
type
owl:
Class
;
rdfs:
subClassOf
:
StatusSignal
.
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi
This diff is collapsed.
Click to expand it.
tests/.~lock.tests.csv#
0 → 100644
+
1
−
0
View file @
7c3aa050
,drago,drago-notebook,17.02.2021 10:33,file:///home/drago/.config/libreoffice/4;
\ No newline at end of file
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment