A Journey into Ontology Approximation: From Non-Horn to Horn.

Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter

Browse the full IJCAI paper archive.