@Override public void visit(OWLHasKeyAxiom axiom) { axiom.getClassExpression().accept(this); OWLClassExpression ce = (OWLClassExpression) obj; Set<OWLPropertyExpression<?, ?>> props = duplicateSet(axiom.getPropertyExpressions()); obj = dataFactory.getOWLHasKeyAxiom(ce, props, duplicateAxiomAnnotations(axiom)); }
public void visit(OWLHasKeyAxiom axiom) { axiom.getClassExpression().accept(this); for (OWLPropertyExpression prop : axiom.getPropertyExpressions()) { prop.accept(this); } processAxiomAnnotations(axiom); }
@Override public void visit(OWLHasKeyAxiom axiom) { write("HasKey"); axiom.getClassExpression().accept(this); for (OWLPropertyExpression<?, ?> p : axiom.getPropertyExpressions()) { writeSpace(); p.accept(this); } }
public void visit(OWLHasKeyAxiom axiom) { type = AXIOM_TYPE_INDEX_BASE + axiom.getAxiomType().getIndex(); }