Practical Reasoning for Expressive Description Logics. (1999)

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