PREFIX : <http://www.semanticweb.org/alisa/ontologies/2023/concrete-domain/drone-distance-1#> 

# Conn1-0 is unsafe: 0
Conn1-0-d: distance = 7 
Conn1-0-e0: epsilon0 = 6 
Conn1-0-e1: epsilon1 = 4 
Conn1-0-e2: epsilon2 = 5 
Conn1-0-e3: epsilon3 = 2 

# Conn2-0 is unsafe: 1
Conn2-0-d: distance = 5 
Conn2-0-e0: epsilon0 = 2 
Conn2-0-e1: epsilon1 = 0 
Conn2-0-e2: epsilon2 = 1 
Conn2-0-e3: epsilon3 = -2 

# Conn2-1 is unsafe: 1
Conn2-1-d: distance = 6 
Conn2-1-e0: epsilon0 = 3 
Conn2-1-e1: epsilon1 = 1 
Conn2-1-e2: epsilon2 = 2 
Conn2-1-e3: epsilon3 = -1 

# Conn3-0 is unsafe: 0
Conn3-0-d: distance = 9 
Conn3-0-e0: epsilon0 = 8 
Conn3-0-e1: epsilon1 = 6 
Conn3-0-e2: epsilon2 = 7 
Conn3-0-e3: epsilon3 = 4 

# Conn3-1 is unsafe: 0
Conn3-1-d: distance = 7 
Conn3-1-e0: epsilon0 = 6 
Conn3-1-e1: epsilon1 = 4 
Conn3-1-e2: epsilon2 = 5 
Conn3-1-e3: epsilon3 = 2 

# Conn3-2 is unsafe: 0
Conn3-2-d: distance = 9 
Conn3-2-e0: epsilon0 = 6 
Conn3-2-e1: epsilon1 = 4 
Conn3-2-e2: epsilon2 = 5 
Conn3-2-e3: epsilon3 = 2 

# Conn4-0 is unsafe: 0
Conn4-0-d: distance = 7 
Conn4-0-e0: epsilon0 = 6 
Conn4-0-e1: epsilon1 = 4 
Conn4-0-e2: epsilon2 = 5 
Conn4-0-e3: epsilon3 = 2 

# Conn4-1 is unsafe: 0
Conn4-1-d: distance = 6 
Conn4-1-e0: epsilon0 = 5 
Conn4-1-e1: epsilon1 = 3 
Conn4-1-e2: epsilon2 = 4 
Conn4-1-e3: epsilon3 = 1 

# Conn4-2 is unsafe: 0
Conn4-2-d: distance = 8 
Conn4-2-e0: epsilon0 = 5 
Conn4-2-e1: epsilon1 = 3 
Conn4-2-e2: epsilon2 = 4 
Conn4-2-e3: epsilon3 = 1 

# Conn4-3 is unsafe: 0
Conn4-3-d: distance = 9 
Conn4-3-e0: epsilon0 = 8 
Conn4-3-e1: epsilon1 = 6 
Conn4-3-e2: epsilon2 = 7 
Conn4-3-e3: epsilon3 = 4 

# Conn5-0 is unsafe: 1
Conn5-0-d: distance = 7 
Conn5-0-e0: epsilon0 = 4 
Conn5-0-e1: epsilon1 = 2 
Conn5-0-e2: epsilon2 = 3 
Conn5-0-e3: epsilon3 = 0 

# Conn5-1 is unsafe: 0
Conn5-1-d: distance = 8 
Conn5-1-e0: epsilon0 = 5 
Conn5-1-e1: epsilon1 = 3 
Conn5-1-e2: epsilon2 = 4 
Conn5-1-e3: epsilon3 = 1 

# Conn5-2 is unsafe: 1
Conn5-2-d: distance = 4 
Conn5-2-e0: epsilon0 = 1 
Conn5-2-e1: epsilon1 = -1 
Conn5-2-e2: epsilon2 = 0 
Conn5-2-e3: epsilon3 = -3 

# Conn5-3 is unsafe: 1
Conn5-3-d: distance = 7 
Conn5-3-e0: epsilon0 = 4 
Conn5-3-e1: epsilon1 = 2 
Conn5-3-e2: epsilon2 = 3 
Conn5-3-e3: epsilon3 = 0 

# Conn5-4 is unsafe: 0
Conn5-4-d: distance = 11 
Conn5-4-e0: epsilon0 = 8 
Conn5-4-e1: epsilon1 = 6 
Conn5-4-e2: epsilon2 = 7 
Conn5-4-e3: epsilon3 = 4 

# Conn6-0 is unsafe: 0
Conn6-0-d: distance = 8 
Conn6-0-e0: epsilon0 = 7 
Conn6-0-e1: epsilon1 = 5 
Conn6-0-e2: epsilon2 = 6 
Conn6-0-e3: epsilon3 = 3 

# Conn6-1 is unsafe: 0
Conn6-1-d: distance = 10 
Conn6-1-e0: epsilon0 = 9 
Conn6-1-e1: epsilon1 = 7 
Conn6-1-e2: epsilon2 = 8 
Conn6-1-e3: epsilon3 = 5 

# Conn6-2 is unsafe: 1
Conn6-2-d: distance = 4 
Conn6-2-e0: epsilon0 = 1 
Conn6-2-e1: epsilon1 = -1 
Conn6-2-e2: epsilon2 = 0 
Conn6-2-e3: epsilon3 = -3 

# Conn6-3 is unsafe: 0
Conn6-3-d: distance = 12 
Conn6-3-e0: epsilon0 = 11 
Conn6-3-e1: epsilon1 = 9 
Conn6-3-e2: epsilon2 = 10 
Conn6-3-e3: epsilon3 = 7 

# Conn6-4 is unsafe: 0
Conn6-4-d: distance = 6 
Conn6-4-e0: epsilon0 = 5 
Conn6-4-e1: epsilon1 = 3 
Conn6-4-e2: epsilon2 = 4 
Conn6-4-e3: epsilon3 = 1 

# Conn6-5 is unsafe: 0
Conn6-5-d: distance = 9 
Conn6-5-e0: epsilon0 = 6 
Conn6-5-e1: epsilon1 = 4 
Conn6-5-e2: epsilon2 = 5 
Conn6-5-e3: epsilon3 = 2 

# Conn7-0 is unsafe: 1
Conn7-0-d: distance = 7 
Conn7-0-e0: epsilon0 = 4 
Conn7-0-e1: epsilon1 = 2 
Conn7-0-e2: epsilon2 = 3 
Conn7-0-e3: epsilon3 = 0 

# Conn7-1 is unsafe: 1
Conn7-1-d: distance = 5 
Conn7-1-e0: epsilon0 = 2 
Conn7-1-e1: epsilon1 = 0 
Conn7-1-e2: epsilon2 = 1 
Conn7-1-e3: epsilon3 = -2 

# Conn7-2 is unsafe: 1
Conn7-2-d: distance = 5 
Conn7-2-e0: epsilon0 = 2 
Conn7-2-e1: epsilon1 = 0 
Conn7-2-e2: epsilon2 = 1 
Conn7-2-e3: epsilon3 = -2 

# Conn7-3 is unsafe: 0
Conn7-3-d: distance = 9 
Conn7-3-e0: epsilon0 = 6 
Conn7-3-e1: epsilon1 = 4 
Conn7-3-e2: epsilon2 = 5 
Conn7-3-e3: epsilon3 = 2 

# Conn7-4 is unsafe: 1
Conn7-4-d: distance = 7 
Conn7-4-e0: epsilon0 = 4 
Conn7-4-e1: epsilon1 = 2 
Conn7-4-e2: epsilon2 = 3 
Conn7-4-e3: epsilon3 = 0 

# Conn7-5 is unsafe: 1
Conn7-5-d: distance = 7 
Conn7-5-e0: epsilon0 = 4 
Conn7-5-e1: epsilon1 = 2 
Conn7-5-e2: epsilon2 = 3 
Conn7-5-e3: epsilon3 = 0 

# Conn7-6 is unsafe: 1
Conn7-6-d: distance = 7 
Conn7-6-e0: epsilon0 = 4 
Conn7-6-e1: epsilon1 = 2 
Conn7-6-e2: epsilon2 = 3 
Conn7-6-e3: epsilon3 = 0 

# Conn8-0 is unsafe: 0
Conn8-0-d: distance = 6 
Conn8-0-e0: epsilon0 = 5 
Conn8-0-e1: epsilon1 = 3 
Conn8-0-e2: epsilon2 = 4 
Conn8-0-e3: epsilon3 = 1 

# Conn8-1 is unsafe: 0
Conn8-1-d: distance = 5 
Conn8-1-e0: epsilon0 = 4 
Conn8-1-e1: epsilon1 = 2 
Conn8-1-e2: epsilon2 = 3 
Conn8-1-e3: epsilon3 = 0 

# Conn8-2 is unsafe: 0
Conn8-2-d: distance = 6 
Conn8-2-e0: epsilon0 = 3 
Conn8-2-e1: epsilon1 = 1 
Conn8-2-e2: epsilon2 = 2 
Conn8-2-e3: epsilon3 = -1 

# Conn8-3 is unsafe: 0
Conn8-3-d: distance = 4 
Conn8-3-e0: epsilon0 = 3 
Conn8-3-e1: epsilon1 = 1 
Conn8-3-e2: epsilon2 = 2 
Conn8-3-e3: epsilon3 = -1 

# Conn8-4 is unsafe: 1
Conn8-4-d: distance = 1 
Conn8-4-e0: epsilon0 = 0 
Conn8-4-e1: epsilon1 = -2 
Conn8-4-e2: epsilon2 = -1 
Conn8-4-e3: epsilon3 = -4 

# Conn8-5 is unsafe: 0
Conn8-5-d: distance = 7 
Conn8-5-e0: epsilon0 = 4 
Conn8-5-e1: epsilon1 = 2 
Conn8-5-e2: epsilon2 = 3 
Conn8-5-e3: epsilon3 = 0 

# Conn8-6 is unsafe: 0
Conn8-6-d: distance = 6 
Conn8-6-e0: epsilon0 = 5 
Conn8-6-e1: epsilon1 = 3 
Conn8-6-e2: epsilon2 = 4 
Conn8-6-e3: epsilon3 = 1 

# Conn8-7 is unsafe: 0
Conn8-7-d: distance = 7 
Conn8-7-e0: epsilon0 = 4 
Conn8-7-e1: epsilon1 = 2 
Conn8-7-e2: epsilon2 = 3 
Conn8-7-e3: epsilon3 = 0 

# Conn9-0 is unsafe: 0
Conn9-0-d: distance = 9 
Conn9-0-e0: epsilon0 = 8 
Conn9-0-e1: epsilon1 = 6 
Conn9-0-e2: epsilon2 = 7 
Conn9-0-e3: epsilon3 = 4 

# Conn9-1 is unsafe: 0
Conn9-1-d: distance = 9 
Conn9-1-e0: epsilon0 = 8 
Conn9-1-e1: epsilon1 = 6 
Conn9-1-e2: epsilon2 = 7 
Conn9-1-e3: epsilon3 = 4 

# Conn9-2 is unsafe: 1
Conn9-2-d: distance = 4 
Conn9-2-e0: epsilon0 = 1 
Conn9-2-e1: epsilon1 = -1 
Conn9-2-e2: epsilon2 = 0 
Conn9-2-e3: epsilon3 = -3 

# Conn9-3 is unsafe: 0
Conn9-3-d: distance = 4 
Conn9-3-e0: epsilon0 = 3 
Conn9-3-e1: epsilon1 = 1 
Conn9-3-e2: epsilon2 = 2 
Conn9-3-e3: epsilon3 = -1 

# Conn9-4 is unsafe: 0
Conn9-4-d: distance = 7 
Conn9-4-e0: epsilon0 = 6 
Conn9-4-e1: epsilon1 = 4 
Conn9-4-e2: epsilon2 = 5 
Conn9-4-e3: epsilon3 = 2 

# Conn9-5 is unsafe: 0
Conn9-5-d: distance = 7 
Conn9-5-e0: epsilon0 = 4 
Conn9-5-e1: epsilon1 = 2 
Conn9-5-e2: epsilon2 = 3 
Conn9-5-e3: epsilon3 = 0 

# Conn9-6 is unsafe: 0
Conn9-6-d: distance = 7 
Conn9-6-e0: epsilon0 = 6 
Conn9-6-e1: epsilon1 = 4 
Conn9-6-e2: epsilon2 = 5 
Conn9-6-e3: epsilon3 = 2 

# Conn9-7 is unsafe: 1
Conn9-7-d: distance = 3 
Conn9-7-e0: epsilon0 = 0 
Conn9-7-e1: epsilon1 = -2 
Conn9-7-e2: epsilon2 = -1 
Conn9-7-e3: epsilon3 = -4 

# Conn9-8 is unsafe: 0
Conn9-8-d: distance = 2 

# Conn10-0 is unsafe: 0
Conn10-0-d: distance = 6 
Conn10-0-e0: epsilon0 = 5 
Conn10-0-e1: epsilon1 = 3 
Conn10-0-e2: epsilon2 = 4 
Conn10-0-e3: epsilon3 = 1 

# Conn10-1 is unsafe: 0
Conn10-1-d: distance = 7 
Conn10-1-e0: epsilon0 = 6 
Conn10-1-e1: epsilon1 = 4 
Conn10-1-e2: epsilon2 = 5 
Conn10-1-e3: epsilon3 = 2 

# Conn10-2 is unsafe: 0
Conn10-2-d: distance = 9 
Conn10-2-e0: epsilon0 = 6 
Conn10-2-e1: epsilon1 = 4 
Conn10-2-e2: epsilon2 = 5 
Conn10-2-e3: epsilon3 = 2 

# Conn10-3 is unsafe: 0
Conn10-3-d: distance = 7 
Conn10-3-e0: epsilon0 = 6 
Conn10-3-e1: epsilon1 = 4 
Conn10-3-e2: epsilon2 = 5 
Conn10-3-e3: epsilon3 = 2 

# Conn10-4 is unsafe: 1
Conn10-4-d: distance = 3 
Conn10-4-e0: epsilon0 = 2 
Conn10-4-e1: epsilon1 = 0 
Conn10-4-e2: epsilon2 = 1 
Conn10-4-e3: epsilon3 = -2 

# Conn10-5 is unsafe: 1
Conn10-5-d: distance = 5 
Conn10-5-e0: epsilon0 = 2 
Conn10-5-e1: epsilon1 = 0 
Conn10-5-e2: epsilon2 = 1 
Conn10-5-e3: epsilon3 = -2 

# Conn10-6 is unsafe: 0
Conn10-6-d: distance = 10 
Conn10-6-e0: epsilon0 = 9 
Conn10-6-e1: epsilon1 = 7 
Conn10-6-e2: epsilon2 = 8 
Conn10-6-e3: epsilon3 = 5 

# Conn10-7 is unsafe: 1
Conn10-7-d: distance = 7 
Conn10-7-e0: epsilon0 = 4 
Conn10-7-e1: epsilon1 = 2 
Conn10-7-e2: epsilon2 = 3 
Conn10-7-e3: epsilon3 = 0 

# Conn10-8 is unsafe: 0
Conn10-8-d: distance = 2 

# Conn10-9 is unsafe: 0
Conn10-9-d: distance = 8 


##### TBox constrains - OperatingDistances (always hold by gen.py wrt a size)

OpDistSmall: epsilon0 + 1 = distance

OpDistLowVisSmall: epsilon1 + 3 = distance

OpDistMovObjSmall: epsilon2 + 2 = distance

OpDistMovObjLowVisSmall: epsilon3 + 5 = distance

OpDistBig: epsilon0 + 3 = distance

OpDistLowVisBig: epsilon1 + 5 = distance

OpDistMovObjBig: epsilon2 + 4 = distance

OpDistMovObjLowVisBig: epsilon3 + 7 = distance


##### TBox constrains (to be checked by the reasoner for different situations)

SafeOpDist: epsilon0 > 0

SafeOpDistLowVis: epsilon1 > 0

SafeOpDistMovObj: epsilon2 > 0

SafeOpDistMovObjLowVis: epsilon3 > 0

