Efficient Description Logic Reasoning in Prolog: The DLog system

TL;DR

The paper introduces DLog, a Prolog-based Description Logic reasoning system that transforms axioms into Prolog programs, enabling scalable, database-backed ABox reasoning for the SHIQ language.

Contribution

DLog is the first system to implement scalable, database-backed ABox reasoning for the full SHIQ Description Logic using Prolog transformations.

Findings

DLog achieves improved scalability over traditional in-memory reasoners.

DLog effectively integrates with existing databases for ontology reasoning.

DLog supports reasoning for the full SHIQ language.

Abstract

This paper describes a resolution based Description Logic reasoning system called DLog. DLog transforms Description Logic axioms into a Prolog program and uses the standard Prolog execution for efficiently answering instance retrieval queries. From the Description Logic point of view, DLog is an ABox reasoning engine for the full SHIQ language. The DLog approach makes it possible to store the individuals in a database instead of memory, which results in better scalability and helps using description logic ontologies directly on top of existing information sources. To appear in Theory and Practice of Logic Programming (TPLP).