ML Anthology

Query Conservative Extensions in Horn Description Logics with Inverse Roles

Jean Christoph Jung, Carsten Lutz, Mauricio Martel, Thomas Schneider
IJCAI 2017 pp. 1116-1122
doi:10.24963/IJCAI.2017/155 /ijcai/2017/jung2017ijcai-query/
PDF IJCAI Semantic Scholar

Cite

Text

Jung et al. "Query Conservative Extensions in Horn Description Logics with Inverse Roles." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/155

Markdown

[Jung et al. "Query Conservative Extensions in Horn Description Logics with Inverse Roles." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/jung2017ijcai-query/) doi:10.24963/IJCAI.2017/155

BibTeX

@inproceedings{jung2017ijcai-query,
  title     = {{Query Conservative Extensions in Horn Description Logics with Inverse Roles}},
  author    = {Jung, Jean Christoph and Lutz, Carsten and Martel, Mauricio and Schneider, Thomas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {1116-1122},
  doi       = {10.24963/IJCAI.2017/155},
  url       = {https://mlanthology.org/ijcai/2017/jung2017ijcai-query/}
}