related documents A Parallel Framework for Handling Non-determinism with Expressive Description Logics Conferences