Was ist hier mit "höheren Grades" gemeint? Außerdem finde ich es etwas unglücklich, hier gerade auf die Prädikatenlogik zu verweisen, da sich Beschreibungslogiken hinsichtlich ihrer Notation (individuenfreie Formeln!) von der Prädikatenlogik unterscheiden. -- zeno 15:52, 18. Jun 2005 (CEST)