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

# my drone is Big 
MyWeight: hasWeight = 1679 

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

# 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: True
Obj2-d: distance = 5 
Obj2-e0: epsilon0 = 2 
Obj2-e1: epsilon1 = 0 
Obj2-e2: epsilon2 = 1 
Obj2-e3: epsilon3 = -2 

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

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

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

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

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

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

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

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

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

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

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

# Obj14 is unsafe: False
Obj14-d: distance = 15 
Obj14-e0: epsilon0 = 12 
Obj14-e1: epsilon1 = 10 
Obj14-e2: epsilon2 = 11 
Obj14-e3: epsilon3 = 8 

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

# Obj16 is unsafe: False
Obj16-d: distance = 10 
Obj16-e0: epsilon0 = 7 
Obj16-e1: epsilon1 = 5 
Obj16-e2: epsilon2 = 6 
Obj16-e3: epsilon3 = 3 

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

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

# Obj19 is unsafe: False
Obj19-d: distance = 14 
Obj19-e0: epsilon0 = 11 
Obj19-e1: epsilon1 = 9 
Obj19-e2: epsilon2 = 10 
Obj19-e3: epsilon3 = 7 

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

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

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

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

# Obj24 is unsafe: False
Obj24-d: distance = 10 
Obj24-e0: epsilon0 = 7 
Obj24-e1: epsilon1 = 5 
Obj24-e2: epsilon2 = 6 
Obj24-e3: epsilon3 = 3 

# Obj25 is unsafe: False
Obj25-d: distance = 14 
Obj25-e0: epsilon0 = 11 
Obj25-e1: epsilon1 = 9 
Obj25-e2: epsilon2 = 10 
Obj25-e3: epsilon3 = 7 

# Obj26 is unsafe: False
Obj26-d: distance = 15 
Obj26-e0: epsilon0 = 12 
Obj26-e1: epsilon1 = 10 
Obj26-e2: epsilon2 = 11 
Obj26-e3: epsilon3 = 8 

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

# Obj28 is unsafe: False
Obj28-d: distance = 12 
Obj28-e0: epsilon0 = 9 
Obj28-e1: epsilon1 = 7 
Obj28-e2: epsilon2 = 8 
Obj28-e3: epsilon3 = 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

Big: hasWeight > 1000

Small: hasWeight > 100

