	@Test
	public void testRename() {

		StringRenderer.setRenderer(rendering);
		OWLAxiom ax1 = df.getOWLSubClassOfAxiom(clsA, clsB);
		OWLAxiom ax2 = df.getOWLSubClassOfAxiom(clsB, clsC);
		
		System.out.print(ax1 + "->");ax1 = renamer.rename(ax1);System.out.println(ax1);
		System.out.print(ax2 + "->");ax2 = renamer.rename(ax2);System.out.println(ax1);
		assertEquals(ax1, ax2);
		
		ax1 = df.getOWLSubClassOfAxiom(
				clsA, 
				df.getOWLObjectIntersectionOf(
						clsB, 
						df.getOWLObjectSomeValuesFrom(propR, clsC)));
		ax2 = df.getOWLSubClassOfAxiom(
				clsA, 
				df.getOWLObjectIntersectionOf(
						df.getOWLObjectSomeValuesFrom(propS, clsB), 
						clsC));
		System.out.print(ax1 + "->");ax1 = renamer.rename(ax1);System.out.println(ax1);
		System.out.print(ax2 + "->");ax2 = renamer.rename(ax2);System.out.println(ax2);
		assertEquals(ax1, ax2);
		
		ax1 = df.getOWLSubClassOfAxiom(
				clsA, 
				df.getOWLObjectIntersectionOf(
						clsB, 
						df.getOWLObjectSomeValuesFrom(
								propR, 
								df.getOWLObjectUnionOf(clsB, clsA))));
		ax2 = df.getOWLSubClassOfAxiom(
				clsA, 
				df.getOWLObjectIntersectionOf(
						df.getOWLObjectSomeValuesFrom(
								propS, 
								df.getOWLObjectUnionOf(clsB, clsA)), 
						clsB));
		System.out.print(ax1 + "->");ax1 = renamer.rename(ax1);System.out.println(ax1);
		System.out.print(ax2 + "->");ax2 = renamer.rename(ax2);System.out.println(ax2);
		assertEquals(ax1, ax2);

		ax1 = df.getOWLDisjointClassesAxiom(clsA, clsB, clsC);
		ax1 = renamer.rename(ax1);System.out.println(ax1);
		
	}