A Connection Calculus for the Description Logic ALC. - Freitas, Fred; Otten, Jens (2016)