Browse wiki

@inproceedings{RKH:OBBD08b,
    author   = {Sebastian Rudolph and Markus Kr\"{o}tzsch
                and Pascal Hitzler},
    title    = {Description Logic Reasoning with Decision
                Diagrams: Compiling $\mathcal{SHIQ}$ to 
                Disjunctive Datalog},
    pages    = {435--450},
    crossref = {iswc08}
}
@proceedings{iswc08,
    editor    = {Amit Sheth and Steffen Staab and Mike Dean
                 and Massimo Paolucci and Diana Maynard
                 and Timothy Finin and Krishnaprasad Thirunarayan},
    title     = {Proceedings of the 7th International Semantic Web
                 Conference (ISWC'08)},
    booktitle = {Proceedings of the 7th International Semantic Web
                 Conference (ISWC'08)},
    publisher = {Springer},
    series    = {LNCS},
    volume    = {5318},
    year      = {2008}
}