Exemplos de OWLSymmetricObjectPropertyAxiom em Java

Exemplo n.º 1

Arquivo: LatexObjectVisitor.java Projeto: JPuritscher/owlapi

 @Override
 public void visit(OWLSymmetricObjectPropertyAxiom axiom) {
   axiom.getProperty().accept(this);
   writeSpace();
   write(EQUIV);
   writeSpace();
   axiom.getProperty().accept(this);
   write("\\ensuremath{^-}");
 }

Exemplo n.º 2

Arquivo: OWLObjectDuplicator.java Projeto: rita-zgheib/owl-api

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

Exemplo n.º 3

Arquivo: OWLObjectComponentCollector.java Projeto: JPuritscher/owlapi

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

Exemplo n.º 4

Arquivo: DLExpressivityChecker.java Projeto: Orphanet/java_ORDO

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

Exemplo n.º 5

Arquivo: OWLObjectTypeIndexProvider.java Projeto: juyingnan/OpenOME

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

Exemplo n.º 6

Arquivo: OWLAnonymousIndividualsWithMultipleOccurrences.java Projeto: Orphanet/java_ORDO

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