Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes.

Vctor Gutirrez-Basulto, Jean Christoph Jung, Thomas Schneider

Browse the full IJCAI paper archive.