APPROVED Jos De Roo Jeremy J. Carroll Test illustrating extensional semantics of owl:SymmetricProperty.