4 papers:
KR-2014-LudwigK #difference #logic- Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).
SAC-2006-dAmatoFE #concept #difference- A dissimilarity measure for ALC concept descriptions (Cd, NF, FE), pp. 1695–1699.
SAT-2006-SebastianiV #case study #encoding #logic #satisfiability- Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC (RS, MV), pp. 130–135.
KR-1996-GiunchigliaS #satisfiability- A SAT-based Decision Procedure for ALC (FG, RS), pp. 304–314.