search

drdozer / oboformat

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

Normalizing axioms prior to translation #47

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
This axiom is dropped when translating to an obodoc:

a EquivalentTo 
( b and ((r some c) and (r some d)))

This is because a direct translation would introduce an anonymous class, which 
we disallow.

However, the axiom can be re-written to the semantically identical:

a EquivalentTo 
( b and (r some c) and (r some d))

Which translates trivially.

I don't want an ad-hoc solution to this problem. I think we want a generic 
solution that is something like: if the axiom cannot be translated to obo, 
translate it to normal form, then attempt to translate.

I believe the OWLAPI has some code to translate axioms to normal form. We 
should re-use rather than rolling our own here.

Original issue reported on code.google.com by cmung...@gmail.com on 18 Aug 2011 at 9:13

GoogleCodeExporter commented 9 years ago 
OWLAPI normalizes to NNF, IIRC, which I don't think you are going to want to 
literally translate.

Also, can we please not drop axioms. Can they not be saved remark tagged?

Original comment by alanruttenberg@gmail.com on 19 Aug 2011 at 8:56