public void visit(OWLSubPropertyChainOfAxiom axiom) { for (OWLObjectPropertyExpression prop : axiom.getPropertyChain()) { prop.accept(this); } axiom.getSuperProperty().accept(this); processAxiomAnnotations(axiom); }
public void visit(OWLEquivalentObjectPropertiesAxiom axiom) { for (OWLObjectPropertyExpression propA : axiom.getProperties()) { for (OWLObjectPropertyExpression propB : axiom.getProperties()) { if (!propA.equals(propB)) { addChildParent(propA, propB, axiom); } } } }
@Override public void visit(OWLDisjointObjectPropertiesAxiom axiom) { write("DisjointObjectProperties"); writeSpace(); for (OWLObjectPropertyExpression p : axiom.getProperties()) { p.accept(this); writeSpace(); } }
@Override public void visit(OWLSubPropertyChainOfAxiom axiom) { axiom.getSuperProperty().accept(this); OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj; List<OWLObjectPropertyExpression> chain = new ArrayList<OWLObjectPropertyExpression>(); for (OWLObjectPropertyExpression p : axiom.getPropertyChain()) { p.accept(this); chain.add((OWLObjectPropertyExpression) obj); } obj = dataFactory.getOWLSubPropertyChainOfAxiom(chain, prop, duplicateAxiomAnnotations(axiom)); }
public void visit(OWLEquivalentObjectPropertiesAxiom axiom) { for (OWLObjectPropertyExpression prop : axiom.getProperties()) { prop.accept(this); } processAxiomAnnotations(axiom); }
public ObjectPropertyPointer translate(OWLObjectPropertyExpression property) throws OWLException { property.accept(this); return getLastObjectPropertyPointer(); }