TBox and ABox Reasoning in Expressive Description Logics.

Giuseppe De Giacomo Maurizio Lenzerini TBox and ABox Reasoning in Expressive Description Logics. 37-48 1996 conf/dlog/1996 Description Logics db/conf/dlog/dlog1996.html#GiacomoL96