Toward a Formal Ontology of Time from Aspects