[Pellet-users] resetting reasoner

[Evren Sirin]

Can you provide the ontology and tell us what results you expect and 
what you are getting. Between different runs of Protege it is not 
possible for Pellet to reuse any previous reasoning results so either 
your expectations are wrong or there is a bug in the reasoning process 
yielding incorrect results. We would need to see the ontology to say 
whihc is the case.

Cheers,
Evren

On 6/12/08 5:58 AM, Lamia Abo Zaid wrote:
>
> Dear all,
>
> I’m using pellet with protégé and SWRL rules are enabled. I have some 
> rules that assert individuals to classes in my ontology. Running 
> pellet for the first time things worked fine only I have done an 
> update to my ontology and some of the individuals should not be 
> asserted to the previous classes any more (due to a change in some of 
> their properties ). Now pellet can’t seem to detect this and I always 
> get the first results I had no matter what changes I do (update 
> changes that is) I know pellet is a non-monotonic reasoner but is 
> there a way to reset the reasoning process (I have already tried close 
> /open for both pellet and protégé )
>
> Thanks
>
> Lamia
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> 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/