- 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>
[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 UTC