Spatial Topology Relationships Concrete Domain and Consistency Determination

At the present time, the research of qualitative spatial relationships primary base on first-order predicate logic, but its shortcoming becomes obvious. Description logic is a formal knowledge representation language, and it has strong expression and reasoning ability. This paper band the description logic together with the qualitative spatial topology relationship representation and reasoning. Also, it gives the description of qualitative spatial topology relationships concrete domain, the topology relationship aggregation, and an algorithm of consistency determination.