Description logic reasoning using the PTTP approach

The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the language ALC, and evaluates its performance highlighting the advantages and drawbacks of this method.

• Type: Conference
• Year: 2006
• Where: DLOG
• Authors: Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
• Keywords: Automated Reasoning, DLOG 2006, Inference Algorithm, Language Alc, Prolog Technology Theorem