D.: Unifying class-based representation formalisms (1999)

by D Calvanese, M Lenzerini, Nardi
Venue:Journal of Artificial Intelligence Research