- From: Jeremy Carroll <jjc@hplb.hpl.hp.com>
- Date: Thu, 07 Apr 2005 10:53:04 +0100
- To: jos.deroo@agfa.com
- CC: jfcst24_public@yahoo.com, www-rdf-logic@w3.org
James:
>>A quick question: I just looking for some confirmation. If I have the
>>triples:
>>
>><a>
>> rdf:type <b> ;
>> rdf:type <e> .
>>
>><b>
>> rdf:type rdfs:Class ;
>> rdfs:subClassOf <c> ;
>> rdfs:subClassOf <d> .
>>
>><c> rdf:type rdfs:Class .
>><d> rdf:type rdfs:Class .
>><e> rdf:type rdfs:Class .
>>
>>The would the following statements be true? (That is, can they be
>
> inferred?)
>
>><a> rdf:type <c> .
>><a> rdf:type <d> .
>>
>>This is probably a trivial question; I'm just looking for some
>
> clarification.
Jos:
> i.e. making use of rdfs-rule
>
> {?A rdfs:subClassOf ?B. ?S a ?A} => {?S a ?B}.
>
> where the property ' a ' is N3 shorthand for rdf:type
>
>
A point is that this is an rdfs rule - so if you are only using rdf or
simple entailment, and not rdfs or owl entailment the result does not
follow.
Jeremy
Received on Thursday, 7 April 2005 09:53:29 UTC