Browse wiki

@inproceedings{KMR10:Orel,
    author    = {Markus Kr\"{o}tzsch and Anees Mehdi
                 and Sebastian Rudolph},
    title     = {Orel: Database-Driven Reasoning for {OWL~2} Profiles},
    pages     = {114--124},
    crossref  = {dl10}
}
@proceedings{dl10,
    editor    = {Volker Haarslev and David Toman and Grant Weddell},
    title     = {Proceedings of the 23rd International Workshop on
                 Description Logics (DL'10)},
    booktitle = {Proceedings of the 23rd International Workshop on
                 Description Logics (DL'10)},
    publisher = {CEUR-WS.org},
    series    = {CEUR Workshop Proceedings},
    volume    = {573},
    year      = {2010},
}