[protege-discussion] very strange error: DIG reasoner error

[Tania Tudorache]

Weishan,

Please ask in future OWL related questions on the OWL mailing list.

There are certain enhancement that we are doing in the DIG translation 
for the next Protege build, and it might be that this Racer error will 
go away. Meanwhile, you can try to use Pellet instead, which seems to be 
more tolerant to errors.

Cheers,
Tania


zhang weishan wrote:
> Dear all,
>    I download DeliveryContext from this link 
> (http://www.w3.org/2007/uwa/editors-drafts/DeliveryContextOntology/),  
> i think should be a version a bit older, but it is gone. and it is so 
> strange that sometimes (often actually) i got this error for this 
> ontology: 'DIG reasoner error: no integer found in value expression. 
> [id:]' 
>     And seems DIG is not stable, right?. As RacerPorter works quite 
> well in all these situations i met.
>
>   Anybody met this situation before? Any solutions?
>
>   Best,
>   Weishan
>
> ------------------------------------------------------------------------
> Moody friends. Drama queens. Your life? Nope! - their life, your story.
> Play Sims Stories at Yahoo! Games. 
> <http://us.rd.yahoo.com/evt=48224/*http://sims.yahoo.com/>
> ------------------------------------------------------------------------
>
> _______________________________________________
> protege-discussion mailing list
> protege-discussion at lists.stanford.edu
> https://mailman.stanford.edu/mailman/listinfo/protege-discussion
>
> Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03 
>