fix for: translate_IRIs/1 duplicates axioms

vangelisv / thea

OWL2 library for Prolog

http://vangelisv.github.com/thea

108 stars 19 forks source link

fix for: translate_IRIs/1 duplicates axioms #37

Open RdR1024 opened 4 years ago

RdR1024 commented 4 years ago

Currently, translate_IRIs/1 seems to duplicate axioms. A fix is to change the end of the code from

               assert_axiom(A2),
               forall(member(O,Os),
                      assert_axiom(A2,O)))).

to the following

               ( Os=[]
               -> assert_axiom(A2)
               ;  forall(member(O,Os),
                      assert_axiom(A2,O))
               )
            )).