Temporal Description Logics: A Survey

13 years 11 months ago

Download lat.inf.tu-dresden.de

We survey temporal description logics that are based on standard temporal logics such as LTL and CTL. In particular, we concentrate on the computational complexity of the satisﬁability problem and algorithms for deciding it.

Carsten Lutz, Frank Wolter, Michael Zakharyaschev

Real-time Traffic

Computational Complexity | Logical Reasoning | Standard Temporal Logics | Temporal Description Logics | TIME 2008 |

claim paper

» Fixpoint Extensions of Temporal Description Logics

» Past and Future of DLLite

» Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

» A Survey of Revision Approaches in Description Logics

» A Temporal Description Logic for Reasoning about Actions and Plans

» A Survey on Temporal Logics

» DLLite with Temporalised Concepts Rigid Axioms and Roles

» Temporalising Tractable Description Logics

Post Info
More Details (n/a)

Added	01 Jun 2010
Updated	01 Jun 2010
Type	Conference
Year	2008
Where	TIME
Authors	Carsten Lutz, Frank Wolter, Michael Zakharyaschev

Comments (0)

Sciweavers

Temporal Description Logics: A Survey

Computational Complexity | Logical Reasoning | Standard Temporal Logics | Temporal Description Logics | TIME 2008 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers