Temporalising Tractable Description Logics.

Alessandro Artale, Roman Kontchakov, Carsten Lutz, Frank Wolter, Michael Zakharyaschev

Browse the full TIME paper archive.