W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > July 2003

Re: Properties no longer required to be resources?

From: Graham Klyne <gk@ninebynine.org>
Date: Thu, 31 Jul 2003 11:49:30 +0100
Message-Id: <5.1.0.14.2.20030731114441.02c40e18@127.0.0.1>
To: Brian McBride <bwm@hplb.hpl.hp.com>
Cc: pat hayes <phayes@ihmc.us>, rdf core <w3c-rdfcore-wg@w3.org>

At 10:59 31/07/03 +0100, Brian McBride wrote:
> > Or, more informally, I think that although IP and IR may be disjoint in
> > RDF-interpretations, where there is no available vocabulary for this to be
> > visible or otherwise in an RDF expression, the semantic conditions on RDFS
> > interpretation require that IP be a subset of IR.
>
>The question was about RDF entailment.  Pat states that my test
>entailment, which just uses RDF vocabulary, holds in RDF.  I think you
>are now saying that it doesn't.

Er, how can you have an RDF-entailment of a result that contains RDFS 
vocabulary, unless that term is in an antecedent?

[Checks original question...]

[[
   sss ppp ooo .

rdf entail

   ppp rdf:type rdf:Resource .
]]

Er, I missed this before, but what's rdf:Resource?

[[
RDF vocabulary
  rdf:type   rdf:Property rdf:XMLLiteral rdf:nil rdf:List rdf:Statement 
rdf:subject rdf:predicate rdf:object rdf:first rdf:rest rdf:Seq rdf:Bag 
rdf:Alt rdf:_1 rdf:_2 ... rdf:value
]]
-- http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/#InterpVocab

[[
RDFS vocabulary
rdfs:domain rdfs:range rdfs:Resource rdfs:Literal rdfs:Datatype rdfs:Class 
rdfs:subClassOf rdfs:subPropertyOf rdfs:member rdfs:Container 
rdfs:ContainerMembershipProperty rdfs:comment rdfs:seeAlso rdfs:isDefinedBy 
rdfs:label
]]
-- http://www.w3.org/2001/sw/RDFCore/TR/WD-rdf-mt-20030117/#rdfs_interp

#g


---------------------------------
Graham Klyne  <GK@NineByNine.net>
Nine by Nine
http://www.ninebynine.net/
Received on Thursday, 31 July 2003 06:55:16 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:58:53 EDT