A Correspondence between Temporal Description Logics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

A Correspondence between Temporal Description Logics

A. ArtaleA. Artale,  Carsten LutzCarsten Lutz
A. Artale, Carsten Lutz
A Correspondence between Temporal Description Logics
Journal of Applied Non-Classical Logic, 14(1--2):209-233, 2004
  • KurzfassungAbstract
    In this paper, we investigate the relationship between two decidable interval-based temporal description logics that have been proposed in the literature, TL-ALCF and ALCF(A). Although many aspects of these two logics are quite similar, the two logics suggest two rather different paradigms for representing temporal conceptual knowledge. In this paper, we exhibit a reduction from TL-ALCF concepts to ALCF(A) concepts that serves two purposes: first, it nicely illustrates the relationship between the two knowledge representation paradigms; and second, it provides a tight PSpace upper bound for TL-ALCF concept satisfiabiliy, whose complexity was previously unknown.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ ArtaleLutzJANCL04,
  author = {A. {Artale} and C. {Lutz}},
  journal = {Journal of Applied Non-Classical Logic},
  number = {1--2},
  pages = {209--233},
  title = {A Correspondence between Temporal Description Logics},
  volume = {14},
  year = {2004},
}