[Pellet-users] ABox reasoning with Pellet

[Evren Sirin]

On 7/16/08 9:31 AM, Pradeep wrote:
> 3. Has anybody had any experience in turning the Unique Name Assumption
> option to TRUE in Pellet? We came across some brief notes on this issue
> in the Pellet forums, but we couldnt successfully implement them and see
> a change in reasoners response.
>
>   

Turning on UNA definitely causes the reasoner to infer any two 
individual owl:differentFrom each other. What kind of changes did you 
expect to see in reasoner response and fail? How did you set the UNA 
option (using the configuration file or directly in code)? Example code 
and ontology showing the issue would help us understand what is going on.

Cheers,
Evren