public void test_exists_simple() {
Ontology ontology = OntologyFactoryImpl.getInstance().createOntology("");
Predicate a = predicateFactory.getPredicate("a", 1);
Predicate c = predicateFactory.getPredicate("c", 1);
Predicate r = predicateFactory.getPredicate("r", 2);
OClass ac = descFactory.createClass(a);
OClass cc = descFactory.createClass(c);
PropertySomeRestriction er = descFactory.getPropertySomeRestriction(r, false);
ontology.addConcept(ac.getPredicate());
ontology.addConcept(cc.getPredicate());
ontology.addRole(er.getPredicate());
ontology.addAssertion(OntologyFactoryImpl.getInstance().createSubClassAxiom(er, ac));
ontology.addAssertion(OntologyFactoryImpl.getInstance().createSubClassAxiom(cc, er));
DAG res = DAGConstructor.getSigma(ontology);
res.clean();
assertTrue(res.getClassNode(ac).getDescendants().contains(res.getClassNode(er)));
assertEquals(1, res.getClassNode(ac).getDescendants().size());
assertEquals(0, res.getClassNode(er).getDescendants().size());
assertEquals(0, res.getClassNode(cc).getDescendants().size());
}
