Knowledge_Base_Represented_by_Semantic_Web_Language/original_owl_code.owl at master · sichkar-valentyn/Knowledge_Base_Represented_by_Semantic_Web_Language · GitHub

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
@prefix carc: <http://car-assistant.ru/classes#>.
@prefix carp: <http://car-assistant.ru/properties#>.
@prefix cari: <http://car-assistant.ru/instances#>.
@Prefix owl: <https://www.w3.org/2002/07/owl#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.

carc:State a owl:Class.

cari:Alarm a carc:State.
cari:Warning a carc:State.

carp:P1 a owl:ObjectProperty.
carp:P2 a owl:ObjectProperty.
carp:P3 a owl:ObjectProperty.
carp:P4 a owl:ObjectProperty.
carp:P5 a owl:ObjectProperty.

carc:Interval a owl:Class.

carp:min a owl:DatatypeProperty.
carp:max a owl:DatatypeProperty.

cari:Int_W_1 a carc:Interval.
cari:Warning carp:P1 cari:Int_W_1.

cari:Int_W_2 a carc:Interval.
cari:Warning carp:P2 cari:Int_W_2.

cari:Int_W_3 a carc:Interval.
cari:Warning carp:P3 cari:Int_W_3.

cari:Int_W_4 a carc:Interval.
cari:Warning carp:P4 cari:Int_W_4.

cari:Int_W_5 a carc:Interval.
cari:Warning carp:P5 cari:Int_W_5.

cari:Int_W_1 carp:min 700;
			 carp:max 879;
     rdfs:comment "Warning by Sensor #1".

cari:Int_W_2 carp:min 430;
			 carp:max 544;
     rdfs:comment "Warning by Sensor #2".

cari:Int_W_3 carp:min 360;
			 carp:max 409;
     rdfs:comment "Warning by Sensor #3".

cari:Int_W_4 carp:min 570;
             carp:max 599;
     rdfs:comment "Warning by Sensor #4".

cari:Int_W_5 carp:min 651;
			 carp:max 694;
     rdfs:comment "Warning by Sensor #5".

cari:Int_A_1 a carc:Interval.
cari:Alarm carp:P1 cari:Int_A_1.

cari:Int_A_2 a carc:Interval.
cari:Alarm carp:P2 cari:Int_A_2.

cari:Int_A_3 a carc:Interval.
cari:Alarm carp:P3 cari:Int_A_3.

cari:Int_A_4 a carc:Interval.
cari:Alarm carp:P4 cari:Int_A_4.

cari:Int_A_5 a carc:Interval.
cari:Alarm carp:P5 cari:Int_A_5.

cari:Int_A_1 carp:min 880;
			 carp:max 900;
     rdfs:comment "Alarm by Sensor #1".

cari:Int_A_2 carp:min 545;
			 carp:max 605;
	 rdfs:comment "Alarm by Sensor #2".

cari:Int_A_3 carp:min 410;
			 carp:max 590;
	 rdfs:comment "Alarm by Sensor #3".

cari:Int_A_4 carp:min 600;
			 carp:max 630;
	 rdfs:comment "Alarm by Sensor #4".

cari:Int_A_5 carp:min 695;
			 carp:max 720;
	 rdfs:comment "Alarm by Sensor #5".