An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL.

Carsten Lutz, Inan Seylan, Frank Wolter

Browse the full KR paper archive.