Ein Beschreibungslogik-Framework für die vernünftige konzeptionelle Kombination, das Typizität, Wahrscheinlichkeiten und kognitive Heuristiken integriert