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

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

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

# Conn2-1 is unsafe: 0
Conn2-1-d: distance = 6 

# 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 = 10 

# Conn3-2 is unsafe: 0
Conn3-2-d: distance = 5 


##### 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

