Java OWLIrreflexiveObjectPropertyAxiom Examples

Example #1

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

 @Override
 public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
   axiom.getProperty().accept(this);
   obj =
       dataFactory.getOWLIrreflexiveObjectPropertyAxiom(
           (OWLObjectPropertyExpression) obj, duplicateAxiomAnnotations(axiom));
 }

Example #2

File: OWLObjectComponentCollector.java Project: JPuritscher/owlapi

 @Override
 public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
   handleObject(axiom);
   axiom.getProperty().accept(this);
 }

Example #3

File: DLExpressivityChecker.java Project: Orphanet/java_ORDO

 @Override
 public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
   constructs.add(R);
   axiom.getProperty().accept(this);
 }

Example #4

File: OWLObjectTypeIndexProvider.java Project: juyingnan/OpenOME

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

Example #5

File: OWLAnonymousIndividualsWithMultipleOccurrences.java Project: Orphanet/java_ORDO

 public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
   axiom.getProperty().accept(this);
   processAxiomAnnotations(axiom);
 }

Example #6

File: LatexObjectVisitor.java Project: JPuritscher/owlapi

 @Override
 public void visit(OWLIrreflexiveObjectPropertyAxiom axiom) {
   write("IrreflexiveObjectProperty");
   axiom.getProperty().accept(this);
 }