ML Anthology

Consequence-Driven Reasoning for Horn SHIQ Ontologies

Yevgeny Kazakov
IJCAI 2009 pp. 2040-2045
/ijcai/2009/kazakov2009ijcai-consequence/
PDF IJCAI Semantic Scholar

Cite

Text

Kazakov. "Consequence-Driven Reasoning for Horn SHIQ Ontologies." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Kazakov. "Consequence-Driven Reasoning for Horn SHIQ Ontologies." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/kazakov2009ijcai-consequence/)

BibTeX

@inproceedings{kazakov2009ijcai-consequence,
  title     = {{Consequence-Driven Reasoning for Horn SHIQ Ontologies}},
  author    = {Kazakov, Yevgeny},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {2040-2045},
  url       = {https://mlanthology.org/ijcai/2009/kazakov2009ijcai-consequence/}
}