Ejemplos de OWLDifferentIndividualsAxiom en Java

Ejemplo n.º 1

Archivo: LatexObjectVisitor.java Proyecto: JPuritscher/owlapi

 @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

Archivo: OWLObjectDuplicator.java Proyecto: rita-zgheib/owl-api

 @Override
 public void visit(OWLDifferentIndividualsAxiom axiom) {
   Set<OWLIndividual> inds = duplicateSet(axiom.getIndividuals());
   obj = dataFactory.getOWLDifferentIndividualsAxiom(inds, duplicateAxiomAnnotations(axiom));
 }

Ejemplo n.º 3

Archivo: OWLObjectTypeIndexProvider.java Proyecto: juyingnan/OpenOME

 public void visit(OWLDifferentIndividualsAxiom axiom) {
   type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex();
 }

Ejemplo n.º 4

Archivo: OWLAnonymousIndividualsWithMultipleOccurrences.java Proyecto: Orphanet/java_ORDO

 public void visit(OWLDifferentIndividualsAxiom axiom) {
   for (OWLIndividual ind : axiom.getIndividuals()) {
     ind.accept(this);
   }
   processAxiomAnnotations(axiom);
 }