Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini Conjunctive Query Containment in Description Logics with n-ary Relations. 1997 conf/dlog/1997 Description Logics http://dl.kr.org/dl97/proceedings/calvanese.ps.gz db/conf/dlog/dlog1997.html#CalvaneseGL97