Browse wiki

@inproceedings{C+12:dlacyclicity,
    author    = {Bernardo {Cuenca Grau} and Ian Horrocks and
                 Markus Kr{\"o}tzsch and Clemens Kupke and
                 Despoina Magka and Boris Motik and Zhe Wang},
    title     = {Acyclicity Conditions and their Application to
                 Query Answering in Description Logics},
    booktitle = {Proceedings of the 13th International Conference
                 on Principles of Knowledge Representation and
                 Reasoning (KR'12)},
    year      = {2012},
    note      = {to appear}
}