- From: <jos.deroo@agfa.com>
- Date: Thu, 7 Apr 2005 11:13:08 +0200
- To: jfcst24_public@yahoo.com
- Cc: www-rdf-logic@w3.org
> 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.
A quick test.. it indeed follows
{{<file:/temp/b> rdfs:subClassOf <file:/temp/c>} e:evidence
<file:/temp/testP.n3#_485>.
{<file:/temp/a> a <file:/temp/b>} e:evidence <file:/temp/testP.n3#_480>}
=> {
{<file:/temp/a> rdf:type <file:/temp/c>} e:evidence
<http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}.
{{<file:/temp/b> rdfs:subClassOf <file:/temp/d>} e:evidence
<file:/temp/testP.n3#_486>.
{<file:/temp/a> a <file:/temp/b>} e:evidence <file:/temp/testP.n3#_480>}
=> {
{<file:/temp/a> rdf:type <file:/temp/d>} e:evidence
<http://eulersharp.sourceforge.net/2003/03swap/rdfs-rules.n3#_59>}.
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
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 7 April 2005 09:13:18 UTC