@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();
}
