Practical Reasoning with Nominals in the EL Family of Description Logics

Yevgeny Kazakov, Markus Kroetzsch, Frantisek Simancik. Practical Reasoning with Nominals in the EL Family of Description Logics. In Gerhard Brewka, Thomas Eiter, Sheila A. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012. AAAI Press, 2012. [doi]

@inproceedings{KazakovKS12-0,
  title = {Practical Reasoning with Nominals in the EL Family of Description Logics},
  author = {Yevgeny Kazakov and Markus Kroetzsch and Frantisek Simancik},
  year = {2012},
  url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4540},
  researchr = {https://researchr.org/publication/KazakovKS12-0},
  cites = {0},
  citedby = {0},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012},
  editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith},
  publisher = {AAAI Press},
  isbn = {978-1-57735-560-1},
}