Qualitative Spatial Reasoning with Directional and Topological Relations

Algorithm 2

Algorithm for checking path-consistency.

IsPathConsistent(, )

(1)      require   a set of relations,

(2)      ensure   path-consistent then true; else false

(3)      if  isCSDRelation() then

(4)              ←getCSDRelations()

(5)      else

(6)              ←getRCCRelations()

(7)      for     do

(8)              ←composeRelations(, )

(9)              (, consistency) ←addRelations(, )

(10)            if !consistency then

(11)                     return false

(12)    return true