APPROVED Jeremy J. Carroll If p and q have the same property extension then p owl:equivalentProperty q.