Eric Mays Large Knowledge Base Management. 78-79 1991 Description Logics db/conf/dlog/dlog91.html#Mays91