@Override public void addType(final ATermAppl i, final ATermAppl c) { if (null == i || null == c) return; if (AnnotationClasses.contains(c)) return; final ATermAppl typeAxiom = ATermUtils.makeTypeAtom(i, c); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(typeAxiom) : DependencySet.INDEPENDENT; // add type assertion to syntactic assertions and update dependency // _index if (OpenlletOptions.USE_INCREMENTAL_DELETION) { _syntacticAssertions.add(typeAxiom); _dependencyIndex.addTypeDependency(i, c, ds); } if (OpenlletOptions.KEEP_ABOX_ASSERTIONS) _aboxAssertions.add(AssertionType.TYPE, typeAxiom); addType(i, c, ds); }
@Override public void addType(final ATermAppl i, final ATermAppl c) { if (null == i || null == c) return; if (AnnotationClasses.contains(c)) return; final ATermAppl typeAxiom = ATermUtils.makeTypeAtom(i, c); final DependencySet ds = OpenlletOptions.USE_TRACING ? new DependencySet(typeAxiom) : DependencySet.INDEPENDENT; // add type assertion to syntactic assertions and update dependency // _index if (OpenlletOptions.USE_INCREMENTAL_DELETION) { _syntacticAssertions.add(typeAxiom); _dependencyIndex.addTypeDependency(i, c, ds); } if (OpenlletOptions.KEEP_ABOX_ASSERTIONS) _aboxAssertions.add(AssertionType.TYPE, typeAxiom); addType(i, c, ds); }
@Override public void visit(final OWLClassAssertionAxiom axiom) { axiom.getClassExpression().accept(this); final ATermAppl c = _term; if (AnnotationClasses.contains(c)) return; axiom.getIndividual().accept(this); final ATermAppl ind = _term; if (_addAxioms) _kb.addType(ind, c); else _kb.removeType(ind, c); }
@Override public void visit(final OWLClassAssertionAxiom axiom) { axiom.getClassExpression().accept(this); final ATermAppl c = _term; if (AnnotationClasses.contains(c)) return; axiom.getIndividual().accept(this); final ATermAppl ind = _term; if (_addAxioms) _kb.addType(ind, c); else _kb.removeType(ind, c); }
@Override public void visit(final OWLClassAssertionAxiom axiom) { axiom.getClassExpression().accept(this); final ATermAppl c = _term; if (AnnotationClasses.contains(c)) return; axiom.getIndividual().accept(this); final ATermAppl ind = _term; if (_addAxioms) _kb.addType(ind, c); else _kb.removeType(ind, c); }
if (!AnnotationClasses.contains(ot))
if (!AnnotationClasses.contains(ot))
if (!AnnotationClasses.contains(ot))