search

zhengj2007 / bfo-trunk

0 stars 0 forks source link

Chaining rule for the relation 'spans' #96

Open zhengj2007 opened 9 years ago

zhengj2007 commented 9 years ago

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

zhengj2007 commented 9 years ago

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

zhengj2007 commented 9 years ago

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)

zhengj2007 commented 9 years ago

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?

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on July 09, 2012 21:01:19

I just closed that issue as fixed. Thanks for pointing that out.