[Pellet-users] ABox loading problem (KRSS)

[Albert Cruz]

Hello friends,

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 ?

Thanks. Albert
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080606/c9337ca7/attachment.htm