On Free Description Logics with Definite Descriptions.

Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter

Browse the full KR paper archive.