A Correspondance between Temporal Description Logics
Aus International Center for Computational Logic
„Juli 30 -- August 1“ befindet sich nicht in der Liste (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) zulässiger Werte für das Attribut „Month“.
A Correspondance between Temporal Description Logics
A. ArtaleA. Artale, Carsten LutzCarsten Lutz
A. Artale, Carsten Lutz
A Correspondance between Temporal Description Logics
In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics (DL'99), CEUR-WS, 145-149, 1999. Linköping University
A Correspondance between Temporal Description Logics
In Patrick Lambrix and Alex Borgida and Maurizio Lenzerini and Ralf Möller and Peter Patel-Schneider, eds., Proceedings of the International Workshop on Description Logics (DL'99), CEUR-WS, 145-149, 1999. Linköping University
- KurzfassungAbstract
Description Logics (DLs) are formalisms for representing and reasoning about conceptual knowledge. There exist several extensions of DLs for an appropriate integration of temporal knowledge. This paper investigates the relation between the two DLs TL-ALCF and ALCF(D). TL-ALCF is an interval-based, temporal DL for reasoning about objects whose properties vary over time. ALCF(D) is a logic for integrated reasoning about conceptual and so-called concrete knowledge. If instantiated with a ``temporal concrete domain, ALCF(D) is well-suited for reasoning about temporal objects, i.e., objects which have a unique temporal extension. This paper is a first attempt to clarify the relationship between this two formalisms. It is showed that satisfiability of TL-ALCF concepts can be reduced to satisfiability of ALCF(D) concepts. This allows to use the available ALCF(D) tableau calculus for reasoning with TL-ALCF. Furthermore, it allows to settle the complexity of satisfiability of TL-ALCF concepts, which was previously unknown. - Bemerkung: Note: Proceedings online available from http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ ArtaleLutz-DL-99,
address = {Linkoeping, Sweden},
author = {A. {Artale} and C. {Lutz}},
booktitle = {Proceedings of the International Workshop on Description Logics (DL'99)},
editor = {Patrick {Lambrix} and Alex {Borgida} and Maurizio {Lenzerini} and Ralf {M{\"o}ller} and Peter {Patel-Schneider}},
month = {July 30 -- August 1},
note = {Proceedings online available from {http://SunSITE.Informatik.RWTH-Aachen.DE/Publications/CEUR-WS/Vol-22/}},
number = {22},
pages = {145--149},
publisher = {Link{\"o}ping University},
series = {CEUR-WS},
title = {A Correspondance between Temporal Description Logics},
year = {1999},
}
