Hallo ich habe versucht, einen gerichteten Graph mit Start- und Endknoten und Innere Knoten zu definieren. Mir scheint aber, dass es nicht möglich ist eine hinreichende Bedingung fuer Start- und Mittelknoten widerspruchsfrei zu definieren. Bsp.: InnererKnoten: Ist Knoten, hatNachfolger (InnererKnoten || Endknoten), Es gibt einen Knoten, der InnererKnoten als Nachfolger hat. StartKnoten: Ist Knoten, hatNachfolger (InnererKnoten || Endknoten), Fuer alle Knoten gilt: hatNachfolger ist nicht StartKnoten. Die jeweils letzte Bedingung kann ich aber in OWL nicht definieren, oder? Gruss -- Sparti 21:30, 16. Feb 2005 (CET)