[Pellet-users] Re : ABox loading problem (KRSS)

[Albert Cruz]

Hello friends,

I just found the problem, it was  just  the shortage of a right parenthesis
at the end of line number 4 !!!!

Nice weekend to all of you.



>I have a ABox written in KRSS as below :

(DEFINE-PRIMITIVE-ROLE works_with)
(RELATED x y works_with)
(INSTANCE y Doctor)
(INSTANCE x (AT-MOST 1 works_with Doctor)
(DEFINE-PRIMITIVE-ROLE student_of)
(RELATED x y student_of)
(INSTANCE x (NOT (SOME student_of Doctor)))


When I load this ABox to knowledge base, it gives the following exception.

Exception in thread "main" java.lang.RuntimeException: assertion failed.
    at org.mindswap.pellet.utils.ATermUtils.assertTrue(ATermUtils.java:697)
    at org.mindswap.pellet.KRSSLoader.skipNext(KRSSLoader.java:110)
    at org.mindswap.pellet.KRSSLoader.load(KRSSLoader.java:742)
    at org.mindswap.pellet.KnowledgeBase.loadKRSS(KnowledgeBase.java:404)
    at org.mindswap.pellet.Example.main(Test.java:75)


Would you please tell how can I resolve this problem ?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080606/d0f04cf3/attachment.htm