public static TBox createTBox(final KnowledgeBase kb) { return OpenlletOptions.USE_LEGACY_TBOX ? new TBoxExpImpl(kb) : new TBoxImpl(kb); } }
@Override public void prepare() { _Tg.absorb(); _Tg.internalize(); _Tu.normalize(); }
protected boolean absorbIntoTerm(final ATermAppl term, final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { if (isPrimitive(term) && !_primitiveTbox.contains(term)) { terms.remove(term); final ATermAppl disjunction = disjunction(terms); _unaryTbox.add(term, disjunction, explanation); return true; } return false; } }
public TBoxBase(final TBoxExpImpl tbox) { _tbox = tbox; _kb = tbox.getKB(); }
@Override public boolean absorb(final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { for (final ATermAppl term : terms) if (absorbIntoTerm(term, terms, explanation)) return true; return false; } }
@Override public boolean absorb(final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { final ATermAppl disjunction = disjunction(terms); _unaryTbox.add(TOP, disjunction, explanation); return true; } }
/** * @return the identity(==) set of dependences. */ public Set<ATermAppl> getDependencies() { if (_dependencies == null) updateDependencies(); return _dependencies; }
@Override public boolean removeAxiom(final ATermAppl axiom) { return removeAxiom(axiom, axiom); }
@Override public boolean removeAxiom(final ATermAppl axiom) { return removeAxiom(axiom, axiom); }
@Override public void prepare() { _Tg.absorb(); _Tg.internalize(); _Tu.normalize(); }
protected boolean absorbIntoTerm(final ATermAppl term, final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { if (isPrimitive(term) && !_primitiveTbox.contains(term)) { terms.remove(term); final ATermAppl disjunction = disjunction(terms); _unaryTbox.add(term, disjunction, explanation); return true; } return false; } }
public static TBox createTBox(final KnowledgeBase kb) { return OpenlletOptions.USE_LEGACY_TBOX ? new TBoxExpImpl(kb) : new TBoxImpl(kb); } }
public TBoxBase(final TBoxExpImpl tbox) { _tbox = tbox; _kb = tbox.getKB(); }
@Override public boolean absorb(final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { for (final ATermAppl term : terms) if (absorbIntoTerm(term, terms, explanation)) return true; return false; } }
@Override public boolean absorb(final Set<ATermAppl> terms, final Set<ATermAppl> explanation) { final ATermAppl disjunction = disjunction(terms); _unaryTbox.add(TOP, disjunction, explanation); return true; } }
/** * @return the identity(==) set of dependences. */ public Set<ATermAppl> getDependencies() { if (_dependencies == null) updateDependencies(); return _dependencies; }
public RuleAbsorber(final TBoxExpImpl tbox) { _kb = tbox.getKB(); _Tu = tbox._Tu; }
public RuleAbsorber(final TBoxExpImpl tbox) { _kb = tbox.getKB(); _Tu = tbox._Tu; }