Java OWLInverseFunctionalObjectPropertyAxiom примеры использования

Пример #1

Файл: OWLObjectDuplicator.java Проект: rita-zgheib/owl-api

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

Пример #2

Файл: LatexObjectVisitor.java Проект: JPuritscher/owlapi

 @Override
 public void visit(OWLInverseFunctionalObjectPropertyAxiom axiom) {
   write(TOP);
   writeSpace();
   write(SUBCLASS);
   writeSpace();
   OWLObjectPropertyExpression prop = df.getOWLObjectInverseOf(axiom.getProperty());
   df.getOWLObjectMaxCardinality(1, prop).accept(this);
 }

Пример #3

Файл: OWLObjectTypeIndexProvider.java Проект: juyingnan/OpenOME

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

Пример #4

Файл: OWLAnonymousIndividualsWithMultipleOccurrences.java Проект: Orphanet/java_ORDO

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