[Pellet-users] sameAs or differentFrom deletion?

[Evren Sirin]

On 6/13/08 10:05 AM, liang yang wrote:
> 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.

There is no mechanism to remove sameAs or differentFrom axioms from the
KnowledgeBase interface. This is one of several deficiencies of the
KnowledgeBase interface and we generally discourage users from using it.
If you use OWLAPI or Jena interface to access Pellet you can remove
these axioms from your ontology easily. In OWLAPI case, you can attach
the Pellet reasoner as an ontology change listener so changes to the
ontology are picked by the reasoner automatically. See the examples that
come with Pellet to learn how to use those interfaces (and their
corresponding documentation).

Cheers,
Evren
> Thanks for your help，I am expecting your answer!
> best wishes for you
> yangliang
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/