- From: Dan Connolly <connolly@w3.org>
- Date: 24 May 2002 16:13:32 -0500
- To: "Peter F. "Patel-Schneider <pfps@research.bell-labs.com>
- Cc: phayes@ai.uwf.edu, danbri@w3.org, www-rdf-logic@w3.org
On Fri, 2002-05-24 at 12:56, Peter F. Patel-Schneider wrote: > > WARNING: My conclusions below depend on the assumption that RDF agents do > not need to understand the implications of natural language prose as the > objects of rdfs:comment statements. [...] My position is that they don't need to, but it helps if they do. [below I learn more about what you mean by 'RDF agent', which changes things somewhat...] > From: Dan Connolly <connolly@w3.org> > Subject: Re: MISC: Internet Media Type registration: proposed TAG finding > Date: 23 May 2002 22:08:16 -0500 > > > On Thu, 2002-05-23 at 19:14, Peter F. Patel-Schneider wrote: > > > > > From: Dan Connolly <connolly@w3.org> > > > Date: 23 May 2002 17:31:20 -0500 > > [...] > > [ example document, modified > :best-friend rdf:type ont:UniqueProperty. > :bob :best-friend :margaret . > :bob :best-friend :peggy . > :peggy :age "35" . > ] > > > > Sure, but what you have done is *not* RDF, it is RDF plus DAML+OIL. > > > > I disagree that it's not RDF. > > Well, then suppose that our RDF agents have a disagreement on the meaning > of this RDF document. My RDF agent says that the above document is a > perfectly fine RDF document, and that, according to that document, > :bob has a :best-friend that is :margaret > and a :best-friend that is :peggy > and that the :age of :peggy is the two-character english string "35". > Your RDF agent says that the above is a fine RDF document but that it also > entails that the :age of :margaret is the two-character english string "35". > At this point my RDF agent publishes on the web that your RDF agent makes > unsupported conclusions and should not be trusted. > > I claim that my RDF agent is completely justified in publishing a claim > that your RDF agent is broken in a dangerous fashion and that no one should > trust anything it says. That seems counter to common sense. That seems like saying an IOU document "I owe you one dollar" doesn't mean that I could pay you with 4 quarters, since the relationship between a dollar and quarters isn't specified in the IOU. The author of the best-friend document, by choosing to use ont:UniqueProperty class, licensed inferences based on the specification of that class. The conclusion that "35" is an :age of :margaret is supported by the DAML+OIL spec. In some ways, this example is quite crisp, but there seems to be some ambiguity in the discussion... I'm not exactly sure what you mean by 'RDF agent', and the term 'entails' is used ambiguously: your agent seems to claim that anything beyond simple entailment http://www.w3.org/TR/2002/WD-rdf-mt-20020429/#entail is dangerous and should not be trusted. I can think of two agents (cwm and Euler) that do a lot more than simple entailment, when asked to. I think of them as RDF agents. > > In what way does it not fit into the framework? I don't see > > the distinction you're trying to make. Are you talking > > about daml:collection syntax? Yes, that was (an attempt > > at) an extension to the framework, I suppose. But otherwise, > > DAML+OIL ontologies seem to use the framework without > > changing it; they seem to fit right in. > > I'm not talking about daml:collection. I'm talking about meaning, not > syntax. The meaning that comes from the DAML+OIL model theory, or the > meaning that comes from the commonly-understood meaning of natural language > utterances that are objects of RDF triples, is not part of the RDF > meaning of these triples. I'm not sure what to make of that; I'm not sure what you mean by 'RDF meaning', nor by one meaning being part of another. > > Let's put it this way: does dublin core fit into the framework? > > Or is RDF+dc an extension? How about a document that > > uses RDFS, DAML+OIL, and dublin core together? Is that > > another sort of extension? > > Any part of Dublin Core that has is part of an RDF(S) document can be > considered to be part of RDF(S). However, if Dublin Core has formal > portions that are not captured by an RDF(S) document, such as functionality > conditions on some of its properties, then Dublin Core is a strict > extension of RDF. As DAML+OIL is an extension of RDF(S), so DAML+OIL + > Dublin Core is, of necessity, an extension of RDF(S). Hmm... maybe I could learn to talk that way. (what about informal portions by the way? I don't expect there's a formal definition of dc:title, yet I stick by my claim that "pears and apples" is not a dc:title of http://www.w3.org/, according to he dublin core specs.) > [...] > > > > Er... so you expect every agent to completely understand every document? > > Surely that's a non-starter, no? > > No. I expect an RDF agent to completely understand the RDF meaning of > every RDF document. At the very least, I expect an RDF agent to not > understand anything else. Hmm... it seems by 'RDF agent' you mean some sort of diagnostic testing tool for RDF documents, not any sort of interesting agent. Clearly, by that definition, my tool that concludes "35" is an age of :margaret isn't an RDF agent. > Any agent that makes conclusions that are not > sanctioned by the RDF model theory is doing more than RDF, and had better > be very sure not to label its conclusions as RDF conclusions. er... 'RDF conclusion'... another new term. I suppose you mean the sort of conclusion supported (only) by simple entailment. But yes, the conclusion that "35" is an age of :margaret isn't supported by simple entialment alone, and justification of that conclusion needs to be clear about including the DAML+OIL spec. > Think of the example where two agents are trying to determine whether one > owes the other some money. If one agent presents the other with a > derivation labelled as a valid RDF (or first-order logic) entailment, then > it had better be a valid RDF (or first-order logic) entailment, not > something that only comes from some extra-RDF semantic conditions (or > conditions outside of first-order logic). Yes, justifications have to cite their sources. > > > Sure, but the non-understood part may completely change the meaning of the > > > other part, > > > > No, I don't think so... > > Why not? What about > > <fol:negation> > <fol:statement> > <rdf:Person rdf:about="#John"> > <loves rdf:resource="#Mary"> > </rdf:Person> > </fol:statement> > </fol:negation> I'm not sure how to parse that. If I presume that fol:negation is an RDF typednode, and convert to (something close to) KIF, I get: (exists (?n) (rdf:type ?n fol:negation) (fol:statement ?n #John) (rdf:type #John rdf:Person) (loves #John #Mary) ) so... ?n is a negation, and it's somehow related to John. I think you meant to express something like (not (loves John Mary)) but that's really awkward to do in RDF, but I suppose it could look like: <fol:Negation> <fol:predicateSymbol>http:...#loves</fol:predicateSymbol> <fol:subjectSymbol>http:...#John</fol:predicateSymbol> <fol:objectSymbol>http:...#loves</fol:objectSymbol> </fol:Negation> where fol:Negation is specified ala: (forall (?n ?s ?p ?o) (<=> (and (predicateSymbol ?n ?p) (subjectSymbol ?n ?s) (objectSymbol ?n ?o) (wtr '(not (holds `(str->sym ?p) `(str->sym ?s) `(str->sym ?o))) ) ) (rdf:type ?n fol:Negation) ) But even in that case, I *only* eliminate models when I learn the meaning of fol:Negation (i.e. when I add that axiom). I can only constrain the meaning by learning more. > > > so the partial understanding may not be related to the ``real'' > > > meaning in any worthwhile fashion. > > > > it's monotonic, in that the more you understand, the fewer > > interpretations are models. You can't rule out models by > > failing to understand something. > > Sure, if you require a monotonic relationship, then the relationship is > monotonic. However, where does the requirement for a monotonic > relationship come in? Hmm... good question. Maybe it's been implicit all along. Maybe it belongs in the RDF model theory spec, in a discussion of... umm... 'extensions' to RDF, as you call them. I suppose I'll send a comment to www-rdf-comments. > > Can you think of an example where the non-understood part > > changes the meaning of the other part? > > Sure. See above. > > > Maybe this monotonicity is a constraint on vocabulary > > specifications that I didn't mention earlier. > > You can't, for example, specify that the semantics > > of my:magicThing are such that > > my:magicThing dc:title "abc". > > means that "abc" is *not* a title. > > Well, of course, if you require the relationship to be a monotonic > extension, then you get monotonic relationships. However, as discussed > extensively, requiring the relationship to be monotonic leads to severe > problems. I reamain hopeful those problems can be solved. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 24 May 2002 17:40:04 UTC