Practical reasoning for expressive description logics (1999)

by I Horrocks, U Sattler, S Tobies
Venue:Proc. of the 6th Int. Conf. on Logic for Programming and Automated Reasoning (LPAR’99), number 1705 in Lecture Notes in Artificial Intelligence