-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathRules-Covid19
125 lines (94 loc) · 3.09 KB
/
Rules-Covid19
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
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix event: <http://www.people.usi.ch/fornaran/ontology/event#>
@prefix time: <http://www.w3.org/2006/time#>
@prefix xsd: <http://www.w3.org/2001/XMLSchema#>
[PRODUCTION_NORM05_ACTIVATION:
isSalience(0)
(?e1 rdf:type event:PositiveTest)
(?e1 event:affectedPerson ?agent)
(?e1 event:atTime ?inst1)
(?inst1 time:inXSDDateTimeStamp ?t1)
greaterThanNow(?t1)
noValue(?dr event:activated ?e1)
addDeadline(?t1,"P15D"^^http://www.w3.org/2001/XMLSchema#duration,?tEnd)
getCounter(?counter)
uriConcat(event: dr05_ ?counter ?name)
uriConcat(event: tCreation_dr05_ ?counter ?creationTime)
uriConcat(event: deadline_dr05_ ?counter ?inst_te_end)
uriConcat(event: tev_end_dr05_ ?counter ?te_end)
->
(?name rdf:type event:DeonticRelation)
(?te_end rdf:type event:TimeEvent)
(?inst_te_end rdf:type time:Instant)
(?name event:isGenerated event:norm05)
(?name event:activated ?e1)
(?te_end event:atTime ?inst_te_end)
(?inst_te_end time:inXSDDateTimeStamp ?tEnd)
(?name event:end ?te_end)
(?name event:debtor ?agent)
(?creationTime rdf:type time:Instant)
(?creationTime time:inXSDDateTimeStamp ?t1)
(?name event:creationTime ?creationTime)
]
[PRODUCTION_NORM05_VIOLATION:
isSalience(0)
(?dr rdf:type event:DeonticRelation)
(?dr event:isGenerated event:norm05)
(?dr event:activated ?e1)
(?dr event:end ?tev_end)
(?tev_end event:atTime ?inst_end)
(?inst_end time:inXSDDateTimeStamp ?tEnd)
(?dr event:debtor ?agent)
(?e1 event:atTime ?inst1)
(?inst1 time:inXSDDateTimeStamp ?t1)
(?e2 rdf:type event:LeaveHouse)
(?e2 event:actor ?agent)
(?e2 event:atTime ?inst2)
(?inst2 time:inXSDDateTimeStamp ?t2)
(?e2 event:from ?house)
(?agent event:home ?house)
greaterThan(?t2 ?t1)
lessThan(?t2 ?tEnd)
greaterThanNow(?t2)
noValue(?dr event:ExceptionToDR ?e2)
noValue(?dr event:violated ?e2)
->
(?agent event:violates ?dr)
(?dr event:violated ?e2)
]
[PRODUCTION_NORM05_FULFILLMENT:
isSalience(0)
(?dr rdf:type event:DeonticRelation)
(?dr event:isGenerated event:norm05)
(?dr event:activated ?e1)
(?dr event:end ?tev_end)
(?tev_end event:atTime ?inst_end)
(?inst_end time:inXSDDateTimeStamp ?tEnd)
(?dr event:debtor ?agent)
greaterThanNow(?tEnd)
noValue(?dr event:ExceptionToDR ?en)
noValue(?dr event:fulfilled ?en)
noValue(?dr event:violated ?en)
->
(?agent event:fulfills ?dr)
(?dr event:fulfilled ?tev_end)
]
[PRODUCTION_NORM05_EXCEPTION01:
isSalience(1)
(?dr rdf:type event:DeonticRelation)
(?dr event:isGenerated event:norm05)
(?dr event:creationTime ?creationTime)
(?dr event:end ?tev_end)
(?tev_end event:atTime ?inst_end)
(?inst_end time:inXSDDateTimeStamp ?tEnd)
(?dr event:activated ?e1)
(?e1 event:affectedPerson ?agent)
(?e3 rdf:type event:Fire)
(?e3 event:place ?house)
(?agent event:home ?house)
noValue(?dr event:violates ?agent)
->
drop(1)
drop(3)
drop(4)
]