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. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Lukácsy, G. (2006). Description logic reasoning in Prolog. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4079 LNCS, pp. 463–464). Springer Verlag. https://doi.org/10.1007/11799573_50
Mendeley helps you to discover research relevant for your work.