Ich finde, dass man streng zwischen beiden Begriffen unterscheiden sollte, auch wenn das in der Literatur vermischt wird. Der Begriff "Ortszeit" ist doch vom Bahnhof oder Flughafen bekannt und unterscheidet sich deutlich von der tatsächlich vergehenden Eigenzeit. Die Ortszeit ist die Zeitanzeige am fraglichen Ort, also die lokale Uhrzeit, während die Eigenzeit die Zeitspanne ist, die am fraglichen Ort vergeht. Ich habe jetzt hier die Formeln der SRT verwendet, bei der ART muss es wohl lauten Ortszeit und Eigenzeit Ra-raisch 15:59, 9. Feb. 2017 (CET)