Completion rules for uncertainty reasoning with the description logic ALC (2006)

by V Haarslev, H I Pai, N Shiri
Venue:In Proceedings of the Canadian Semantic Web Working Symposium - Series: Semantic Web and Beyond: Computing for Human Experience