ML Anthology

Query-Based Entailment and Inseparability for ALC Ontologies

Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
IJCAI 2016 pp. 1001-1007
/ijcai/2016/botoeva2016ijcai-query/
IJCAI Semantic Scholar

Cite

Text

Botoeva et al. "Query-Based Entailment and Inseparability for ALC Ontologies." International Joint Conference on Artificial Intelligence, 2016.

Markdown

[Botoeva et al. "Query-Based Entailment and Inseparability for ALC Ontologies." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/botoeva2016ijcai-query/)

BibTeX

@inproceedings{botoeva2016ijcai-query,
  title     = {{Query-Based Entailment and Inseparability for ALC Ontologies}},
  author    = {Botoeva, Elena and Lutz, Carsten and Ryzhikov, Vladislav and Wolter, Frank and Zakharyaschev, Michael},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2016},
  pages     = {1001-1007},
  url       = {https://mlanthology.org/ijcai/2016/botoeva2016ijcai-query/}
}