Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes

Gutiérrez-Basulto et al. "Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes." International Joint Conference on Artificial Intelligence, 2015.

[Gutiérrez-Basulto et al. "Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/gutierrezbasulto2015ijcai-lightweight/)

@inproceedings{gutierrezbasulto2015ijcai-lightweight,
  title     = {{Lightweight Temporal Description Logics with Rigid Roles and Restricted TBoxes}},
  author    = {Gutiérrez-Basulto, Víctor and Jung, Jean Christoph and Schneider, Thomas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {3015-3021},
  url       = {https://mlanthology.org/ijcai/2015/gutierrezbasulto2015ijcai-lightweight/}
}