Dr. F. Mamache, “An Extension of Description Logic AL”, GJCST, vol. 12, no. C11, pp. 31–35, Jan. 2012.