[Pellet-users] resetting reasoner

[Lamia Abo Zaid]

Hi Evren, 
I have also posted this to the protégé mailing list and it is indeed a
protégé issue. What they do in the current beta version is they store the
assertions back again in the ontology file. So in the next run you already
have the assertions hard copied in the ontology (Even if they no longer hold
!!) this was the cause of the inconsistency in the results of pellet the
second run.
Here is a reference to my post in protégé mailing list
http://www.nabble.com/A-problem-with-reasoner-results-update-tt17798924.html
#a17798924 


Thanks for your help      
Regards 

Lamia 
 

-----Original Message-----
From: Evren Sirin [mailto:evren at clarkparsia.com] 
Sent: Monday, June 23, 2008 10:19 PM
To: Lamia Abo Zaid
Cc: Pellet-Users
Subject: Re: [Pellet-users] resetting reasoner

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/