Now showing items 1-1 of 1

    • Temporalising tractable description logics 

      Artale, A; Kontchakov, R; Lutz, C; Wolter, F; Zakharyaschev, M (IEEE, 2007)
      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 ...