Ontology approximation in horn description logics (bibtex)
by Anneke Bötcher, Carsten Lutz, Frank Wolter
Reference:
Anneke Bötcher, Carsten Lutz, Frank Wolter, "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},
}
Powered by bibtexbrowser