public void addType(ATermAppl i, ATermAppl c) { if (AnnotationClasses.contains(c)) { return; } ATermAppl typeAxiom = ATermUtils.makeTypeAtom( i, c ); DependencySet ds = PelletOptions.USE_TRACING ? new DependencySet( typeAxiom ) : DependencySet.INDEPENDENT; // add type assertion to syntactic assertions and update dependency // index if( PelletOptions.USE_INCREMENTAL_DELETION ) { syntacticAssertions.add( typeAxiom ); dependencyIndex.addTypeDependency( i, c, ds ); } if( PelletOptions.KEEP_ABOX_ASSERTIONS ) aboxAssertions.add( AssertionType.TYPE, typeAxiom ); addType( i, c, ds ); }
public void addType(ATermAppl i, ATermAppl c) { if (AnnotationClasses.contains(c)) { return; } ATermAppl typeAxiom = ATermUtils.makeTypeAtom( i, c ); DependencySet ds = PelletOptions.USE_TRACING ? new DependencySet( typeAxiom ) : DependencySet.INDEPENDENT; // add type assertion to syntactic assertions and update dependency // index if( PelletOptions.USE_INCREMENTAL_DELETION ) { syntacticAssertions.add( typeAxiom ); dependencyIndex.addTypeDependency( i, c, ds ); } if( PelletOptions.KEEP_ABOX_ASSERTIONS ) aboxAssertions.add( AssertionType.TYPE, typeAxiom ); addType( i, c, ds ); }
public void visit(OWLClassAssertionAxiom axiom) { axiom.getClassExpression().accept( this ); ATermAppl c = term; if (AnnotationClasses.contains(c)) { return; } axiom.getIndividual().accept( this ); ATermAppl ind = term; if( addAxioms ) kb.addType( ind, c ); else kb.removeType( ind, c ); }
@Override public void visit(OWLClassAssertionAxiom axiom) { axiom.getClassExpression().accept( this ); ATermAppl c = term; if (AnnotationClasses.contains(c)) { return; } axiom.getIndividual().accept( this ); ATermAppl ind = term; if( addAxioms ) { kb.addType( ind, c ); } else { kb.removeType( ind, c ); } }
ATermAppl ot = node2term( o ); if (!AnnotationClasses.contains(ot)) { defineClass( ot );