W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > October 2001

Re: big issue (2001-09-28#13)

From: Graham Klyne <Graham.Klyne@MIMEsweeper.com>
Date: Wed, 03 Oct 2001 10:03:37 +0100
Message-Id: <>
To: Pat Hayes <phayes@ai.uwf.edu>
Cc: w3c-rdfcore-wg@w3.org
At 07:22 PM 10/2/01 -0500, Pat Hayes wrote:
>>Good point!
>>My next question, then, would be:  can bNodes denote literal values?
>>(If we go down this route, I think the answer should be yes.)
>Well, they can now, in fact, since the MT allows literal values to be in 
>IR.  For example, this is perfectly satisfiable, when aaa is a URI:
>aaa  rdf:type  rdfs:Literal
>and therefore so is
>_:xxx  rdf:type rdfs:Literal

Sure.  My question was an attempt to give consideration to the debate about 
whether non-disjointness of literal values and resources might create 
problems for description logics built on RDF.


>>At 05:56 PM 10/1/01 -0500, Dan Connolly wrote:
>>>Graham Klyne wrote:
>>>[... lots of stuff that I'd have to re-read in order
>>>to comment intelligently on...]
>>>>  - Does it make sense for literals to have properties; e.g.
>>>>     "Property string" --length--> "15"
>>>>  I think any such properties would be trivial, in the sense that they 
>>>> always
>>>>  can be determined by examination of the literal itself.  So, if 
>>>> prohibited,
>>>>  no expressive power is lost.
>>>No, now that we've decided that existential quantification
>>>is part of RDF, there *is* expressive power in properties
>>>of literals (strings, XML content constants, ...):
>>>         <http://www.w3.org/> dc:title _:s.
>>>         _:t charmod:lengthNumeral "15".
>>>that's true in interpretations where the/a title of
>>>the W3C home page is longer than 15 chars, and
>>>false in other interpretations.
>>>Dan Connolly, W3C http://www.w3.org/People/Connolly/
>>Graham Klyne                    MIMEsweeper Group
>>Strategic Research              <http://www.mimesweeper.com>
>IHMC                                    (850)434 8903   home
>40 South Alcaniz St.                    (850)202 4416   office
>Pensacola,  FL 32501                    (850)202 4440   fax
>phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes

Graham Klyne                    MIMEsweeper Group
Strategic Research              <http://www.mimesweeper.com>
Received on Wednesday, 3 October 2001 05:09:35 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 20:24:05 UTC