Ontology Approximation in Horn Description Logics (bibtex)

Reference:

, "Ontology Approximation in Horn Description Logics", In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, ijcai.org, pp. 1574–1580, 2019.

Bibtex Entry:

@inproceedings{DBLP:conf/ijcai/BotcherLW19,
   author    = {Anneke B{\"{o}}tcher and
                Carsten Lutz and
                Frank Wolter},
   title     = {Ontology Approximation in Horn Description Logics},
   booktitle = {Proceedings of the Twenty-Eighth International Joint Conference on
                Artificial Intelligence, {IJCAI} 2019, Macao, China, August 10-16,
                2019},
   pages     = {1574--1580},
   year      = {2019},
   publisher = {ijcai.org},
keywords = {easecrc_knowledge}
}