Practical Reasoning for Expressive Description Logics (1999)

by Ian Horrocks, Ulrike Sattler, Stephan Tobies