@Override public boolean isPrimitive(final ATermAppl c) { return ATermUtils.isPrimitive(c) && !_primitiveTbox.contains(c); }
@Override public boolean isPrimitive(final ATermAppl c) { return ATermUtils.isPrimitive(c) && !_primitiveTbox.contains(c); }
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; } }
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; } }
if (!_primitiveTbox.contains(term))
if (!_primitiveTbox.contains(term))
public boolean add(final ATermAppl concept, final ATermAppl definition, final Set<ATermAppl> explanation) { if (!ATermUtils.isPrimitive(concept) || contains(concept)) return false; final Set<ATermAppl> deps = ATermUtils.findPrimitives(definition); final Set<ATermAppl> seen = new HashSet<>(); for (final ATermAppl current : deps) { final boolean result = findTarget(current, concept, seen); if (result) return false; } addDefinition(concept, definition, explanation); addDefinition(not(concept), not(definition), explanation); _dependencies.put(concept, deps); return true; }
public boolean add(final ATermAppl concept, final ATermAppl definition, final Set<ATermAppl> explanation) { if (!ATermUtils.isPrimitive(concept) || contains(concept)) return false; final Set<ATermAppl> deps = ATermUtils.findPrimitives(definition); final Set<ATermAppl> seen = new HashSet<>(); for (final ATermAppl current : deps) { final boolean result = findTarget(current, concept, seen); if (result) return false; } addDefinition(concept, definition, explanation); addDefinition(not(concept), not(definition), explanation); _dependencies.put(concept, deps); return true; }
ATermAppl head = null; for (final ATermAppl term : terms) if (ATermUtils.isPrimitive(term) && !_primitiveTbox.contains(term)) primitiveClassAtoms++; else
ATermAppl head = null; for (final ATermAppl term : terms) if (ATermUtils.isPrimitive(term) && !_primitiveTbox.contains(term)) primitiveClassAtoms++; else