updated properties to include annotations. oproperties also follow pattern -- called sio-oproperty. tests updated -- only disjoint probs now
annotation axioms test for rendered_sio commented out as this will not work with remote copy of tawny-owl.