Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Vortrag724/en

Aus Aifbportal

Wechseln zu: Navigation, Suche
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