Cheap Boolean role constructors for description logics (2008)

by Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Venue:Proc. 11th European Conf. on Logics in Artificial Intelligence (JELIA’08), volume 5293 of LNAI