Vortrag724

Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.

Sebastian Rudolph

Informationen zum Vortrag

Datum: 29. Oktober 2008
Titel: Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.
Referent: Sebastian Rudolph

Veranstaltung:
Name: International Semantic Web Conference (ISWC 2008)
Ort: Karlsruhe
Land: D

Forschungsgruppe: Web Science und Wissensmanagement