This is an example of a symmetric and transitive property assertion This example works with: * /owl (the Jena OWL reasoner) * /owlmini (the Jena OWLMini reasoner) * /owl2 (the Hermit Reasoning Service)