temporal interpretation
https://code.google.com/p/obo-relations/wiki/ROAndTime
https://github.com/oborel/obo-relations/wiki/ROAndTime
An assertion that holds between an OWL Object Property and a temporal interpretation that elucidates how OWL Class Axioms that use this property are to be interpreted in a temporal context.
logical macro assertion on an object property