Reified Temporal Logics: Semantical and Ontological Considerations