A Characterization Theorem for a Modal Description Logic.

Paul Wild, Lutz Schrder

Browse the full IJCAI paper archive.