ML Anthology

First-Order Rewritability of Atomic Queries in Horn Description Logics

Meghyn Bienvenu, Carsten Lutz, Frank Wolter
IJCAI 2013 pp. 754-760
/ijcai/2013/bienvenu2013ijcai-first/
IJCAI Semantic Scholar

Cite

Text

Bienvenu et al. "First-Order Rewritability of Atomic Queries in Horn Description Logics." International Joint Conference on Artificial Intelligence, 2013.

Markdown

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

BibTeX

@inproceedings{bienvenu2013ijcai-first,
  title     = {{First-Order Rewritability of Atomic Queries in Horn Description Logics}},
  author    = {Bienvenu, Meghyn and Lutz, Carsten and Wolter, Frank},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2013},
  pages     = {754-760},
  url       = {https://mlanthology.org/ijcai/2013/bienvenu2013ijcai-first/}
}