SHIN


SHIN - description logic.