Java OWLTransitiveObjectPropertyAxiom示例

示例#1

文件： OWLObjectDuplicator.java 项目： rita-zgheib/owl-api

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

示例#2

文件： OWLObjectComponentCollector.java 项目： JPuritscher/owlapi

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

示例#3

文件： DLExpressivityChecker.java 项目： Orphanet/java_ORDO

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

示例#4

文件： OWLObjectTypeIndexProvider.java 项目： juyingnan/OpenOME

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

示例#5

文件： OWLAnonymousIndividualsWithMultipleOccurrences.java 项目： Orphanet/java_ORDO

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

示例#6

文件： LatexObjectVisitor.java 项目： JPuritscher/owlapi

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