Text this: International workshop on terminological logics