search

zhengj2007 / bfo-export

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

Name inverse relations in reference? #35

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
The OWL folk would like to have inverse relations for each relation defined in 
the reference. Should the reference be augmented to include these, at least to 
name them and add axioms expressing that they are inverses?
(desired answer: yes)

Original issue reported on code.google.com by alanruttenberg@gmail.com on 21 May 2012 at 5:51

GoogleCodeExporter commented 9 years ago 
I think it would be very useful to have all the relations listed in a separate 
chapter of the Draft Document. This would make it easier to add new relations, 
as proposed, and to check that nothing goes wrong. Any volunteers to take on 
the role of leading this effort?

Original comment by ifo...@gmail.com on 21 May 2012 at 1:58

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 23 May 2012 at 4:12