ALC, automated reasoning, connection method2, Description Logic2, description logic benchmarking, Reasoner2.