Ontology approximation in horn description logics (bibtex)

by Bötcher, Anneke, Lutz, Carsten and Wolter, Frank

Reference:

Bötcher, Anneke, Lutz, Carsten and Wolter, Frank, "Ontology approximation in horn description logics", In Proceedings of the 28th International Joint Conference on Artificial Intelligence, pp. 1574–1580, 2019.

Bibtex Entry:

@inproceedings{botcher2019ontology,
  title={Ontology approximation in horn description logics},
  author={B{\"o}tcher, Anneke and Lutz, Carsten and Wolter, Frank},
  booktitle={Proceedings of the 28th International Joint Conference on Artificial Intelligence},
  pages={1574--1580},
  year={2019},
  organization={AAAI Press},
url       = {https://cgi.csc.liv.ac.uk/~frank/publ/ijcai19appr.pdf},
keywords={easecrc_human_cognition},
}