@Override public OWLAxiom createAxiom(OWLObjectProperty s, OWLClassExpression o, Set<OWLAnnotation> anns) { return dataFactory.getOWLObjectPropertyRangeAxiom(s, o, anns); }
@Override public OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom) { return df.getOWLObjectPropertyRangeAxiom(axiom.getProperty(), axiom.getRange().accept(classVisitor)); }
@Override public OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom) { return df.getOWLObjectPropertyRangeAxiom(axiom.getProperty(), axiom.getRange().accept(classVisitor)); }
@Override public OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom) { return df.getOWLObjectPropertyRangeAxiom(axiom.getProperty(), axiom.getRange().accept(classVisitor)); }
@Override public OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom) { OWLClassExpression range = axiom.getRange(); OWLClassExpression newRange = range.accept(classVisitor); if (range.equals(newRange)) { return axiom; } return df.getOWLObjectPropertyRangeAxiom(axiom.getProperty(), newRange, getAnnotationsWithOptionalExpansionMarker(axiom)); }
@Override public OWLAxiom visit(OWLObjectPropertyRangeAxiom axiom) { OWLClassExpression range = axiom.getRange(); OWLClassExpression newRange = range.accept(classVisitor); if (range.equals(newRange)) { return axiom; } return df.getOWLObjectPropertyRangeAxiom(axiom.getProperty(), newRange, getAnnotationsWithOptionalExpansionMarker(axiom)); }
public OWLObjectPropertyRangeAxiom getAxiomWithoutAnnotations() { if(!isAnnotated()) { return this; } return getOWLDataFactory().getOWLObjectPropertyRangeAxiom(getProperty(), getRange()); }
@Override public void visit(OWLObjectPropertyRangeAxiom ax) { obj = df .getOWLObjectPropertyRangeAxiom(dup(ax.getProperty()), dup(ax.getRange()), anns(ax)); }
@Override public void visit(OWLObjectPropertyRangeAxiom ax) { obj = df .getOWLObjectPropertyRangeAxiom(dup(ax.getProperty()), dup(ax.getRange()), anns(ax)); }
public void visit(OWLObjectPropertyRangeAxiom axiom) { axiom.getProperty().accept(this); OWLObjectPropertyExpression prop = (OWLObjectPropertyExpression) obj; axiom.getRange().accept(this); OWLClassExpression range = (OWLClassExpression) obj; obj = dataFactory.getOWLObjectPropertyRangeAxiom(prop, range, duplicateAxiomAnnotations(axiom)); }
@Override public OWLObjectPropertyRangeAxiom visit(OWLObjectPropertyRangeAxiom axiom) { return df.getOWLObjectPropertyRangeAxiom(get(axiom.getProperty()), get(axiom.getRange()), anns(axiom)); }
private void translateAsObjectPropertyRange(IRI s, IRI p, IRI o) { OWLObjectPropertyExpression property = op(s); OWLClassExpression range = ce(o); add(df.getOWLObjectPropertyRangeAxiom(property, range, anns())); consume(s, p, o); } }
final public void Range() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop; OWLClassExpression rng; jj_consume_token(OPENPAR); jj_consume_token(RANGE); prop = RoleName(); rng = ConceptExpression(); jj_consume_token(CLOSEPAR); addAxiom( df.getOWLObjectPropertyRangeAxiom(prop, rng)); }
final public OWLPropertyAxiom ObjectPropertyRange() throws ParseException {OWLObjectPropertyExpression prop; OWLClassExpression range; Set<OWLAnnotation> axiomAnnos; jj_consume_token(OBJECTPROPERTYRANGE); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); range = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectPropertyRangeAxiom(prop, range, axiomAnnos); }
final public void Range() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop; OWLClassExpression rng; jj_consume_token(OPENPAR); jj_consume_token(RANGE); prop = RoleName(); rng = ConceptExpression(); jj_consume_token(CLOSEPAR); addAxiom( df.getOWLObjectPropertyRangeAxiom(prop, rng)); }
final public OWLPropertyAxiom ObjectPropertyRange() throws ParseException {OWLObjectPropertyExpression prop; OWLClassExpression range; Set<OWLAnnotation> axiomAnnos; jj_consume_token(OBJECTPROPERTYRANGE); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); range = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectPropertyRangeAxiom(prop, range, axiomAnnos); }
final public void Range() throws ParseException, KRSS2OWLParserException { OWLObjectProperty prop; OWLClassExpression rng; jj_consume_token(OPENPAR); jj_consume_token(RANGE); prop = RoleName(); rng = ConceptExpression(); jj_consume_token(CLOSEPAR); addAxiom( dataFactory.getOWLObjectPropertyRangeAxiom(prop, rng)); }
final public void Range() throws ParseException, KRSS2OWLParserException {OWLObjectProperty prop; OWLClassExpression rng; jj_consume_token(OPENPAR); jj_consume_token(RANGE); prop = RoleName(); rng = ConceptExpression(); jj_consume_token(CLOSEPAR); addAxiom( df.getOWLObjectPropertyRangeAxiom(prop, rng)); }
@Override public Object visit(OWLObjectPropertyRangeAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLObjectPropertyRangeAxiom(t(axiom.getProperty()), t(axiom .getRange()), t(axiom.annotations()))); }
@Override public Object visit(OWLObjectPropertyRangeAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLObjectPropertyRangeAxiom(t(axiom.getProperty()), t(axiom .getRange()), t(axiom.annotations()))); }