Consequence-Driven Reasoning for Horn SHIQ Ontologies.

Yevgeny Kazakov

Browse the full IJCAI paper archive.