search

fabianneuhaus / BFO

Apache License 2.0
1 stars 0 forks source link

[FN012], [FN013] more axioms for time points #53

Open fabianneuhaus opened 10 years ago

fabianneuhaus commented 10 years ago

The meets_at relation is further axiomatized. Intuitively, it (meets_at y t z) means that t is a boundary between two intervals y and z.

(cl:comment "0 dimensional temporal regions are boundaries between time intervals [FN012-001]")

(forall (t) (if (ODTemporalRegion t) (exists (y z ) (and (TempInterval y) (TempInterval z) (meets_at y t z)
))))

fabianneuhaus commented 10 years ago

(cl:comment "0DTemporalRegions have no occurrent_parts. [FN013-001]") forall (x) (if (ODTemporalRegion x) (forall (y) (not (occurrent_part_of y x)))))

Note that it follows from other axioms that any occurrent_part of a temporal region is itself a temporal region. Thus, if 0DTemporal regions had parts, they would have to be other temporal regions.

phismith commented 10 years ago

I don't see the problem

fabianneuhaus commented 10 years ago

There is no real problem. I just keep track of some additional axioms that I propose to add, because the axioms in the reference document are (in my opinion) too weak. Its for you to decide whether you want them.

Am 14/08/14 18:47, schrieb phismith:

I don't see the problem

— Reply to this email directly or view it on GitHub https://github.com/fabianneuhaus/BFO/issues/53#issuecomment-52209414.