ML Anthology

Ordering Heuristics for Description Logic Reasoning

Dmitry Tsarkov, Ian Horrocks
IJCAI 2005 pp. 609-614
/ijcai/2005/tsarkov2005ijcai-ordering/
PDF IJCAI Semantic Scholar

Cite

Text

Tsarkov and Horrocks. "Ordering Heuristics for Description Logic Reasoning." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Tsarkov and Horrocks. "Ordering Heuristics for Description Logic Reasoning." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/tsarkov2005ijcai-ordering/)

BibTeX

@inproceedings{tsarkov2005ijcai-ordering,
  title     = {{Ordering Heuristics for Description Logic Reasoning}},
  author    = {Tsarkov, Dmitry and Horrocks, Ian},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {609-614},
  url       = {https://mlanthology.org/ijcai/2005/tsarkov2005ijcai-ordering/}
}