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

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