subject: ACTION 2001-09-21#5 subPropertyOf cycles

Here's the motion:  To resolve issue [?do we have an explicit issue?] by
deleting the restriction prohibiting cycles of subPropertyOf
properties.  The meaning of a cycle of subPropertyOf properties is an
assertion that the properties involved in the cycle have the same
members.  A more formal specification of the meaning is given in the
model theory.  [This has the same form as the explanation in the
"subClassOf" motion, but is less intuitive for properties.  I could
wordsmith this a bit, but it's probably safer to point to the model
theory]. 

Test cases are attached (mods of DanC's subClassOf cases;  the URIs are
made up: the files aren't actually at those locations).

--Frank

-- 
Frank Manola                   The MITRE Corporation
202 Burlington Road, MS A345   Bedford, MA 01730-1420
mailto:fmanola@mitre.org       voice: 781-271-8147   FAX: 781-271-8752

<!-- 2001/09/25 fam -->


<rdf:RDF xmlns="http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#"
    xmlns:log="http://www.w3.org/2000/10/swap/log#"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:u="http://www.w3.org/2000/01/rdf-schema#">

    <rdf:Description rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#A">
        <u:subPropertyOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#B"/>
    </rdf:Description>

    <rdf:Description rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#B">
        <u:subPropertyOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#A"/>
    </rdf:Description>

    <rdf:Description rdf:about="http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#X">
        <u:subPropertyOf rdf:resource="http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#X"/>
    </rdf:Description>
</rdf:RDF>

    
    <http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#B>     <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#A> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#X>     <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#X> .
    
    <http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#A>     <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <http://www.w3.org/2000/10/rdf-tests/rdfs-no-cycles-in-subPropertyOf/test001#B> .