A Journey into Ontology Approximation: From Non-Horn to Horn (bibtex)

by Anneke Haga and Carsten Lutz and Johannes Marti and Frank Wolter

Reference:

Anneke Haga and Carsten Lutz and Johannes Marti and Frank Wolter, "A Journey into Ontology Approximation: From Non-Horn to Horn", In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 (Christian Bessiere, ed.), ijcai.org, pp. 1827–1833, 2020.

Bibtex Entry:

@inproceedings{DBLP:conf/ijcai/HagaLMW20,
   author    = {Anneke Haga and
                Carsten Lutz and
                Johannes Marti and
                Frank Wolter},
   title     = {A Journey into Ontology Approximation: From Non-Horn to Horn},
   booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
                Artificial Intelligence, {IJCAI} 2020},
   pages     = {1827--1833},
   year      = {2020},
   editor    = {Christian Bessiere},
   publisher = {ijcai.org},
keywords = {easecrc_knowledge},
}