Tractable Interval Temporal Propositional and Description Logics
Artale, Alessandro (Free University of Bozen-Bolzano) | Kontchakov, Roman (Birkbeck, University of London) | Ryzhikov, Vladislav (Free University of Bozen-Bolzano) | Zakharyaschev, Michael (Birkbeck, University of London)
We design a tractable Horn fragment of the Halpern-Shoham temporal logic and extend it to interval-based temporal description logics, instance checking in which is P-complete for both combined and data complexity.
Mar-6-2015
- Country:
- Europe
- Italy (0.04)
- United Kingdom > England
- Oxfordshire > Oxford (0.04)
- Greater London > London (0.04)
- Asia > Japan
- Kyūshū & Okinawa > Kyūshū (0.04)
- Europe
- Technology: