Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.

Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev

Browse the full IJCAI paper archive.