Alon Y. Levy and Marie-Christine Rousset. CARIN: A representation language combining Horn rules and description logics. In Proc. of the 12th European Conf. on Artificial Intelligence (ECAI-96), pages 323--327, 1996.

Languages mentioned

• CARIN {1995}