Optimising terminological reasoning for expressive description logics (0)

by D Tsarkov, I Horrocks, P F Patel-Schneider
Venue:J. of Automated Reasoning