Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction.

Michal Sochanski, Przemyslaw Andrzej Walega, Michal Zawidzki

Browse the full AAAI paper archive.