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

[...]
>
> 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 UTC