Ontology Approximation in Horn Description Logics.

Anneke Btcher, Carsten Lutz, Frank Wolter

Browse the full IJCAI paper archive.