W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > April 2002

Re: Before we go on...

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 19 Apr 2002 10:05:06 +0200
To: "Patrick Stickler <patrick.stickler" <patrick.stickler@nokia.com>
Cc: "Pat Hayes <phayes" <phayes@ai.uwf.edu>, "RDF Core <w3c-rdfcore-wg" <w3c-rdfcore-wg@w3.org>
Message-ID: <OF1AB959AF.F99A3AF6-ONC1256BA0.002A257B@agfa.be>

[just 6 lines of entailment stuff]

we're that close, aren't we???
the stake in the ground (I think) was

//////
rdfs:Datatype a rdfs:Class .
rdfs:drange a rdf:Property; rdfs:domain rdfs:Property; rdfs:range rdfs:Datatype; rdfs:subPropertyOf rdfs:range .
rdfs:dlex a rdf:Property; rdfs:domain rdfs:Resource; rdfs:range rdfs:Literal .

{ ?d a rdfs:Datatype } log:implies { ?d rdfs:domain ?d } .
{ ?d a rdfs:Datatype . ?o ?d ?l } log:implies { ?o rdfs:dlex ?l } .
{ ?p rdfs:drange ?d . ?o rdfs:dlex ?l . ?s ?p ?o } log:implies { ?o ?d ?l } .
\\\\\\

and now I would think we have

//////
rdfd:Datatype a rdfs:Class; rdfs:subClassOf rdf:Property .
rdfd:dcrange a rdf:Property; rdfs:domain rdf:Property; rdfs:range rdfd:Datatype.
rdfd:lex a rdf:Property; rdfs:domain rdfs:Resource; rdfs:range rdfs:Literal .

{ ?d a rdfd:Datatype } log:implies { ?d rdfs:domain ?d } .
{ ?d a rdfd:Datatype . ?o ?d ?l } log:implies { ?o rdfd:lex ?l } .
{ ?p rdfd:dcrange ?d . ?o rdfd:lex ?l . ?s ?p ?o } log:implies { ?o ?d ?l } .
\\\\\\

???

--
Jos
Received on Friday, 19 April 2002 05:18:16 EDT

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