2015 IJCAI IJCAI 2015

Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes