axiom id correspondence between FOL and OWL

zhengj2007 / bfo-export

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

0 stars 0 forks source link

axiom id correspondence between FOL and OWL #77

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

Sometimes an axiom in FOL turns into several axioms in OWL, or to a 
non-equivalent but derivable axiom in OWL (e.g. at-all-times relationship 
versions).

Thus far I am making the axiom id for all the OWL axioms be the same as the FOL 
axiom id. 

The question is should I do that? Or should there be an additional relation to 
record this and a distinct id for the OWL axiom?

Original issue reported on code.google.com by alanruttenberg@gmail.com on 28 Jun 2012 at 3:53

GoogleCodeExporter commented 9 years ago

Stefan (and alan agrees) that current method is adequate. Let Chris review and 
close or send mail if he doesn't like it.

Original comment by alanruttenberg@gmail.com on 29 Jun 2012 at 8:15

Changed state: Started

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 10 Jul 2012 at 5:25

Changed state: Done

GoogleCodeExporter commented 9 years ago

We will follow this policy

Original comment by alanruttenberg@gmail.com on 10 Jul 2012 at 5:27