A Declarative Kernel for <i>ALC</i> Concept Descriptions.

Nicola Fanizzi Claudia d'Amato A Declarative Kernel for <i>ALC</i> Concept Descriptions. 322-331 2006 conf/ismis/2006 ISMIS http://dx.doi.org/10.1007/11875604_37 db/conf/ismis/ismis2006.html#Fanizzid06