Zur Rekonstruktion von Wissen in neueren Repräsentationssprachen der Künstlichen Intelligenz.