SEMA and CoreSemDB accepted