Reasoning with preferences in Description Logics - View it on GitHub