Islands of Tractability for Relational Constraints: Towards Dichotomy Results for the Description Logic EL.

Agi Kurucz, Frank Wolter, Michael Zakharyaschev

Browse the full AiML paper archive.