---
title: "Ordering Heuristics for Description Logic Reasoning"
authors:
  - "Dmitry Tsarkov"
  - "Ian Horrocks"
doi: ""
url: "https://ijcai.org/proceedings/2005/168"
pdf: "https://ijcai.org/proceedings/2005/0168.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "609-613"
track: ""
keywords:
---

# Ordering Heuristics for Description Logic Reasoning

Dmitry Tsarkov, Ian Horrocks

*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.