Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.

Sergio Tessaris, Ian Horrocks

Browse the full LPAR paper archive.