Chaining rule for the relation 'spans'
Opened this issue · 4 comments
From steschu@gmail.com on July 08, 2012 07:25:23
ELUCIDATION: a spans r. This is a primitive relation between an occurrent and the temporal region upon which the spatiotemporal region it occupies projects. [132-001]
occupies o projects_onto_temporal_region subPropertyOf spans
There is no evidence in the reference that spans is a subrelation of occupies
Original issue: http://code.google.com/p/bfo/issues/detail?id=97
From alanruttenberg@gmail.com on July 09, 2012 00:47:58
This currently conflicts(OWL global restrictions) with added axioms to handle: every spatiotemporal region occupies itself. I plan to re-implement the local reflexivity and then will put this in.
Status: Accepted
From alanruttenberg@gmail.com on July 09, 2012 00:49:38
The subproperty axiom is gone and is is fixed in the reference (occupies has range spatiotemporal region rather than the previous spatiotemporal or temporal)
From mcour...@gmail.com on July 09, 2012 16:20:38
Doesn't this go after decision made in https://code.google.com/p/bfo/issues/detail?id=79?
From alanruttenberg@gmail.com on July 09, 2012 21:01:19
I just closed that issue as fixed. Thanks for pointing that out.