public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain( OWLObjectPropertyExpression property, OWLClassExpression domain) { return DF.getOWLObjectPropertyDomainAxiom(property, domain); }
public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain( OWLObjectPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> a) { return DF.getOWLObjectPropertyDomainAxiom(property, domain, a); }
public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain( OWLObjectPropertyExpression property, OWLClassExpression domain) { return DF.getOWLObjectPropertyDomainAxiom(property, domain); }
public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain( OWLObjectPropertyExpression property, OWLClassExpression domain) { return DF.getOWLObjectPropertyDomainAxiom(property, domain); }
public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain( OWLObjectPropertyExpression property, OWLClassExpression domain) { return DF.getOWLObjectPropertyDomainAxiom(property, domain); }
public static OWLObjectPropertyDomainAxiom ObjectPropertyDomain( OWLObjectPropertyExpression property, OWLClassExpression domain, Collection<OWLAnnotation> a) { return DF.getOWLObjectPropertyDomainAxiom(property, domain, a); }
@Override public OWLObjectPropertyDomainAxiom buildObject() { return df.getOWLObjectPropertyDomainAxiom(getProperty(), getDomain(), annotations); } }
@Override public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { OWLClassExpression domain = axiom.getDomain(); OWLClassExpression newDomain = domain.accept(classVisitor); if (domain.equals(newDomain)) { return axiom; } return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), newDomain, getAnnotationsWithOptionalExpansionMarker(axiom)); }
@Override public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { OWLClassExpression domain = axiom.getDomain(); OWLClassExpression newDomain = domain.accept(classVisitor); if (domain.equals(newDomain)) { return axiom; } return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), newDomain, getAnnotationsWithOptionalExpansionMarker(axiom)); }
@Override public OWLAxiom visit(OWLObjectPropertyDomainAxiom axiom) { return df.getOWLObjectPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
public OWLObjectPropertyDomainAxiom getAxiomWithoutAnnotations() { if(!isAnnotated()) { return this; } return getOWLDataFactory().getOWLObjectPropertyDomainAxiom(getProperty(), getDomain()); }
private void translateObjectPropertyDomain(IRI s, IRI p, IRI o) { add(df.getOWLObjectPropertyDomainAxiom(op(s), ce(o), anns())); consume(s, p, o); } }
@Override public OWLObjectPropertyDomainAxiom visit(OWLObjectPropertyDomainAxiom axiom) { return df.getOWLObjectPropertyDomainAxiom(get(axiom.getProperty()), get(axiom.getDomain()), anns(axiom)); }
@Override public void visit(OWLObjectPropertyDomainAxiom ax) { obj = df .getOWLObjectPropertyDomainAxiom(dup(ax.getProperty()), dup(ax.getDomain()), anns(ax)); }
final public OWLPropertyAxiom ObjectPropertyDomain() throws ParseException {OWLObjectPropertyExpression prop; OWLClassExpression desc; Set<OWLAnnotation> axiomAnnos; jj_consume_token(OBJECTPROPERTYDOMAIN); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); desc = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectPropertyDomainAxiom(prop, desc, axiomAnnos); }
final public OWLPropertyAxiom ObjectPropertyDomain() throws ParseException {OWLObjectPropertyExpression prop; OWLClassExpression desc; Set<OWLAnnotation> axiomAnnos; jj_consume_token(OBJECTPROPERTYDOMAIN); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = ObjectPropertyExpression(); desc = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLObjectPropertyDomainAxiom(prop, desc, axiomAnnos); }
@Override public Object visit(OWLObjectPropertyDomainAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLObjectPropertyDomainAxiom(t(axiom.getProperty()), t(axiom .getDomain()), t(axiom.annotations()))); }
@Override public void handle(String currentId, String value, String qualifierBlock, String comment) { OWLObjectProperty prop = getOWLObjectProperty(getConsumer().getCurrentId()); OWLClass cls = getOWLClass(value); applyChange(new AddAxiom(getOntology(), getDataFactory().getOWLObjectPropertyDomainAxiom(prop, cls))); } }