Ontology Reasoning in the SHOQ(D) Description Logic.

Ian Horrocks, Ulrike Sattler

Browse the full IJCAI paper archive.