@Test
public void testGetSvfClasses() throws Exception {
OWLGraphWrapper graph = getGraph("graph/explainConstraints.owl");
IRI onlyInTaxonIRI = IRI.create("http://purl.obolibrary.org/obo/RO_0002160");
OWLObjectProperty onlyInTaxon = graph.getDataFactory().getOWLObjectProperty(onlyInTaxonIRI);
OWLClass c1 = graph.getOWLClass(IRI.create("http://purl.obolibrary.org/obo/UBERON_0000001"));
OWLClass c2 = graph.getOWLClass(IRI.create("http://purl.obolibrary.org/obo/UBERON_0000002"));
OWLClass c3 = graph.getOWLClass(IRI.create("http://purl.obolibrary.org/obo/UBERON_0000003"));
Set<OWLClass> svf1 = graph.getSvfClasses(c1, onlyInTaxon);
Set<OWLClass> svf2 = graph.getSvfClasses(c2, onlyInTaxon);
Set<OWLClass> svf3 = graph.getSvfClasses(c3, onlyInTaxon);
assertEquals(1, svf1.size());
assertEquals(1, svf2.size());
assertEquals(0, svf3.size());
}
@Test
public void testGetOnlyInTaxon() throws Exception {
OWLGraphWrapper graph = getGraph("graph/explainConstraints.owl");
OWLClass c1 = graph.getOWLClass(IRI.create("http://purl.obolibrary.org/obo/UBERON_0000001"));
Set<String> taxon1 = graph.getOnlyInTaxon(c1, Collections.<String>emptyList());
assertEquals(1, taxon1.size());
assertEquals("NCBITaxon:1", taxon1.iterator().next());
OWLClass c2 = graph.getOWLClass(IRI.create("http://purl.obolibrary.org/obo/UBERON_0000002"));
Set<String> taxon2 = graph.getOnlyInTaxon(c2, Collections.<String>emptyList());
assertEquals(1, taxon2.size());
assertEquals("NCBITaxon:2", taxon2.iterator().next());
Set<String> closure = graph.getOnlyInTaxonClosure(c2, Collections.<String>emptyList());
assertEquals(2, closure.size());
assertTrue(closure.contains("NCBITaxon:1"));
assertTrue(closure.contains("NCBITaxon:2"));
OWLClass c3 = graph.getOWLClass(IRI.create("http://purl.obolibrary.org/obo/UBERON_0000003"));
Set<String> taxon3 = graph.getOnlyInTaxon(c3, Collections.<String>emptyList());
assertEquals(0, taxon3.size());
}
