Unentscheidbarkeit der Konzeptsatisfiabilität für ALCSelf vpl und ALCOr#s# reg

Die Konzeptsatisfiabilität für ALCSelf vpl und ALCOr#s# reg ist unentscheidbar, selbst wenn nur visibel-pushdown-Sprachen erlaubt sind, die Kodierungen von Sprachen deterministischer Einzähler-Automaten sind.