A test case? [Re: Before we go on...]

Thank you Jos!

Observing, and to some extent fearing, the nature of the recent datatypes 
discussion, I was wondering if we could bring some more structure to it by 
asking for a test case.  Then I saw this message from Jos and thought this 
might be the basis of a test case we could decide on.  Is it?  Is there an 
entailment test here?

Brian

ps: Someone (Jos?) has a badly formed email address configured for Patrick 
- my email server barfs when I try to reply.

   "Patrick Stickler <patrick.stickler" <patrick.stickler@nokia.com>

should be

   "Patrick Stickler" <patrick.stickler@nokia.com>

Oh and similarly for PatH and RDFCore for that matter.

B


At 10:05 19/04/2002 +0200, Jos De_Roo wrote:

>[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 06:30:50 UTC