Chaining rules for transitive relations

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo

0 stars 0 forks source link

Chaining rules for transitive relations #82

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago


I assume the following chaining axioms hold universally for all transitive 
relations relT:

relT-at-some-time o relT-at-all-times -> relT-at-some-time

relT-at-all-time o relT-at-some-times -> relT-at-some-time

Original issue reported on code.google.com by steschu@gmail.com on 29 Jun 2012 at 6:18

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 29 Jun 2012 at 7:41

Added labels: Type-BFO2-OWL
Removed labels: Type-BFO2-Reference

GoogleCodeExporter commented 9 years ago

Fixed in current release, assuming the constituents of the chain are defined 
relations. Please review and close after checking.

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

Changed state: Submitter-Review