1. On taxonomic reasoning in conceptual design;Bergamaschi;ACM Transactions on Database Systems,1992
2. What IS-A is and isn't: an analysis of taxonomic links in semantic networks;Brachman;IEEE Computer,1983
3. Living with CLASSIC: when and how to use a KL-ONE-like language;Brachman,1990
4. Description logics for conceptual data modeling;Calvanese,1998
5. Identity criteria and sortal concepts;Cararra,2001