Vortrag724/en
Aus Aifbportal
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
About the Talk
Date: 2008-10-29
Title: Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
Author: Sebastian Rudolph
Event:
Name: International Semantic Web Conference (ISWC 2008)
Location: Karlsruhe
Country: D
Research Group: Web Science