search

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

Chaining rule for the relation 'spans' #97

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
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 reported on code.google.com by steschu@gmail.com on 8 Jul 2012 at 11:25

GoogleCodeExporter commented 9 years ago 
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.

Original comment by alanruttenberg@gmail.com on 9 Jul 2012 at 7:47

GoogleCodeExporter commented 9 years ago 
The subproperty axiom is gone and is is fixed in the reference (occupies has 
range spatiotemporal region rather than the previous spatiotemporal or temporal)

Original comment by alanruttenberg@gmail.com on 9 Jul 2012 at 7:49

GoogleCodeExporter commented 9 years ago 
Doesn't this go after decision made in 
http://code.google.com/p/bfo/issues/detail?id=79?

Original comment by mcour...@gmail.com on 9 Jul 2012 at 11:20

GoogleCodeExporter commented 9 years ago 
I just closed that issue as fixed. Thanks for pointing that out.

Original comment by alanruttenberg@gmail.com on 10 Jul 2012 at 4:01