Description Logic Reasoning in Prolog

We present a novel Description Logic reasoning approach, which focuses on solving the ABox instance retrieval problem when huge amounts of underlying data are expected. In such cases, traditional description logic theorem proving techniques cannot be used due to performance problems. Our approach is to transform the description logic knowledge base into a set of Horn-clauses forming a Prolog program.