search

zhengj2007 / bfo-trunk

0 stars 0 forks source link

axiom id correspondence between FOL and OWL #76

Closed zhengj2007 closed 9 years ago

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on June 28, 2012 11:53:30

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: http://code.google.com/p/bfo/issues/detail?id=77

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on June 29, 2012 13:15:02

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

Status: Started

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on July 10, 2012 10:25:58

Status: Done

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on July 10, 2012 10:27:22

We will follow this policy