An Intuitionisticaly based Description Logic

Edward Hermann Haeusler, Alexandre Rademaker

This article presents iALC, an intuitionistic version of the classical description logic ALC, based on the framework for constructive modal logics presented by Simpson \cite{simpso…