H.: Distributed Resolution for ALC (0)

by A Schlicht, Stuckenschmidt
Venue:In: Proceedings of the 21st International Workshop on Description Logics (DL2008