Description logic notes.