1. Baader, F., Brandt, S., Lutz, C.: Pushing the
$\mathcal{EL}$
Envelope. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp. 364–369 (2005)
2. Baader, F., Lutz, C., Suntisrivaraporn, B.: Efficient Reasoning in
$\mathcal{EL^{++}}$
. In: Proceedings of the 2006 International Workshop on Description Logics, vol. 189 (2006)
3. Lecture Notes in Artificial Intelligence;N. Fanizzi,2008
4. Fanizzi, N., Ferilli, S., Iannone, L., Palmisano, I., Semeraro, G.: Downward Refinement in the
$\mathcal{ALN}$
Description Logic. In: Proceedings of the 4th International Conference on Hybrid Intelligent Systems, pp. 68–73. IEEE Computer Society Press (2004)
5. Iannone, L., Palmisano, I., Fanizzi, N.: An Algorithm Based on Counterfactuals for Concept Learning in the Semantic Web. Applied Intelligence 26(2), 139–159 (2007)