Reducing owl entailment to description logic satisfiability. (2004)

by I Horrocks, P Patel-Schneider
Venue:Journal of Web Semantics,