Downward Refinement in the ALN Description Logic.

Nicola Fanizzi, Stefano Ferilli, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro

Browse the full HIS paper archive.