Java OWLInverseObjectPropertiesAxiom.getFirstProperty Exemples

Exemple #1

Fichier : LatexObjectVisitor.java Projet : JPuritscher/owlapi

 @Override
 public void visit(OWLInverseObjectPropertiesAxiom axiom) {
   write(axiom.getFirstProperty());
   writeSpace();
   write(EQUIV);
   writeSpace();
   write(axiom.getSecondProperty());
   write("\\ensuremath{^-}");
 }

Exemple #2

Fichier : OWLObjectDuplicator.java Projet : rita-zgheib/owl-api

 @Override
 public void visit(OWLInverseObjectPropertiesAxiom axiom) {
   axiom.getFirstProperty().accept(this);
   OWLObjectPropertyExpression propA = (OWLObjectPropertyExpression) obj;
   axiom.getSecondProperty().accept(this);
   OWLObjectPropertyExpression propB = (OWLObjectPropertyExpression) obj;
   obj =
       dataFactory.getOWLInverseObjectPropertiesAxiom(
           propA, propB, duplicateAxiomAnnotations(axiom));
 }

Exemple #3

Fichier : OWLAnonymousIndividualsWithMultipleOccurrences.java Projet : Orphanet/java_ORDO

 public void visit(OWLInverseObjectPropertiesAxiom axiom) {
   axiom.getFirstProperty().accept(this);
   axiom.getSecondProperty().accept(this);
   processAxiomAnnotations(axiom);
 }