Das ist etwas ungenau. Es gibt nicht nur eine Beschreibungslogik, sondern viele verschiedene Beschreibungslogiken. Nicht in allen Beschreibungslogiken ist die Subsumption (also die Frage, ob ein Konzept in einem anderen enthalten ist) entscheidbar. Es ist auch nicht ganz korrekt zu sagen, Beschreibungslogik sei eine Untermenge der Praedikatenlogik erster Stufe: Zwar lassen sich viele Beschreibungslogiken leicht in FOPL ueberfuehren, aber es gibt auch Beschreibungslogiken (z.B. ), deren Aussagen sich nicht in Logik erster Stufe darstellen laesst.