tagging description-logic-related ideas (at least, for myself)