[Pellet-users] Problems with Pellet and DIG

[Bijan Parsia]

On May 30, 2008, at 3:55 AM, James A Miller wrote:

> Evren,
>
> If the USE_UNIQUE_NAME_ASSUMPTION option is turned on, will  
> individual owl:sameAs triples still work?

They should not. Well, they should generate contradictions.

>  I assume yes, but I learned long ago not to assume...

That would introduce a "default UNA" which would be nonmonotonic.  
And...very useful :)

If we could restrict attention to asserted (inequalities) it might be  
easy to spec. I guess if we just treated it as a transform rather  
than a true UNA it might be straightfoward...(but things like this  
can easily bite one's butt).

Cheers,
Bijan.