Reasoning on temporal conceptual schemas with dynamic constraints | IEEE Conference Publication | IEEE Xplore