W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > November 2001

Re: Agenda for RDFCore WG Telecon 2001-11-16

From: <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 16 Nov 2001 15:30:25 +0100
To: bwm@hplb.hpl.hp.com
Cc: w3c-rdfcore-wg@w3.org
Message-Id: <OFA5BBFEE2.9D8D96B7-ONC1256B06.004D3FF9@bayer-ag.com>


[...]
>
> 8: Status of 2001-10-19#3  Jos Create test cases for model issues resolved at
f2f


I've been trying to do rdfs-transitive-subSubProperty

http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-transitive-subSubProperty
/test001.rdf
http://www.w3.org/2000/10/rdf-tests/rdfcore/rdfs-transitive-subSubProperty/test001.rdf

and would ask some W3C team member to give appropriate access rights
and some WG members to review the test case itself which is


# Issue rdfs-transitive-subSubProperty:
#   Is a super/sub-property of a transitive property necessarily transitive?
#
#   e.g. anc is a transitive property
#        par is a sub-property of anc but is not transitive
#        anc-or-unc is a super-property of anc but is not transitive

<http://example.org/foo#j> <http://example.org/foo#anc-or-unc> <http://example.org/foo#f> .
<http://example.org/foo#f> <http://example.org/foo#anc-or-unc> <http://example.org/foo#o> .
<http://example.org/foo#j> <http://example.org/foo#anc-or-unc> <http://example.org/foo#o> .
<http://example.org/foo#f> <http://example.org/foo#anc-or-unc> <http://example.org/foo#a> .

<http://example.org/foo#j> <http://example.org/foo#anc> <http://example.org/foo#f> .
<http://example.org/foo#f> <http://example.org/foo#anc> <http://example.org/foo#o> .
<http://example.org/foo#j> <http://example.org/foo#anc> <http://example.org/foo#o> .

<http://example.org/foo#j> <http://example.org/foo#par> <http://example.org/foo#f> .
<http://example.org/foo#f> <http://example.org/foo#par> <http://example.org/foo#o> .

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 16 November 2001 09:34:33 EST

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:42:44 EDT