# Example in the paper 
# all , exactly half, exactly quarter sensors of a drone is broken
# a drone should detect sensor impairment as well as dirt. 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

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

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

QuarterSensorsAreImpaired :
  4 * brokenSensors
  4 * dirtySensors
  -1 * sensors
  = 0
 