Ordering Heuristics for Description Logic Reasoning
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 609-613.
Abstract
We present a new architecture for Description Logic implementations, a range of new optimisation techniques and an empirical analysis of their effectiveness.
Dmitry Tsarkov, and Ian Horrocks. 2005. Ordering Heuristics for Description Logic Reasoning. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 609–613. https://ijcai.org/proceedings/2005/168
Tsarkov, D., & Horrocks, I. (2005). Ordering Heuristics for Description Logic Reasoning. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 (pp. 609–613). IJCAI. https://ijcai.org/proceedings/2005/168
@inproceedings{ijcai2005p168,
title = {Ordering Heuristics for Description Logic Reasoning},
author = {Tsarkov, Dmitry and Horrocks, Ian},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {609--613},
year = {2005},
url = {https://ijcai.org/proceedings/2005/168},
}
TY - CPAPER TI - Ordering Heuristics for Description Logic Reasoning AU - Tsarkov, Dmitry AU - Horrocks, Ian T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 609 EP - 613 UR - https://ijcai.org/proceedings/2005/168 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
