Design logics for sementic