↗tknoelle/DIREImplementation of a Distributed Reasoner for Description Logic in Scala (diploma/masters thesis)