-
Notifications
You must be signed in to change notification settings - Fork 0
/
KB_in_owl_functional.owl
172 lines (126 loc) · 11.9 KB
/
KB_in_owl_functional.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
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
Prefix(:=<http://www.semanticweb.org/valentyn/ontologies/2018/0/untitled-ontology-12#>)
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#>)
Ontology(<http://www.semanticweb.org/valentyn/ontologies/2018/0/untitled-ontology-12>
Declaration(Class(<http://car-assistant.ru/classes#Interval>))
Declaration(Class(<http://car-assistant.ru/classes#State>))
Declaration(Class(<https://www.w3.org/2002/07/owl#Class>))
Declaration(Class(<https://www.w3.org/2002/07/owl#DatatypeProperty>))
Declaration(Class(<https://www.w3.org/2002/07/owl#ObjectProperty>))
Declaration(NamedIndividual(<http://car-assistant.ru/classes#Interval>))
Declaration(NamedIndividual(<http://car-assistant.ru/classes#State>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Alarm>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Int_A_1>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Int_A_2>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Int_A_3>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Int_A_4>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Int_A_5>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Int_W_1>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Int_W_2>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Int_W_3>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Int_W_4>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Int_W_5>))
Declaration(NamedIndividual(<http://car-assistant.ru/instances#Warning>))
Declaration(NamedIndividual(<http://car-assistant.ru/properties#P1>))
Declaration(NamedIndividual(<http://car-assistant.ru/properties#P2>))
Declaration(NamedIndividual(<http://car-assistant.ru/properties#P3>))
Declaration(NamedIndividual(<http://car-assistant.ru/properties#P4>))
Declaration(NamedIndividual(<http://car-assistant.ru/properties#P5>))
Declaration(NamedIndividual(<http://car-assistant.ru/properties#max>))
Declaration(NamedIndividual(<http://car-assistant.ru/properties#min>))
Declaration(AnnotationProperty(<http://car-assistant.ru/properties#P1>))
Declaration(AnnotationProperty(<http://car-assistant.ru/properties#P2>))
Declaration(AnnotationProperty(<http://car-assistant.ru/properties#P3>))
Declaration(AnnotationProperty(<http://car-assistant.ru/properties#P4>))
Declaration(AnnotationProperty(<http://car-assistant.ru/properties#P5>))
Declaration(AnnotationProperty(<http://car-assistant.ru/properties#max>))
Declaration(AnnotationProperty(<http://car-assistant.ru/properties#min>))
############################
# Named Individuals
############################
# Individual: <http://car-assistant.ru/classes#Interval> (<http://car-assistant.ru/classes#Interval>)
ClassAssertion(<https://www.w3.org/2002/07/owl#Class> <http://car-assistant.ru/classes#Interval>)
# Individual: <http://car-assistant.ru/classes#State> (<http://car-assistant.ru/classes#State>)
ClassAssertion(<https://www.w3.org/2002/07/owl#Class> <http://car-assistant.ru/classes#State>)
# Individual: <http://car-assistant.ru/instances#Alarm> (<http://car-assistant.ru/instances#Alarm>)
AnnotationAssertion(<http://car-assistant.ru/properties#P1> <http://car-assistant.ru/instances#Alarm> <http://car-assistant.ru/instances#Int_A_1>)
AnnotationAssertion(<http://car-assistant.ru/properties#P2> <http://car-assistant.ru/instances#Alarm> <http://car-assistant.ru/instances#Int_A_2>)
AnnotationAssertion(<http://car-assistant.ru/properties#P3> <http://car-assistant.ru/instances#Alarm> <http://car-assistant.ru/instances#Int_A_3>)
AnnotationAssertion(<http://car-assistant.ru/properties#P4> <http://car-assistant.ru/instances#Alarm> <http://car-assistant.ru/instances#Int_A_4>)
AnnotationAssertion(<http://car-assistant.ru/properties#P5> <http://car-assistant.ru/instances#Alarm> <http://car-assistant.ru/instances#Int_A_5>)
ClassAssertion(<http://car-assistant.ru/classes#State> <http://car-assistant.ru/instances#Alarm>)
# Individual: <http://car-assistant.ru/instances#Int_A_1> (<http://car-assistant.ru/instances#Int_A_1>)
AnnotationAssertion(<http://car-assistant.ru/properties#max> <http://car-assistant.ru/instances#Int_A_1> "900"^^xsd:integer)
AnnotationAssertion(<http://car-assistant.ru/properties#min> <http://car-assistant.ru/instances#Int_A_1> "880"^^xsd:integer)
AnnotationAssertion(rdfs:comment <http://car-assistant.ru/instances#Int_A_1> "Alarm by Sensor #1")
ClassAssertion(<http://car-assistant.ru/classes#Interval> <http://car-assistant.ru/instances#Int_A_1>)
# Individual: <http://car-assistant.ru/instances#Int_A_2> (<http://car-assistant.ru/instances#Int_A_2>)
AnnotationAssertion(<http://car-assistant.ru/properties#max> <http://car-assistant.ru/instances#Int_A_2> "605"^^xsd:integer)
AnnotationAssertion(<http://car-assistant.ru/properties#min> <http://car-assistant.ru/instances#Int_A_2> "545"^^xsd:integer)
AnnotationAssertion(rdfs:comment <http://car-assistant.ru/instances#Int_A_2> "Alarm by Sensor #2")
ClassAssertion(<http://car-assistant.ru/classes#Interval> <http://car-assistant.ru/instances#Int_A_2>)
# Individual: <http://car-assistant.ru/instances#Int_A_3> (<http://car-assistant.ru/instances#Int_A_3>)
AnnotationAssertion(<http://car-assistant.ru/properties#max> <http://car-assistant.ru/instances#Int_A_3> "590"^^xsd:integer)
AnnotationAssertion(<http://car-assistant.ru/properties#min> <http://car-assistant.ru/instances#Int_A_3> "410"^^xsd:integer)
AnnotationAssertion(rdfs:comment <http://car-assistant.ru/instances#Int_A_3> "Alarm by Sensor #3")
ClassAssertion(<http://car-assistant.ru/classes#Interval> <http://car-assistant.ru/instances#Int_A_3>)
# Individual: <http://car-assistant.ru/instances#Int_A_4> (<http://car-assistant.ru/instances#Int_A_4>)
AnnotationAssertion(<http://car-assistant.ru/properties#max> <http://car-assistant.ru/instances#Int_A_4> "630"^^xsd:integer)
AnnotationAssertion(<http://car-assistant.ru/properties#min> <http://car-assistant.ru/instances#Int_A_4> "600"^^xsd:integer)
AnnotationAssertion(rdfs:comment <http://car-assistant.ru/instances#Int_A_4> "Alarm by Sensor #4")
ClassAssertion(<http://car-assistant.ru/classes#Interval> <http://car-assistant.ru/instances#Int_A_4>)
# Individual: <http://car-assistant.ru/instances#Int_A_5> (<http://car-assistant.ru/instances#Int_A_5>)
AnnotationAssertion(<http://car-assistant.ru/properties#max> <http://car-assistant.ru/instances#Int_A_5> "720"^^xsd:integer)
AnnotationAssertion(<http://car-assistant.ru/properties#min> <http://car-assistant.ru/instances#Int_A_5> "695"^^xsd:integer)
AnnotationAssertion(rdfs:comment <http://car-assistant.ru/instances#Int_A_5> "Alarm by Sensor #5")
ClassAssertion(<http://car-assistant.ru/classes#Interval> <http://car-assistant.ru/instances#Int_A_5>)
# Individual: <http://car-assistant.ru/instances#Int_W_1> (<http://car-assistant.ru/instances#Int_W_1>)
AnnotationAssertion(<http://car-assistant.ru/properties#max> <http://car-assistant.ru/instances#Int_W_1> "879"^^xsd:integer)
AnnotationAssertion(<http://car-assistant.ru/properties#min> <http://car-assistant.ru/instances#Int_W_1> "725"^^xsd:integer)
AnnotationAssertion(rdfs:comment <http://car-assistant.ru/instances#Int_W_1> "Warning by Sensor #1")
ClassAssertion(<http://car-assistant.ru/classes#Interval> <http://car-assistant.ru/instances#Int_W_1>)
# Individual: <http://car-assistant.ru/instances#Int_W_2> (<http://car-assistant.ru/instances#Int_W_2>)
AnnotationAssertion(<http://car-assistant.ru/properties#max> <http://car-assistant.ru/instances#Int_W_2> "544"^^xsd:integer)
AnnotationAssertion(<http://car-assistant.ru/properties#min> <http://car-assistant.ru/instances#Int_W_2> "430"^^xsd:integer)
AnnotationAssertion(rdfs:comment <http://car-assistant.ru/instances#Int_W_2> "Warning by Sensor #2")
ClassAssertion(<http://car-assistant.ru/classes#Interval> <http://car-assistant.ru/instances#Int_W_2>)
# Individual: <http://car-assistant.ru/instances#Int_W_3> (<http://car-assistant.ru/instances#Int_W_3>)
AnnotationAssertion(<http://car-assistant.ru/properties#max> <http://car-assistant.ru/instances#Int_W_3> "409"^^xsd:integer)
AnnotationAssertion(<http://car-assistant.ru/properties#min> <http://car-assistant.ru/instances#Int_W_3> "360"^^xsd:integer)
AnnotationAssertion(rdfs:comment <http://car-assistant.ru/instances#Int_W_3> "Warning by Sensor #3")
ClassAssertion(<http://car-assistant.ru/classes#Interval> <http://car-assistant.ru/instances#Int_W_3>)
# Individual: <http://car-assistant.ru/instances#Int_W_4> (<http://car-assistant.ru/instances#Int_W_4>)
AnnotationAssertion(<http://car-assistant.ru/properties#max> <http://car-assistant.ru/instances#Int_W_4> "599"^^xsd:integer)
AnnotationAssertion(<http://car-assistant.ru/properties#min> <http://car-assistant.ru/instances#Int_W_4> "570"^^xsd:integer)
AnnotationAssertion(rdfs:comment <http://car-assistant.ru/instances#Int_W_4> "Warning by Sensor #4")
ClassAssertion(<http://car-assistant.ru/classes#Interval> <http://car-assistant.ru/instances#Int_W_4>)
# Individual: <http://car-assistant.ru/instances#Int_W_5> (<http://car-assistant.ru/instances#Int_W_5>)
AnnotationAssertion(<http://car-assistant.ru/properties#max> <http://car-assistant.ru/instances#Int_W_5> "694"^^xsd:integer)
AnnotationAssertion(<http://car-assistant.ru/properties#min> <http://car-assistant.ru/instances#Int_W_5> "651"^^xsd:integer)
AnnotationAssertion(rdfs:comment <http://car-assistant.ru/instances#Int_W_5> "Warning by Sensor #5")
ClassAssertion(<http://car-assistant.ru/classes#Interval> <http://car-assistant.ru/instances#Int_W_5>)
# Individual: <http://car-assistant.ru/instances#Warning> (<http://car-assistant.ru/instances#Warning>)
AnnotationAssertion(<http://car-assistant.ru/properties#P1> <http://car-assistant.ru/instances#Warning> <http://car-assistant.ru/instances#Int_W_1>)
AnnotationAssertion(<http://car-assistant.ru/properties#P2> <http://car-assistant.ru/instances#Warning> <http://car-assistant.ru/instances#Int_W_2>)
AnnotationAssertion(<http://car-assistant.ru/properties#P3> <http://car-assistant.ru/instances#Warning> <http://car-assistant.ru/instances#Int_W_3>)
AnnotationAssertion(<http://car-assistant.ru/properties#P4> <http://car-assistant.ru/instances#Warning> <http://car-assistant.ru/instances#Int_W_4>)
AnnotationAssertion(<http://car-assistant.ru/properties#P5> <http://car-assistant.ru/instances#Warning> <http://car-assistant.ru/instances#Int_W_5>)
ClassAssertion(<http://car-assistant.ru/classes#State> <http://car-assistant.ru/instances#Warning>)
# Individual: <http://car-assistant.ru/properties#P1> (<http://car-assistant.ru/properties#P1>)
ClassAssertion(<https://www.w3.org/2002/07/owl#ObjectProperty> <http://car-assistant.ru/properties#P1>)
# Individual: <http://car-assistant.ru/properties#P2> (<http://car-assistant.ru/properties#P2>)
ClassAssertion(<https://www.w3.org/2002/07/owl#ObjectProperty> <http://car-assistant.ru/properties#P2>)
# Individual: <http://car-assistant.ru/properties#P3> (<http://car-assistant.ru/properties#P3>)
ClassAssertion(<https://www.w3.org/2002/07/owl#ObjectProperty> <http://car-assistant.ru/properties#P3>)
# Individual: <http://car-assistant.ru/properties#P4> (<http://car-assistant.ru/properties#P4>)
ClassAssertion(<https://www.w3.org/2002/07/owl#ObjectProperty> <http://car-assistant.ru/properties#P4>)
# Individual: <http://car-assistant.ru/properties#P5> (<http://car-assistant.ru/properties#P5>)
ClassAssertion(<https://www.w3.org/2002/07/owl#ObjectProperty> <http://car-assistant.ru/properties#P5>)
# Individual: <http://car-assistant.ru/properties#max> (<http://car-assistant.ru/properties#max>)
ClassAssertion(<https://www.w3.org/2002/07/owl#DatatypeProperty> <http://car-assistant.ru/properties#max>)
# Individual: <http://car-assistant.ru/properties#min> (<http://car-assistant.ru/properties#min>)
ClassAssertion(<https://www.w3.org/2002/07/owl#DatatypeProperty> <http://car-assistant.ru/properties#min>)
)