[Pellet-users] Exception. Trying to remove a non-existing edge

[Alejandra Lorenzo]

Hello,
Firstly, I want to thank for your soon answer.
The version of pellet i am using is 1.5.2, I just run pellet from the
command line, I am working in a project which involves doing some
tests between hybrid provers (hTab and HyLoRes) and description logics
provers (Pellet and FaCT++), the task I am dealing with is
satisfiability checking.
An example of an ontology (exceptionExample), that triggers the
exception was attached to the previous mail, anyway I attach it again.
It is zipped because of the size.
The command line i use is the following:
java -jar lib/pellet.jar -if
file:///home/alejandra/exceptionExample.owl -inputFormat RDF/XML
-unsat -s off -consistency off
Do you think it's the same issue that you have already fixed?   In any
case, I have other examples of the same problem if you needed  them.
I've found recently other problem too, it's a
java.lang.OutOfMemoryError: Java heap space error. I  increased the
heap space  with the following java line:
java -Xss4m -Xmx512M -jar lib/pellet.jar  ........
and again I got the message:
org.mindswap.pellet.exceptions.InternalReasonerException: Trying to
remove a non-existing edge. I attach this other ontology too, in case
you needed it (exceptionExample2).
Again, Thanks a lot for your help,
 Alejandra.


2008/7/29 Evren Sirin <evren at clarkparsia.com>:
> There was a ticket for this issue [1] which has been recently fixed. If you
> could send the ontology and code you are using that triggers this exception
> I can verify if what you are seeing is a separate issue or not.
>
> [1] http://cvsdude.com/trac/clark-parsia/pellet-devel/ticket/109
>
>
> On 7/29/08 7:18 AM, Alejandra Lorenzo wrote:
>>
>> Hello,
>> I am doing some test between hybrid reasoners and Pellet, but i am
>> getting some problems with Pellet.  I'm attaching an
>> example of an ontology.
>> When i run pellet over it it ends with the
>> following error:
>> - org.mindswap.pellet.exceptions.InternalReasonerException: Trying to
>> remove a non-existing edge
>> i'm getting the same behaviour on quite a number
>> of other ontologies that we are using, and i have tried
>> it in a number of different computers.
>> Any idea of what could be the problem?
>>
>> Thanks in advance for your help, Alejandra.
>>  ------------------------------------------------------------------------
>>
>> _______________________________________________
>> 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/
>
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: exceptionExample.owl.tar.gz
Type: application/x-gzip
Size: 22747 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080730/46ed0c4b/attachment-0002.bin 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: exceptionExample2.owl.tar.gz
Type: application/x-gzip
Size: 3002 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080730/46ed0c4b/attachment-0003.bin