Danke! Ich kannte es als . Und ich dachte, diese Sprache sei durchaus in FOL darstellbar - warum auch nicht? Ob allerdings alle DL nach FOL überführbar sind, bin ich mir gerade nicht sicher, aber bis hinauf zu (also ungefähr OWL DL minus Domains) sei dem so. (Verflixt, solcherlei sollte ich lieber in den Artikel schreiben als hier). -- denny vrandečić 14:21, 8. Feb 2005 (CET)