Efficient reasoning with range and domain constraints
Dmitry Tsarkov, Ian Horrocks · 2004
We show how a tableaux algorithm for that include range and domain axioms, prove that the extended algorithm is still a decision concepts w.r.t. such a role box, and show how support for range and domian axioms can be exploited in order to add a new form of absorption optimisation called role absorption. We illustrate the effectiveness of the optimised algorithm by analysing the perfomance of our FaCT++ implementation when classifying terminologies derived from realistic ontologies. 1