EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers.
Carsten Lutz, Robert Piro, Frank Wolter · 2010
The well-known description logic (DL) ALC is usually regarded as the basic DL that comprises all Boolean concept constructors from which all expressive DLs are derived by admitting additional concept constructors. The fundamental role of ALC is largely due to the fact that it is very well-behaved regarding its logical, model-theoretic, and