Գրեք սա: Combining Description Logics, Description Graphs, and Rules.