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

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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

Sebastian RudolphSebastian Rudolph,  Markus KrötzschMarkus Krötzsch,  Pascal HitzlerPascal Hitzler
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
In Amit Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy Finin, Krishnaprasad Thirunarayan, eds., Proceedings of the International Semantic Web Conference (ISWC 2008), volume 5318 of LNCS, 435-450, 2008. Springer
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-540-88564-1_28.
/* Please refer to the 2012 journal paper instead */
@inproceedings{RKH2008,
  author    = {Sebastian Rudolph and Markus Kr{\"{o}}tzsch and Pascal Hitzler},
  title     = {Description Logic Reasoning with Decision Diagrams: Compiling
               {SHIQ} to Disjunctive Datalog},
  editor    = {Amit Sheth and Steffen Staab and Mike Dean and Massimo Paolucci
               and Diana Maynard and Timothy Finin and Krishnaprasad
               Thirunarayan},
  booktitle = {Proceedings of the International Semantic Web Conference (ISWC
               2008)},
  series    = {LNCS},
  volume    = {5318},
  publisher = {Springer},
  year      = {2008},
  pages     = {435-450},
  doi       = {10.1007/978-3-540-88564-1_28}
}