-
Notifications
You must be signed in to change notification settings - Fork 6
/
SYSTEM.owl
134 lines (134 loc) · 6.36 KB
/
SYSTEM.owl
1
2
3
4
5
6
7
8
9
10
11
12
13
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
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
<rdf:RDF
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:provs="http://arcos.rack/PROV-S#"
xmlns:sys="http://arcos.rack/SYSTEM#"
xmlns:builtinfunctions="http://sadl.org/builtinfunctions#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:sadlimplicitmodel="http://sadl.org/sadlimplicitmodel#"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:D="http://arcos.rack/DOCUMENT#"
xmlns:sadlbasemodel="http://sadl.org/sadlbasemodel#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xml:base="http://arcos.rack/SYSTEM">
<owl:Ontology rdf:about="">
<owl:imports rdf:resource="DOCUMENT"/>
<owl:imports rdf:resource="PROV-S"/>
<owl:imports rdf:resource="http://sadl.org/builtinfunctions"/>
<owl:imports rdf:resource="http://sadl.org/sadlimplicitmodel"/>
<owl:imports rdf:resource="http://sadl.org/sadlbasemodel"/>
<rdfs:comment xml:lang="en">This ontology was created from a SADL file 'SYSTEM.sadl' and should not be directly edited.</rdfs:comment>
</owl:Ontology>
<owl:Class rdf:ID="FUNCTION">
<rdfs:subClassOf>
<owl:Restriction>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:maxCardinality>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="parentFunction"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:comment xml:lang="en">defines functionality / capability</rdfs:comment>
<rdfs:subClassOf rdf:resource="PROV-S#ENTITY"/>
</owl:Class>
<owl:Class rdf:ID="OP_ENV">
<rdfs:comment xml:lang="en">defines the operating environment assumptions and constraints</rdfs:comment>
<rdfs:subClassOf rdf:resource="PROV-S#THING"/>
</owl:Class>
<owl:Class rdf:ID="SYSTEM_DEVELOPMENT">
<rdfs:comment xml:lang="en">ACTIVITY relating to the creation of one or more some SYSTEMs</rdfs:comment>
<rdfs:subClassOf rdf:resource="PROV-S#ACTIVITY"/>
</owl:Class>
<owl:Class rdf:ID="SYSTEM">
<rdfs:subClassOf>
<owl:Restriction>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:maxCardinality>
<owl:onProperty>
<owl:ObjectProperty rdf:ID="producedBy"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:comment xml:lang="en">SYSTEMs classify logical parts of the whole system being developed</rdfs:comment>
<rdfs:subClassOf rdf:resource="PROV-S#ENTITY"/>
</owl:Class>
<owl:Class rdf:ID="INTERFACE">
<rdfs:subClassOf>
<owl:Restriction>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#int"
>1</owl:maxCardinality>
<owl:onProperty>
<owl:DatatypeProperty rdf:ID="commodity"/>
</owl:onProperty>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:comment xml:lang="en">INTERFACEs describe directed connections between a SYSTEM providing what another SYSTEM requires</rdfs:comment>
<rdfs:subClassOf rdf:resource="PROV-S#ENTITY"/>
</owl:Class>
<owl:Class rdf:ID="OP_PROCEDURE">
<rdfs:comment xml:lang="en">system operational procedures employed, e.g. going through a checklist, limiting people near runways, etc.</rdfs:comment>
<rdfs:subClassOf rdf:resource="DOCUMENT#PROCEDURE"/>
</owl:Class>
<owl:ObjectProperty rdf:ID="provides">
<rdfs:comment xml:lang="en">List of entities that this SYSTEM provides to others</rdfs:comment>
<rdfs:range rdf:resource="#FUNCTION"/>
<rdfs:domain rdf:resource="#SYSTEM"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="partOf">
<rdfs:comment xml:lang="en">Used to define a relationship to a higher level system</rdfs:comment>
<rdfs:range rdf:resource="#SYSTEM"/>
<rdfs:domain rdf:resource="#SYSTEM"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="function">
<rdfs:subPropertyOf rdf:resource="PROV-S#wasImpactedBy"/>
<rdfs:comment xml:lang="en">functionality / capability of a SYSTEM</rdfs:comment>
<rdfs:range rdf:resource="#FUNCTION"/>
<rdfs:domain rdf:resource="#SYSTEM"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="source">
<rdfs:subPropertyOf rdf:resource="PROV-S#wasImpactedBy"/>
<owl:inverseOf rdf:resource="#provides"/>
<rdfs:comment xml:lang="en">SYSTEM that provides what the INTERFACE offers</rdfs:comment>
<rdfs:range rdf:resource="#SYSTEM"/>
<rdfs:domain rdf:resource="#INTERFACE"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="#producedBy">
<rdfs:subPropertyOf rdf:resource="PROV-S#wasGeneratedBy"/>
<rdfs:comment xml:lang="en">ACTIVITY(s) participating in developing this SYSTEM</rdfs:comment>
<rdfs:range rdf:resource="PROV-S#ACTIVITY"/>
<rdfs:domain rdf:resource="#SYSTEM"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:about="#parentFunction">
<rdfs:comment xml:lang="en">allows for decomposition of functionality</rdfs:comment>
<rdfs:range rdf:resource="#FUNCTION"/>
<rdfs:domain rdf:resource="#FUNCTION"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="requires">
<rdfs:comment xml:lang="en">List of entities that this SYSTEM requires from others</rdfs:comment>
<rdfs:range rdf:resource="#FUNCTION"/>
<rdfs:domain rdf:resource="#SYSTEM"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="developedBy">
<rdfs:subPropertyOf rdf:resource="PROV-S#wasAssociatedWith"/>
<rdfs:comment xml:lang="en">Organization that is responsible for producing a system</rdfs:comment>
<rdfs:range rdf:resource="PROV-S#AGENT"/>
<rdfs:domain rdf:resource="#SYSTEM_DEVELOPMENT"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="identifiedBy">
<rdfs:comment xml:lang="en">ACTIVITY out of which this INTERFACE was identified</rdfs:comment>
<rdfs:range rdf:resource="PROV-S#ACTIVITY"/>
<rdfs:domain rdf:resource="#INTERFACE"/>
</owl:ObjectProperty>
<owl:ObjectProperty rdf:ID="destination">
<rdfs:subPropertyOf rdf:resource="PROV-S#wasImpactedBy"/>
<owl:inverseOf rdf:resource="#requires"/>
<rdfs:comment xml:lang="en">SYSTEM that requires what the INTERFACE offers</rdfs:comment>
<rdfs:range rdf:resource="#SYSTEM"/>
<rdfs:domain rdf:resource="#INTERFACE"/>
</owl:ObjectProperty>
<owl:DatatypeProperty rdf:about="#commodity">
<rdfs:comment xml:lang="en">the thing conveyed by the interface</rdfs:comment>
<rdfs:range rdf:resource="http://www.w3.org/2001/XMLSchema#string"/>
<rdfs:domain rdf:resource="#INTERFACE"/>
</owl:DatatypeProperty>
</rdf:RDF>