owl:SymmetricProperty

Let's see the following situation...

Before we have,
P1 rdf:type rdf:Property
P2 rdf:type rdf:Property
P2 rdfs:subPropertyOf P1
P2 rdfs:subPropertyOf owl:SymmetricProperty
R1 rdf:type rdfs:Resource
R2 rdf:type rdfs:Resource

When this triple is added
R1 P2 R2

Suppose the following triples are then generated
R1 P1 R2 (P2 rdfs:subPropertyOf P1)
R2 P2 R1 (P2 rdfs:subPropertyOf owl:SymmetricProperty)

Then this triple is also generated
R2 P1 R1 (P2 rdfs:subPropertyOf P1)

My problem is from the last triple above, which it should not exist logically. Is there anything wrong by me? Please indicate and thanks.


Jeremy