A uni framework for class based representation formalisms (1994)

by D Calvanese, M Lenzerini, D Nardi
Venue:Proc. of KR-94