Description Logics: Foundations for Class-based Knowledge Representation.

Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini

Browse the full LICS paper archive.