Limited Reification

Disallow Self-Reference Loops

Jim's claim is false.

What About "anyone can say anything about anything"?

Jim can say that some sentence references itself, but we know he's lying or mistaken, just as if he'd said in(Eric, rm308) ∧ ¬ in(Eric, rm(308)).

It's like a listing of books, where some book has a checksum-invalid ISBN number. Who will recognize that as an error; what will they do about it? Can you say you have that book, in RDF?