Issue name: 002-InconsistentAssertions

Inconsistent assertions incompatible with MT

Raised by:

Peter F. Patel-Schneider

Raised on:

2002-09-02

Raised in message:

http://lists.w3.org/Archives/Public/www-rdf-comments/2002JulSep/0161.html

Target document section reference(s):

http://www.w3.org/TR/2002/WD-rdf-concepts-20020829/#xtocid48014

Status:

Closed

Last updated:

2002-10-25

Owner:

Graham Klyne

Details

I just took a quick look at the new WD.

On thing that jumped out at me was:

  Section 2.2.6 ... RDF cannot prevent anyone from making ... inconsistent
        assertions, and applications that build upon RDF must find
        ways to deal with conflicting sources of information.

Contrast this with the RDF MT document:

  Section 2 ... This means that there is no such thing as an inconsistency
        or a contradiction in RDF.

I'm pretty sure that both documents cannot be correct.

History

2002-09-02: Raised

See: http://lists.w3.org/Archives/Public/www-rdf-comments/2002JulSep/0161.html

The statements about inconsistent assertions read as being incompatible with the Model Theory document.

2002-09-10: Assigned

[GK] Editorial fixes clearly in GK's text.

2002-09-10: Comment

[GK] I think the text needs to be clearer about logical inconsistency in RDF assertions (not possible), and inconsistency of such assertions with real-world users expectations (possible).

2002-09-26: Response

Revised wording: "A consequence of this is that RDF cannot prevent anyone from making assertions that are nonsensical or inconsistent with the world as people see it, and applications that build upon RDF must find ways to deal with incomplete and conflicting sources of information."

2002-10-25: Closed

See: http://www.ninebynine.org/wip/RDF-concepts/2002-10-18/rdf-concepts.html

Comments folded in to publicly accessible document.