ML Anthology

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics

Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter
IJCAI 2016 pp. 965-971
/ijcai/2016/bienvenu2016ijcai-first/
IJCAI Semantic Scholar

Cite

Text

Bienvenu et al. "First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Bienvenu et al. "First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/bienvenu2016ijcai-first/)

BibTeX

@inproceedings{bienvenu2016ijcai-first,
  title     = {{First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics}},
  author    = {Bienvenu, Meghyn and Hansen, Peter and Lutz, Carsten and Wolter, Frank},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {965-971},
  url       = {https://mlanthology.org/ijcai/2016/bienvenu2016ijcai-first/}
}