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

Open in new window