- From: Patrick Stickler <patrick.stickler@nokia.com>
- Date: Fri, 19 Apr 2002 14:42:57 +0300
- To: ext Brian McBride <bwm@hplb.hpl.hp.com>, Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- CC: Pat Hayes <phayes@ai.uwf.edu>, RDF Core <w3c-rdfcore-wg@w3.org>
On 2002-04-19 13:23, "ext Brian McBride" <bwm@hplb.hpl.hp.com> wrote: > ... Is there an entailment test here? Here's mine. Given the following closure rules: # Rule 0: rdfd:Datatype a rdfs:Class; rdfs:subClassOf rdf:Property . rdfd:datatype a rdf:Property; rdfs:domain rdf:Property; rdfs:range rdfd:Datatype. rdfd:lex a rdf:Property; rdfs:domain rdfs:Resource; rdfs:range rdfs:Literal . # Rule 1a { ?d a rdfd:Datatype } log:implies { ?d rdfs:domain ?d } . # Rule 1b { ?d a rdfd:Datatype } log:implies { ?d rdfs:subPropertyOf rdfd:lex } . # Rule 2 { ?d a rdfd:Datatype . ?o ?d ?l } log:implies { ?o rdfd:lex ?l } . # Rule 3 { ?p rdfd:datatype ?d . ?s ?p ?o . ?o rdfd:lex ?l } log:implies { ?o ?d ?l } . # Rule 4 (this is new) { ?p rdfd:datatype ?d . ?s ?p ?l . ?l rdf:type rdfs:Literal } log:implies { ?s ?p ?o. ?o rdfd:lex ?l } . -- Then { ex:age rdfd:datatype xsd:integer . Jenny ex:age "10" . } log:implies { Jenny ex:age _:x . _:x rdfd:lex "10" . } whereas for only { Jenny ex:age "10" . } without the rdfd:datatype assertion, the entailment does not hold. Note that this is not changing the meaning of the statement Jenny ex:age "10" . but only adding information of what that statement in conjunction with the rdfd:datatype assertion express. Patrick -- Patrick Stickler Phone: +358 50 483 9453 Senior Research Scientist Fax: +358 7180 35409 Nokia Research Center Email: patrick.stickler@nokia.com
Received on Friday, 19 April 2002 07:40:04 UTC