Java OWLFunctionalObjectPropertyAxiom Beispiele

Beispiel #1

Datei: OWLObjectDuplicator.java Projekt: rita-zgheib/owl-api

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

Beispiel #2

Datei: LatexObjectVisitor.java Projekt: JPuritscher/owlapi

 @Override
 public void visit(OWLFunctionalObjectPropertyAxiom axiom) {
   write(TOP);
   writeSpace();
   write(SUBCLASS);
   writeSpace();
   df.getOWLObjectMaxCardinality(1, axiom.getProperty()).accept(this);
 }

Beispiel #3

Datei: OWLObjectComponentCollector.java Projekt: JPuritscher/owlapi

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

Beispiel #4

Datei: DLExpressivityChecker.java Projekt: Orphanet/java_ORDO

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

Beispiel #5

Datei: OWLObjectTypeIndexProvider.java Projekt: juyingnan/OpenOME

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

Beispiel #6

Datei: OWLAnonymousIndividualsWithMultipleOccurrences.java Projekt: Orphanet/java_ORDO

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