@Override public OWLAxiom createAxiom(OWLDataProperty s, OWLClassExpression o, Set<OWLAnnotation> anns) { return dataFactory.getOWLDataPropertyDomainAxiom(s, o, anns); }
@Override public OWLDataPropertyDomainAxiom buildObject() { return df.getOWLDataPropertyDomainAxiom(getProperty(), getDomain(), annotations); } }
@Override public OWLDataPropertyDomainAxiom buildObject() { return df.getOWLDataPropertyDomainAxiom(getProperty(), getDomain(), annotations); } }
@Override public OWLDataPropertyDomainAxiom buildObject() { return df.getOWLDataPropertyDomainAxiom(getProperty(), getDomain(), annotations); } }
@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression domain = axiom.getDomain(); OWLClassExpression newDomain = domain.accept(classVisitor); if (domain.equals(newDomain)) { return axiom; } return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), newDomain, getAnnotationsWithOptionalExpansionMarker(axiom)); }
@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression domain = axiom.getDomain(); OWLClassExpression newDomain = domain.accept(classVisitor); if (domain.equals(newDomain)) { return axiom; } return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), newDomain, getAnnotationsWithOptionalExpansionMarker(axiom)); }
@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), axiom.getDomain().accept(classVisitor)); }
@Override public OWLAxiom visit(OWLDataPropertyDomainAxiom axiom) { OWLClassExpression domain = axiom.getDomain(); OWLClassExpression newDomain = domain.accept(classVisitor); if (domain.equals(newDomain)) { return axiom; } return df.getOWLDataPropertyDomainAxiom(axiom.getProperty(), newDomain, getAnnotationsWithOptionalExpansionMarker(axiom)); }
@Override public void visit(OWLDataPropertyDomainAxiom ax) { obj = df .getOWLDataPropertyDomainAxiom(dup(ax.getProperty()), dup(ax.getDomain()), anns(ax)); }
@Override public OWLDataPropertyDomainAxiom visit(OWLDataPropertyDomainAxiom axiom) { return df.getOWLDataPropertyDomainAxiom(get(axiom.getProperty()), get(axiom.getDomain()), anns(axiom)); }
@Override public OWLDataPropertyDomainAxiom visit(OWLDataPropertyDomainAxiom axiom) { return df.getOWLDataPropertyDomainAxiom(get(axiom.getProperty()), get(axiom.getDomain()), anns(axiom)); }
@Override public void visit(OWLDataPropertyDomainAxiom ax) { obj = df .getOWLDataPropertyDomainAxiom(dup(ax.getProperty()), dup(ax.getDomain()), anns(ax)); }
final public OWLPropertyAxiom DataPropertyDomain() throws ParseException {OWLDataPropertyExpression prop; OWLClassExpression domain; Set<OWLAnnotation> axiomAnnos; jj_consume_token(DATAPROPERTYDOMAIN); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = DataPropertyExpression(); domain = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLDataPropertyDomainAxiom(prop, domain, axiomAnnos); }
private void translateDataPropertyDomain(IRI subject, IRI predicate, IRI object) throws OWLOntologyChangeException { addAxiom(getDataFactory().getOWLDataPropertyDomainAxiom(translateDataProperty(subject), translateClassExpression(object), getPendingAnnotations())); consumeTriple(subject, predicate, object); }
final public OWLPropertyAxiom DataPropertyDomain() throws ParseException { OWLDataPropertyExpression prop; OWLClassExpression domain; Set<OWLAnnotation> axiomAnnos; jj_consume_token(DATAPROPERTYDOMAIN); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = DataPropertyExpression(); domain = ClassExpression(); jj_consume_token(CLOSEPAR); return dataFactory.getOWLDataPropertyDomainAxiom(prop, domain, axiomAnnos); }
final public OWLPropertyAxiom DataPropertyDomain() throws ParseException {OWLDataPropertyExpression prop; OWLClassExpression domain; Set<OWLAnnotation> axiomAnnos; jj_consume_token(DATAPROPERTYDOMAIN); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); prop = DataPropertyExpression(); domain = ClassExpression(); jj_consume_token(CLOSEPAR); return df.getOWLDataPropertyDomainAxiom(prop, domain, axiomAnnos); }
@Override public Object visit(OWLDataPropertyDomainAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLDataPropertyDomainAxiom(t(axiom.getProperty()), t(axiom .getDomain()), t(axiom.annotations()))); }
private void initialiseDataPropertyFrameSections() { //@formatter:off initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), SUB_PROPERTY_OF, (s, o, anns) -> df.getOWLSubDataPropertyOfAxiom(s, o, anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), EQUIVALENT_TO, (s, o, anns) -> df.getOWLEquivalentDataPropertiesAxiom(s,o, anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), DISJOINT_WITH, (s, o, anns) -> df.getOWLDisjointDataPropertiesAxiom(s,o, anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLClassExpression>(x -> parseUnion(), DOMAIN, (s, o, anns) -> df.getOWLDataPropertyDomainAxiom(s, o, anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataRange>(x -> parseDataRange(), RANGE, (s, o, anns) -> df.getOWLDataPropertyRangeAxiom(s, o, anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyCharacteristicAxiom>(this::parseDataPropertyCharacteristic, CHARACTERISTICS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> df.getOWLAnnotationAssertionAxiom(s.getIRI(), o, anns)), dataPropertyFrameSections); //@formatter:on }
private void initialiseDataPropertyFrameSections() { //@formatter:off initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), SUB_PROPERTY_OF, (s, o, anns) -> df.getOWLSubDataPropertyOfAxiom(s, o, anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), EQUIVALENT_TO, (s, o, anns) -> df.getOWLEquivalentDataPropertiesAxiom(s,o, anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyExpression>(x -> parseDataProperty(), DISJOINT_WITH, (s, o, anns) -> df.getOWLDisjointDataPropertiesAxiom(s,o, anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLClassExpression>(x -> parseUnion(), DOMAIN, (s, o, anns) -> df.getOWLDataPropertyDomainAxiom(s, o, anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataRange>(x -> parseDataRange(), RANGE, (s, o, anns) -> df.getOWLDataPropertyRangeAxiom(s, o, anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLDataPropertyCharacteristicAxiom>(this::parseDataPropertyCharacteristic, CHARACTERISTICS, (s, o, anns) -> o.getAnnotatedAxiom(anns)), dataPropertyFrameSections); initialiseSection(new AnnAxiom<OWLDataProperty, OWLAnnotation>(x -> parseAnnotation(), ANNOTATIONS, (s, o, anns) -> df.getOWLAnnotationAssertionAxiom(s.getIRI(), o, anns)), dataPropertyFrameSections); //@formatter:on }