24 search results - page 1 / 5 » A survey of temporal extensions of description logics |
AMAI
2000
Springer
13 years 7 months ago
2000
Springer
principled ones
TIME
2008
IEEE
14 years 1 months ago
2008
IEEE
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 satisfi...
DLOG
2003
13 years 8 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
DLOG
2003
13 years 8 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
FROCOS
2011
Springer
12 years 7 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...