On Spatial Reasoning with Description Logics - Position Paper

@inproceedings{Wessel2002OnSR,
  title={On Spatial Reasoning with Description Logics - Position Paper},
  author={Michael Wessel},
  booktitle={Description Logics},
  year={2002}
}
We discuss a family of DLs called ALCIRCC which are suitable for qualitative spatial reasoning on various levels of granularity. In contrast to our previous work where we investigated concept satisfiability in the basic description logic ALC in combination with composition–based role inclusion axioms of the form S ◦ T ⊑ R1 ⊔ · · · ⊔Rn and role disjointness, we are now only considering the role axioms that are derived from the so-called RCC composition tables. In order to correctly capture the… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
22 Citations
4 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 22 extracted citations

Similar Papers

Loading similar papers…