Default-Logik Bezüge im Wissensnetz Ähnlich (1) GND sh91006326 Oberbegriff allgemein (1) GND Nichtmonotone Logik