ML Anthology

Ordering Heuristics for Description Logic Reasoning

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

Abstract

We present a new architecture for Description Logic implementations, a range of new optimisation techniques and an empirical analysis of their effectiveness.

PDF 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/}
}