Korrektheit der Übersetzung objektorientierter Wissensrepräsentationssprachen mit statischer Vererbung