This file describes the implementation task:

how to translate a development graph along a comorphism into an

isomorphic development graph

But unfortunately in German

Die Grundidee findet sich im CASL Reference Manual (LNCS 2960) auf

Seite 297-298 (Liegt hier als LNCS2960_297-298.pdf)

Hier nun eine Beschreibung auf Deutsch, die wir (Till und Klaus) um

notwendige Details anreichern werden:

- der �bersetzte Graph hat die gleiche Anzahl Knoten und Kanten wie

das Original, so dass jedem Originalknoten n ein Knoten R(n) im

�bersetzten Graph zugeordnet ist. Das gleiche gilt f�r Kanten.

- zu beachten ist das manch ein Comorphism Signaturen in Theorien

�bersetzt; dadurch kann es passieren, dass einige S�tze doppelt

erzeugt werden. Deshalb m�ssen aus den neu erzeugten S�tze noch die

ausgefiltert werden, die schon �ber andere Kanten importiert werden

- der �bersetzte Graph wird dann in einem neuen uDrawGraph Fenster

angezeigt.

Sp�ter brauchen wir noch dies:

- f�r die �bersetzung nach OWL-DL brauchen wir eine M�glichkeit die

Kantentypen zu beschr�nken. Denn OWL-DL kennt nur "import"-Kanten.

Also brauchen wir f�r diese Richtung auch eine �bersetzung von

Hiding/Renaming-Kanten in import-Kanten.