[Pellet-users] resetting reasoner

Lamia Abo Zaid lamia_aly at hotmail.com
Thu Jun 12 09:58:08 UTC 2008


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 

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080612/276dc16f/attachment.htm 


More information about the Pellet-users mailing list