public void addAllTypes(final Map<ATermAppl, DependencySet> types, final DependencySet ds) { for (final Entry<ATermAppl, DependencySet> entry : types.entrySet()) { final ATermAppl c = entry.getKey(); if (hasType(c)) continue; final DependencySet depends = entry.getValue(); super.addType(c, depends.union(ds, _abox.doExplanation())); } checkClash(); }
public void addAllTypes(final Map<ATermAppl, DependencySet> types, final DependencySet ds) { for (final Entry<ATermAppl, DependencySet> entry : types.entrySet()) { final ATermAppl c = entry.getKey(); if (hasType(c)) continue; final DependencySet depends = entry.getValue(); super.addType(c, depends.union(ds, _abox.doExplanation())); } checkClash(); }
/** * Apply all values restriction for the Top object role * * @param allTopC * @param c * @param ds */ public void applyAllValuesTop(final ATermAppl allTopC, final ATermAppl c, final DependencySet ds) { for (final Node node : _strategy.getABox().getNodes().values()) if (node.isIndividual() && !node.isPruned() && !node.hasType(c)) { node.addType(c, ds); node.addType(allTopC, ds); if (_strategy.getABox().isClosed()) break; } } }
/** * Apply all values restriction for the Top object role * * @param allTopC * @param c * @param ds */ public void applyAllValuesTop(final ATermAppl allTopC, final ATermAppl c, final DependencySet ds) { for (final Node node : _strategy.getABox().getNodes().values()) if (node.isIndividual() && !node.isPruned() && !node.hasType(c)) { node.addType(c, ds); node.addType(allTopC, ds); if (_strategy.getABox().isClosed()) break; } } }
addType(conj, d);
addType(conj, d);
return; node.addType(c, ds); if (node.isLiteral())
return; node.addType(c, ds); if (node.isLiteral())
@Override public void addType(final ATermAppl c, final DependencySet d) { if (hasType(c)) return; /* * A negated nominal is turned into a different */ if (ATermUtils.isNot(c)) { final ATermAppl arg = (ATermAppl) c.getArgument(0); if (ATermUtils.isNominal(arg)) { final ATermAppl v = (ATermAppl) arg.getArgument(0); Literal other = _abox.getLiteral(v); if (other == null) other = _abox.addLiteral(v, d); super.setDifferent(other, d); return; } } super.addType(c, d); // TODO when two literals are being merged this is not efficient // if(_abox.isInitialized()) checkClash(); }
@Override public void addType(final ATermAppl c, final DependencySet d) { if (hasType(c)) return; /* * A negated nominal is turned into a different */ if (ATermUtils.isNot(c)) { final ATermAppl arg = (ATermAppl) c.getArgument(0); if (ATermUtils.isNominal(arg)) { final ATermAppl v = (ATermAppl) arg.getArgument(0); Literal other = _abox.getLiteral(v); if (other == null) other = _abox.addLiteral(v, d); super.setDifferent(other, d); return; } } super.addType(c, d); // TODO when two literals are being merged this is not efficient // if(_abox.isInitialized()) checkClash(); }