Efficient Description Logic Reasoning in Prolog: The DLog system

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 ABo...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2009-04
Hauptverfasser:	Lukácsy, Gergely, Szeredi, Péter
Format:	Artikel
Sprache:	eng
Schlagworte:	Axioms Information sources Logic programming Prolog Reasoning Reasoning programs
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!