dg2dg_translation revision b6440c1f278eb948475d91d5840321d8f6b80b3a
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus LuettichThis file describes the implementation task:
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich how to translate a development graph along a comorphism into an
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich isomorphic development graph
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus LuettichBut unfortunately in German
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus LuettichDie Grundidee findet sich im CASL Reference Manual (LNCS 2960) auf
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus LuettichSeite 297-298 (Liegt hier als LNCS2960_297-298.pdf)
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus LuettichHier nun eine Beschreibung auf Deutsch, die wir (Till und Klaus) um
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettichnotwendige Details anreichern werden:
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich - der �bersetzte Graph hat die gleiche Anzahl Knoten und Kanten wie
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich das Original, so dass jedem Originalknoten n ein Knoten R(n) im
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich �bersetzten Graph zugeordnet ist. Das gleiche gilt f�r Kanten.
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich - zu beachten ist das manch ein Comorphism Signaturen in Theorien
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich �bersetzt; dadurch kann es passieren, dass einige S�tze doppelt
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich erzeugt werden. Deshalb m�ssen aus den neu erzeugten S�tze noch die
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich ausgefiltert werden, die schon �ber andere Kanten importiert werden
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich - der �bersetzte Graph wird dann in einem neuen uDrawGraph Fenster
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus LuettichSp�ter brauchen wir noch dies:
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich - f�r die �bersetzung nach OWL-DL brauchen wir eine M�glichkeit die
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich Kantentypen zu beschr�nken. Denn OWL-DL kennt nur "import"-Kanten.
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich Also brauchen wir f�r diese Richtung auch eine �bersetzung von
b6440c1f278eb948475d91d5840321d8f6b80b3aKlaus Luettich Hiding/Renaming-Kanten in import-Kanten.