24 Conclusion DL-safe rules:  restrict application of rules to individuals explicitly introduced in the ABox to achieve decidability  do not restrict component languages  increase expressivity of component languages  …can be simply appended to the result of the reduction of SHIQ to disjunctive datalog Future work:  extend reduction to support nominals (to support OWL-DL)  implement KAON2 – a new hybrid reasoner  conduct a thorough performance evaluation  support some kind of non-monotonic reasoning
{}