Computing Horn Rewritings of Description Logics Ontologies.

Mark Kaminski, Bernardo Cuenca Grau

Browse the full IJCAI paper archive.