private void prepareDomainsRanges(final RBox rbox) { for (final Role role : rbox.getRoles().values()) { final Iterator<ATermAppl> assertedDomains = rbox.getAssertedDomains(role); if (assertedDomains.hasNext()) addTo(_domains, role.getName(), IteratorUtils.toSet(assertedDomains)); final Iterator<ATermAppl> assertedRanges = rbox.getAssertedRanges(role); if (assertedRanges.hasNext()) addTo(_ranges, role.getName(), IteratorUtils.toSet(assertedRanges)); } }
private void prepareDomainsRanges(final RBox rbox) { for (final Role role : rbox.getRoles().values()) { final Iterator<ATermAppl> assertedDomains = rbox.getAssertedDomains(role); if (assertedDomains.hasNext()) addTo(_domains, role.getName(), IteratorUtils.toSet(assertedDomains)); final Iterator<ATermAppl> assertedRanges = rbox.getAssertedRanges(role); if (assertedRanges.hasNext()) addTo(_ranges, role.getName(), IteratorUtils.toSet(assertedRanges)); } }
@Test public void test485() { final Properties oldOptions = OpenlletOptions.setOptions(PropertiesBuilder.singleton("DISABLE_EL_CLASSIFIER", "true")); try { classes(_A, _B, _C); objectProperties(_p, _q); individuals(_a, _b); _kb.addSubClass(_B, _A); _kb.addSubClass(_C, _A); _kb.addDomain(_p, _B); _kb.addDomain(_q, _A); _kb.addType(_a, _A); _kb.addType(_b, _B); _kb.realize(); assertEquals(SetUtils.create(_A, _B, TOP), IteratorUtils.toSet(new FlattenningIterator<>(_kb.getSuperClasses(some(_p, TOP))))); assertEquals(SetUtils.create(_A, TOP), IteratorUtils.toSet(new FlattenningIterator<>(_kb.getSuperClasses(some(_q, TOP))))); } finally { OpenlletOptions.setOptions(oldOptions); } }