TBoxUnFoldingTool { public OWLEquivalentClassesAxiom unfold(String id) throws NonDeterministicUnfoldException { OWLClass owlClass = graph.getOWLClassByIdentifier(id); if (owlClass == null) { return null; } return unfold(owlClass); } TBoxUnFoldingTool(OWLGraphWrapper graph, Set<String> parents, String reasonerName); OWLEquivalentClassesAxiom unfold(String id); OWLEquivalentClassesAxiom unfold(OWLClass owlClass); OWLEquivalentClassesAxiom unfold(OWLEquivalentClassesAxiom ax, OWLClass owlClass); String unfoldToString(String id); String unfoldToString(OWLClass owlClass);  }
@Test public void testUnfold() throws Exception { Set<String> parents = Collections.singleton("GO:0008150"); TBoxUnFoldingTool unFoldingTool = new TBoxUnFoldingTool(graph, parents, InferenceBuilder.REASONER_ELK); String id = "GO:2000606"; String unfold = unFoldingTool.unfoldToString(id); assertEquals("EquivalentClasses(GO:2000606 'regulation of cell proliferation involved in mesonephros development' ObjectIntersectionOf(GO:0065007 'biological regulation' ObjectSomeValuesFrom(RO:0002211 'regulates' ObjectIntersectionOf(GO:0008283 'cell proliferation' ObjectSomeValuesFrom(BFO:0000050 'part_of' GO:0001823 'mesonephros development')))) )", unfold); }