Description logic reasoning in prolog

  • Authors:

  • Gergely Lukácsy

  • Affiliations:

  • Department of Computer Science and Information Theory, Budapest University of Technology and Economics, Magyar tudósok körútja 2, Hungary

  • Venue:
  • ICLP'06 Proceedings of the 22nd international conference on Logic Programming
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.