Browse wiki

@inproceedings{KKS12:nominEL,
    author    = {Yevgeny Kazakov and Markus Kr{\"o}tzsch and
                 Franti\v{s}ek Siman\v{c}\'{i}k},
    title     = {Practical Reasoning with Nominals in the
                 {$\mathcal{EL}$} Family of Description Logics},
    booktitle = {Proceedings of the 13th International Conference
                 on Principles of Knowledge Representation and
                 Reasoning (KR'12)},
    year      = {2012},
    note      = {to appear, available from
   \url{http://code.google.com/p/elk-reasoner/wiki/Publications}}
}