W3C home > Mailing lists > Public > www-rdf-comments@w3.org > October to December 1999

Re: Question about subproperties

From: Ralph R. Swick <swick@w3.org>
Date: Fri, 22 Oct 1999 21:12:50 -0400
Message-Id: <>
To: Pierre-Antoine CHAMPIN <champin@cpe.fr>
Cc: www-rdf-comments@w3.org
At 10:00 AM 9/27/1999 +0100, Pierre-Antoine CHAMPIN wrote:

>If we have
>  (rdf:domain, P1, C1)
>  (rdf:domain, P1, C2)
>  (P1, r1, r2)
>then r1 must have rdf:type C1 OR C2. Ok.


>If we add
>  (rdfs:subPropertyOf, P2, P1)
>  (rdf:domain, P2, C3)
>  (rdf:domain, P2, C4)
>  (P2, r3, r4)
>what is the rule :
>  r3 must have rdf:type C1, C2, C3 or C4
>  r3 must have rdf:type C1 or C2, and it must have rdf:type C3 or C4
>                        ^^^^^^^^                            ^^^^^^^^
>                      because of P1                       because of P2
>the second is more complicated, but looks also more logical to me...

yes, the second; r3 has two constraints on its type.  In this case
r3 must be in the domain of P2 *and* in the domain of P1.
Received on Friday, 22 October 1999 21:13:05 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:15:12 UTC