Efficient Description Logic Reasoning in Prolog: The DLog system
Gergely Luk\'acsy, P\'eter Szeredi

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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSemantic Web and Ontologies · Logic, Reasoning, and Knowledge · Advanced Database Systems and Queries
