Computing Horn Rewritings of Description Logics Ontologies

Mark Kaminski, Bernardo Cuenca Grau. Computing Horn Rewritings of Description Logics Ontologies. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 3091-3097, AAAI Press, 2015. [doi]

@inproceedings{KaminskiG15-0,
  title = {Computing Horn Rewritings of Description Logics Ontologies},
  author = {Mark Kaminski and Bernardo Cuenca Grau},
  year = {2015},
  url = {http://ijcai.org/papers15/Abstracts/IJCAI15-436.html},
  researchr = {https://researchr.org/publication/KaminskiG15-0},
  cites = {0},
  citedby = {0},
  pages = {3091-3097},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015},
  editor = {Qiang Yang 0001 and Michael Wooldridge},
  publisher = {AAAI Press},
  isbn = {978-1-57735-738-4},
}