- From: Drew McDermott <drew.mcdermott@yale.edu>
- Date: Tue, 16 Jul 2002 11:07:36 -0400 (EDT)
- To: www-rdf-comments@w3.org
[Brian McBride] You reject the constraints on the answers put in the question, which is fair enough and we should discuss your reasons for that. What I'm looking for though is a judgment about which of the two 'features' is more important to have. If it later turns out we can have both, then fine, but if we had to choose between A being yes and D being yes, which do we go for? I'm currently interpreting your answer as favouring what we call the 'untidy' position. In this position two literal nodes in an RDF graph with the same label, e.g. "10" need not denote denote the same thing in the domain. You also suggest that this position can be reconciled with test case A1 being answered YES. I must ask you, if it were not possible that the answer to A1 could be YES, would you still hold the same opinion. I've tried to demonstrate a problem with your current position in: http://lists.w3.org/Archives/Public/www-rdf-logic/2002Jul/0080.html Okay, I see the problem. rdf:_1 is an example of a property for which we can conclude nothing at all about how a literal occurring as its value is to be interpreted. Hence I must withdraw my Yes for A1. [me] >Yes, because no matter how the argument to <ageInYears> is parsed, the >same input string must yield the same literal. [Brian] We appear to have different assumptions about what is going on here. I don't know enough to grok what your viewpoint is so I'll express this as some observations that jar with me. "Parsed"? We are talking about model theory here. There is no parsing. I just meant how strings of characters are translated into model-theoretic entities. > (Escape clause: If ><ageInYears> is allowed to consider its first argument, "argument"? There are no arguments. <ageInYears> is a property. "consider" is not something it does? <ageInYears> is part of an expression in a language. My phrasing was sloppy. I was assuming that in a triple <a> <b> <literal>, the denotation of <literal> depended on <b> but not <a>. I now see that that is wrong. -- Drew
Received on Tuesday, 16 July 2002 11:07:43 UTC