ML Anthology

Consequence-Based Reasoning Beyond Horn Ontologies

Frantisek Simancik, Yevgeny Kazakov, Ian Horrocks
IJCAI 2011 pp. 1093-1098
doi:10.5591/978-1-57735-516-8/IJCAI11-187 /ijcai/2011/simancik2011ijcai-consequence/
IJCAI Semantic Scholar

Cite

Text

Simancik et al. "Consequence-Based Reasoning Beyond Horn Ontologies." International Joint Conference on Artificial Intelligence, 2011. doi:10.5591/978-1-57735-516-8/IJCAI11-187

Markdown

[Simancik et al. "Consequence-Based Reasoning Beyond Horn Ontologies." International Joint Conference on Artificial Intelligence, 2011.](https://mlanthology.org/ijcai/2011/simancik2011ijcai-consequence/) doi:10.5591/978-1-57735-516-8/IJCAI11-187

BibTeX

@inproceedings{simancik2011ijcai-consequence,
  title     = {{Consequence-Based Reasoning Beyond Horn Ontologies}},
  author    = {Simancik, Frantisek and Kazakov, Yevgeny and Horrocks, Ian},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2011},
  pages     = {1093-1098},
  doi       = {10.5591/978-1-57735-516-8/IJCAI11-187},
  url       = {https://mlanthology.org/ijcai/2011/simancik2011ijcai-consequence/}
}