Practical reasoning for expressive Description Logics (1999)

by Ian Horrocks, Ulrike Sattler, Stephan Tobies
Venue:Proceedings sixth Int’l Conf. on Logic for Programming and Automated Reasoning (LPAR’99), number 1705 in Lecture Notes in Artificial Intelligence