Re: Question on semantics of reified statements

Dan Connolly wrote:

>On Tue, 2003-09-09 at 21:03, Jonathan Borden wrote
>
>>>st1 and st2 are distinct
>>>      
>>>
>
>Perhaps you mean "st1 and st2 are not specified to be
>equal" because they're not specified to be distinct either...
>
>  
>
Duh. Yes that's what I mean :-) (This is because RDF is designed to be 
non-monotonic. )

Jonathan