A Description Logic with Concrete Domains and Role-forming Predicates

From International Center for Computational Logic

Toggle side column

A Description Logic with Concrete Domains and Role-forming Predicates

V. HaarslevV. Haarslev,  Carsten LutzCarsten Lutz,  R. MöllerR. Möller
V. Haarslev, Carsten Lutz, R. Möller
A Description Logic with Concrete Domains and Role-forming Predicates
Journal of Logic and Computation, 9(3):351-384, 1999
  • KurzfassungAbstract
    This article presents the description logic ALCRP(D) with concrete domains and a role-forming predicate operator as its prominent aspects. We demonstrate the feasibility of ALCRP(D) for reasoning about spatial objects and their qualitative spatial relationships and provide an appropriate concrete domain for spatial objects. The general significance of ALCRP(D) is demonstrated by adding temporal reasoning to spatial and terminological reasoning using a combined concrete domain. The theory is motivated as a basis for knowledge representation and query processing in the domain of geographic information systems. In contrast to existing work in this domain, which mainly focuses either on conceptual reasoning or on reasoning about qualitative spatial relations, we integrate reasoning about spatial information with terminological reasoning.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ Haarslev-Lutz+-JLC-1999,
  author = {V. {Haarslev} and C. {Lutz} and R. {M{\"o}ller}},
  journal = {Journal of Logic and Computation},
  number = {3},
  pages = {351--384},
  title = {A Description Logic with Concrete Domains and Role-forming Predicates},
  volume = {9},
  year = {1999},
}