[Pellet-users] sameAs or differentFrom deletion?

[liang yang]

Hi all,
      I am a student from china,I am studying a project about semantic web
service which need to do iope matchmaking.
      I am currently using Pellet to do p/e(preconditon/effect) matchmaking
after i/o(input/output) has been matched.The p/e is expressed by swrl atoms
such as classAtom,propertyValueAtom,sameAsAtom and differentFromAtom.I have
known that every dl inference can be reduced to  knowledge consistense
checking.By this way,I firstly add some ABox axioms to kb,and then add these
axioms's complement to the kb one by one,checking if there is
inconsistense.But I have some difficult problems,I have to
consultant for you .Firstly I add sameAs axiom by "kb.addSame(a,b)",secondly
I add differntFrom axiom by "kb.addDifferent(a,b)",then the kb is not
consistense.So I need to delete the differentFrom axiom for the kb to be
consistense,but I don't know how to remove the differentFrom axiom from the
kb.Thanks for your help，I am expecting your answer!

best wishes for you
yangliang
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080613/feb00d8b/attachment.htm