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

# my drone is Big 
MyWeight: hasWeight = 8913 

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

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

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

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

# Obj4 is unsafe: False
Obj4-d: distance = 13 
Obj4-e0: epsilon0 = 10 
Obj4-e1: epsilon1 = 8 
Obj4-e2: epsilon2 = 9 
Obj4-e3: epsilon3 = 6 


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

Big: hasWeight > 1000

Small: hasWeight > 100

