loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
14th International Symposium on Temporal Representation and Reasoning (TIME'07)
Temporalising Tractable Description Logics
Alicante, Spain
June 28-June 30
ISBN: 0-7695-2836-8
A. Artale, Free University of Bozen-Bolzano, Italy
R. Kontchakov, Birkbeck College, UK
C. Lutz, Dresden University of Technology, Germany
F. Wolter, University of Liverpool, UK
M. Zakharyaschev, Birkbeck College, UK
It is known that for temporal languages, such as first-order LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal description logics as well: constant binary relations together with general concept subsumptions in combinations of LT L and the basic description logic ALC cause undecidability. In this paper, we explore temporal extensions of two recently introduced families of ?weak? description logics known as DL-Lite and EL. Our results are twofold: temporalisations of even rather expressive variants of DL-Lite turn out to be decidable, while the temporalisation of EL with general concept subsumptions and constant relations is undecidable.
Citation:
A. Artale, R. Kontchakov, C. Lutz, F. Wolter, M. Zakharyaschev, "Temporalising Tractable Description Logics," time, pp.11-22, 14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.