Diploma and Master Theses (authored and supervised):
"Evaluation of Description Logic Programs using an RDBMS";
Supervisor: T. Eiter, T. Krennwallner;
Institut für Informationssysteme,
final examination: 2011-01-12.
We propose a novel approach to evaluate description logic programs (dl-programs) using a Relational Database Management System (RDBMS). Such dl-programs are a state-of- the-art Semantic Web formalism of combining rules and ontologies, whereby rules are expressed as logic programs and ontologies are expressed in Description Logics (DL). In dl-programs a modular concept of plug-ins was introduced, which allows to combine dl-programs with different DL reasoner. Grounding in dl-programs is still considered a performance bottleneck, caused by having exponentially many rules to process. But for the success of the Semantic Web technologies, it is crucial to efficiently process vast amounts of data. The goal of this work is to show, that dl-programs can be efficiently evaluated by using RDBMSs. For this purpose we report on a prototype implementation, where SQL is generated by an existing DL-Lite reasoner, which is incorporated into a Datalog rewriter. For testing the prototype, we develop a benchmark suite with pure Datalog and Datalog/DL tests. Based on the benchmark suite, we produce experimental results. These results are used to compare the prototype with the reasoners of the DLV family.
Answer Set Programming, Nonmonotic Reasoning, Description Logics
Electronic version of the publication:
Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs
Created from the Publication Database of the Vienna University of Technology.