@Nonnull @Override public Set<UsageReference> visit(@Nonnull OWLHasKeyAxiom axiom) { return translate(axiom.getClassExpression(), axiom); }
@Override public void visit(OWLHasKeyAxiom axiom) { if (!axiom.getClassExpression().isAnonymous()) { indexAxiomsByRHSEntities(axiom.getClassExpression().asOWLClass(), axiom); } } }
@Override public K visit(OWLHasKeyAxiom axiom) { if (named && axiom.getClassExpression().isAnonymous()) { return doDefault(axiom); } return (K) axiom.getClassExpression().asOWLClass(); } }
@Override public void visit(OWLHasKeyAxiom axiom) { if (!axiom.getClassExpression().isAnonymous()) { hasKeyAxiomsByClass.put(axiom.getClassExpression().asOWLClass(), axiom); } }
@Override public void visit(OWLHasKeyAxiom axiom) { if (!axiom.getClassExpression().isAnonymous()) { hasKeyAxiomsByClass.remove(axiom.getClassExpression().asOWLClass(), axiom); } }
@Override public void visit(OWLHasKeyAxiom axiom) { if (!axiom.getClassExpression().isAnonymous()) { indexAxiomsByRHSEntities(axiom.getClassExpression().asOWLClass(), axiom); } } }
@Override public void visit(OWLClass cls) { add(axioms, ontology.axioms(cls).filter(this::threewayDisjoint)); add(axioms, ontology.axioms(HAS_KEY).filter(ax -> ax.getClassExpression().equals(cls))); }
@Override protected boolean isResettingChange(OWLOntologyChange change) { if (!change.isAxiomChange()) { return false; } OWLAxiom axiom = change.getAxiom(); if (axiom instanceof OWLHasKeyAxiom) { return ((OWLHasKeyAxiom) axiom).getClassExpression().equals(getRootObject()); } return false; }
@Override public void visit(OWLHasKeyAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getClassExpression(), OWL_HAS_KEY.getIRI(), axiom.propertyExpressions()); }
@Override public void visit(OWLHasKeyAxiom axiom) { addSingleTripleAxiom(axiom, axiom.getClassExpression(), OWL_HAS_KEY.getIRI(), axiom.propertyExpressions()); }
@Override public void visit(OWLHasKeyAxiom axiom) { process(axiom); axiom.getClassExpression().accept(this); axiom.objectPropertyExpressions().forEach(a -> a.accept(this)); axiom.dataPropertyExpressions().forEach(a -> a.accept(this)); }
@Override public OWLHasKeyAxiom visit(OWLHasKeyAxiom axiom) { return df .getOWLHasKeyAxiom(get(axiom.getClassExpression()), list(axiom.propertyExpressions()), anns(axiom)); }
@Override public OWLHasKeyAxiom visit(OWLHasKeyAxiom ax) { return df.getOWLHasKeyAxiom(t(ax.getClassExpression()), list(ax.propertyExpressions()), a(ax)); }
@Override public void visit(OWLHasKeyAxiom axiom) { axiom.getClassExpression().accept(this); renderBinaryKeyword(HAS_KEY); renderCollection(axiom.getPropertyExpressions(), ", "); renderAxiomAnnotations(axiom); }
@Override public void visit(OWLHasKeyAxiom ax) { obj = df.getOWLHasKeyAxiom(dup(ax.getClassExpression()), set(ax.propertyExpressions()), anns(ax)); }
@Override public void visit(OWLHasKeyAxiom axiom) { dl(() -> emptyProperties(axiom)); ql(() -> illegalAxiom()); rl(() -> nonSubClassRL(axiom.getClassExpression())); }
@Override public void visit(OWLHasKeyAxiom axiom) { setAxiomWriting(); axiom.getClassExpression().accept(this); write(HAS_KEY); write(axiom.objectPropertyExpressions(), COMMA, false); write(axiom.dataPropertyExpressions(), COMMA, false); }
/** * Builder initialized from an existing object. * * @param expected the existing object * @param df data factory */ public BuilderHasKey(OWLHasKeyAxiom expected, OWLDataFactory df) { this(df); withClass(expected.getClassExpression()).withAnnotations(expected.annotations()) .withItems(expected .dataPropertyExpressions()).withItems(expected.objectPropertyExpressions()); }
@Override public void visit(OWLHasKeyAxiom axiom) { setAxiomWriting(); axiom.getClassExpression().accept(this); write(HAS_KEY); write(axiom.objectPropertyExpressions(), COMMA, false); write(axiom.dataPropertyExpressions(), COMMA, false); }
@Override public void visit(OWLHasKeyAxiom axiom) { writer.writeStartElement(HAS_KEY); writeAnnotations(axiom); axiom.getClassExpression().accept(this); render(axiom.objectPropertyExpressions()); render(axiom.dataPropertyExpressions()); writer.writeEndElement(); }