ML Anthology

DL-Lite in the Light of First-Order Logic

Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
AAAI 2007 pp. 361-366
/aaai/2007/artale2007aaai-dl/
PDF AAAI Semantic Scholar

Cite

Text

Artale et al. "DL-Lite in the Light of First-Order Logic." AAAI Conference on Artificial Intelligence, 2007.

Markdown

[Artale et al. "DL-Lite in the Light of First-Order Logic." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/artale2007aaai-dl/)

BibTeX

@inproceedings{artale2007aaai-dl,
  title     = {{DL-Lite in the Light of First-Order Logic}},
  author    = {Artale, Alessandro and Calvanese, Diego and Kontchakov, Roman and Zakharyaschev, Michael},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {361-366},
  url       = {https://mlanthology.org/aaai/2007/artale2007aaai-dl/}
}