Java OWLEquivalentDataPropertiesAxiom Examples

Example #1

File: LatexObjectVisitor.java Project: JPuritscher/owlapi

 @Override
 public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
   for (Iterator<OWLDataPropertyExpression> it = axiom.getProperties().iterator();
       it.hasNext(); ) {
     it.next().accept(this);
     if (it.hasNext()) {
       writeSpace();
       write(NOT_EQUIV);
       writeSpace();
     }
   }
 }

Example #2

File: OWLObjectDuplicator.java Project: rita-zgheib/owl-api

 @Override
 public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
   Set<OWLDataPropertyExpression> props = duplicateSet(axiom.getProperties());
   obj = dataFactory.getOWLEquivalentDataPropertiesAxiom(props, duplicateAxiomAnnotations(axiom));
 }

Example #3

File: OWLObjectTypeIndexProvider.java Project: juyingnan/OpenOME

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

Example #4

File: OWLAnonymousIndividualsWithMultipleOccurrences.java Project: Orphanet/java_ORDO

 public void visit(OWLEquivalentDataPropertiesAxiom axiom) {
   for (OWLDataPropertyExpression prop : axiom.getProperties()) {
     prop.accept(this);
   }
   processAxiomAnnotations(axiom);
 }