- 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