Consequence-Based Reasoning beyond Horn Ontologies.

Frantisek Simanck, Yevgeny Kazakov, Ian Horrocks

Browse the full IJCAI paper archive.