# all , exactly half, exactly quarter sensors and propellers of a drone is broken
# a drone should detect sensor impairment as well as dirt. For propellers, they can be lost or damaged. And if multiple problems happen, the constrains must aggregate the info into a more natural statement.

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

##ABox data properties encoding
CurrentState-1 :
 1 * brokenSensors
 = 3

CurrentState-2 :
 1 * dirtySensors
 = 1

CurrentState-3 :
 1 * sensors
 = 8

CurrentState-4 :
 1 * propellers
 = 4
 
CurrentState-5 :
 1 * lostPropellers
 = 2

CurrentState-6 :
 1 * damagedPropellers
 = 2

AllSensorsAreImpaired :
  1 * brokenSensors
  1 * dirtySensors
  -1 * sensors
  = 0

HalfSensorsAreImpaired :
  2 * brokenSensors
  2 * dirtySensors
  -1 * sensors
  = 0

QuarterSensorsAreImpaired :
  4 * brokenSensors
  4 * dirtySensors
  -1 * sensors
  = 0
 
AllPropellersAreNonoperating : 
  1 * lostPropellers
  1 * damagedPropellers
  -1 * propellers
  = 0

HalfPropellersAreNonoperating :
  2 * lostPropellers
  2 * damagedPropellers
  -1 * propellers
  = 0
