Ejemplo n.º 1
0
 @Override
 public void visit(OWLDifferentIndividualsAxiom axiom) {
   for (Iterator<OWLIndividual> it = axiom.getIndividuals().iterator(); it.hasNext(); ) {
     write("\\{");
     it.next().accept(this);
     write("\\}");
     if (it.hasNext()) {
       writeSpace();
       write(NOT_EQUIV);
       writeSpace();
     }
   }
 }
Ejemplo n.º 2
0
 @Override
 public void visit(OWLDifferentIndividualsAxiom axiom) {
   Set<OWLIndividual> inds = duplicateSet(axiom.getIndividuals());
   obj = dataFactory.getOWLDifferentIndividualsAxiom(inds, duplicateAxiomAnnotations(axiom));
 }
 public void visit(OWLDifferentIndividualsAxiom axiom) {
   type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
 }
 public void visit(OWLDifferentIndividualsAxiom axiom) {
   for (OWLIndividual ind : axiom.getIndividuals()) {
     ind.accept(this);
   }
   processAxiomAnnotations(axiom);
 }