/** * Gets the set of data property expressions that make up the key. This is simply a convenience * method that filteres out the data property expressions in the key. All of the properties * returned by this method are included in the return value of the * {@link OWLHasKeyAxiom#getPropertyExpressions()} method. * * @return The set of object property expressions in the key described by this axiom */ default Stream<OWLDataPropertyExpression> dataPropertyExpressions() { return propertyExpressions().filter(OWLPropertyExpression::isDataPropertyExpression) .map(OWLPropertyExpression::asDataPropertyExpression); }
/** * Gets the set of object property expressions that make up the key. This is simply a * convenience method that filteres out the object property expressions in the key. All of the * properties returned by this method are included in the return value of the * {@link OWLHasKeyAxiom#getPropertyExpressions()} method. * * @return The set of object property expressions in the key described by this axiom */ default Stream<OWLObjectPropertyExpression> objectPropertyExpressions() { return propertyExpressions().filter(OWLPropertyExpression::isObjectPropertyExpression) .map(OWLPropertyExpression::asObjectPropertyExpression); }
/** * Gets the set of object property expressions that make up the key. This is simply a * convenience method that filteres out the object property expressions in the key. All of the * properties returned by this method are included in the return value of the * {@link OWLHasKeyAxiom#getPropertyExpressions()} method. * * @return The set of object property expressions in the key described by this axiom */ default Stream<OWLObjectPropertyExpression> objectPropertyExpressions() { return propertyExpressions().filter(OWLPropertyExpression::isObjectPropertyExpression) .map(OWLPropertyExpression::asObjectPropertyExpression); }
/** * Gets the set of object property expressions that make up the key. This is simply a * convenience method that filteres out the object property expressions in the key. All of the * properties returned by this method are included in the return value of the * {@link OWLHasKeyAxiom#getPropertyExpressions()} method. * * @return The set of object property expressions in the key described by this axiom */ default Stream<OWLObjectPropertyExpression> objectPropertyExpressions() { return propertyExpressions().filter(OWLPropertyExpression::isObjectPropertyExpression) .map(OWLPropertyExpression::asObjectPropertyExpression); }
/** * Gets the set of data property expressions that make up the key. This is simply a convenience * method that filteres out the data property expressions in the key. All of the properties * returned by this method are included in the return value of the * {@link OWLHasKeyAxiom#getPropertyExpressions()} method. * * @return The set of object property expressions in the key described by this axiom */ default Stream<OWLDataPropertyExpression> dataPropertyExpressions() { return propertyExpressions().filter(OWLPropertyExpression::isDataPropertyExpression) .map(OWLPropertyExpression::asDataPropertyExpression); }
/** * Gets the set of property expressions that form the key. * * @return The set of property expression that form the key * @deprecated use the stream method */ @Deprecated default Set<OWLPropertyExpression> getPropertyExpressions() { return asSet(propertyExpressions()); }
/** * Gets the set of property expressions that form the key. * * @return The set of property expression that form the key * @deprecated use the stream method */ @Deprecated default Set<OWLPropertyExpression> getPropertyExpressions() { return asSet(propertyExpressions()); }
/** * Gets the set of property expressions that form the key. * * @return The set of property expression that form the key * @deprecated use the stream method */ @Deprecated default Set<OWLPropertyExpression> getPropertyExpressions() { return asSet(propertyExpressions()); }
@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 OWLHasKeyAxiom visit(OWLHasKeyAxiom axiom) { return df .getOWLHasKeyAxiom(get(axiom.getClassExpression()), list(axiom.propertyExpressions()), anns(axiom)); }
@Override public void visit(OWLHasKeyAxiom ax) { obj = df.getOWLHasKeyAxiom(dup(ax.getClassExpression()), set(ax.propertyExpressions()), anns(ax)); }
@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 OWLHasKeyAxiom visit(OWLHasKeyAxiom ax) { return df.getOWLHasKeyAxiom(t(ax.getClassExpression()), list(ax.propertyExpressions()), a(ax)); }
@Override public void visit(OWLHasKeyAxiom ax) { obj = df.getOWLHasKeyAxiom(dup(ax.getClassExpression()), set(ax.propertyExpressions()), anns(ax)); }
@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 Object visit(OWLHasKeyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLHasKeyAxiom(t(axiom.getClassExpression()), t(axiom .propertyExpressions()), t(axiom.annotations()))); }
@Override public Object visit(OWLHasKeyAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLHasKeyAxiom(t(axiom.getClassExpression()), t(axiom .propertyExpressions()), t(axiom.annotations()))); }