Plateau: legacy solutions
OWL Reasoner