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