A functional layer for description logics

A functional layer for description logics