Re: Summary of BNode redundancy options (at the moment)

On Aug 17, 2006, at 10:29 AM, Pat Hayes wrote:
[snip]
>> (I believe that RDF graphs under simple interpretations have the  
>> "one element" model property. If a RDF graph has a simple  
>> interpretation that is a model (and they all do) then it has a  
>> model with a single element.
>
> The same is true for any ground set of facts without negation, such  
> as all DBs.
[snip]

Except DBs typically *do* have negation, in the form of the UNA.

(UNA can be expressed as pairwise inequalities.)

So, in fact, almost no DBs.

Cheers,
Bijan.

Received on Thursday, 17 August 2006 10:27:56 UTC