public OWLSubDataPropertyOfAxiom createOWLSubDataPropertyOfAxiom(OWLDataPropertyExpression child, OWLDataPropertyExpression parent) { return owlDataFactory.getOWLSubDataPropertyOfAxiom(child, parent); }
@Override public OWLSubDataPropertyOfAxiom getAxiom(OWLDataProperty property, OWLDataProperty otherProperty) { return df.getOWLSubDataPropertyOfAxiom(property, otherProperty); } }
public static OWLSubDataPropertyOfAxiom SubDataPropertyOf(OWLDataPropertyExpression subProperty, OWLDataPropertyExpression superProperty) { return DF.getOWLSubDataPropertyOfAxiom(subProperty, superProperty); }
@Override protected Set<? extends OWLAxiom> createParentPlacementAxioms(OWLDataProperty freshEntity, ChangeGenerationContext context, ImmutableSet<OWLDataProperty> parents) { return parents.stream() .map(parent -> dataFactory.getOWLSubDataPropertyOfAxiom(freshEntity, parent)) .collect(toSet()); } }
@Nonnull @Override public Optional<OWLAxiom> visit(@Nonnull OWLDataProperty property) { return strategy.getDeprecatedDataPropertyParentIri() .map(parent -> dataFactory.getOWLSubDataPropertyOfAxiom(property, dataFactory.getOWLDataProperty(parent))); }
@Override protected OWLAxiom createAxiom() throws OWLXMLParserException { return getOWLDataFactory().getOWLSubDataPropertyOfAxiom(subProperty, superProperty, getAnnotations()); } }
@Override protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLSubDataPropertyOfAxiom> result) { checkNotNull(dataFactory, "dataFactory cannot be null"); checkNotNull(reasoner, "reasoner cannot be null"); checkNotNull(result, "result cannot be null"); checkNotNull(entity, "entity cannot be null"); reasoner.getSuperDataProperties(entity, true).entities() .forEach(sup -> result.add(dataFactory.getOWLSubDataPropertyOfAxiom(entity, sup))); }
@Override protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLSubDataPropertyOfAxiom> result) { checkNotNull(dataFactory, "dataFactory cannot be null"); checkNotNull(reasoner, "reasoner cannot be null"); checkNotNull(result, "result cannot be null"); checkNotNull(entity, "entity cannot be null"); reasoner.getSuperDataProperties(entity, true).entities() .forEach(sup -> result.add(dataFactory.getOWLSubDataPropertyOfAxiom(entity, sup))); }
@Override public OWLSubDataPropertyOfAxiom buildObject() { return df.getOWLSubDataPropertyOfAxiom(verifyNotNull(getSub()), verifyNotNull(getSup()), annotations); } }
private void translateSubDataProperty(IRI s, IRI p, IRI o) { // Data - Data add(df.getOWLSubDataPropertyOfAxiom(dp(s), dp(o), anns())); consume(s, p, o); } }
@Override public OWLSubDataPropertyOfAxiom visit(OWLSubDataPropertyOfAxiom axiom) { return df.getOWLSubDataPropertyOfAxiom(get(axiom.getSubProperty()), get(axiom.getSuperProperty()), anns(axiom)); }
public void visit(OWLSubDataPropertyOfAxiom axiom) { axiom.getSubProperty().accept(this); OWLDataPropertyExpression subProp = (OWLDataPropertyExpression) obj; axiom.getSuperProperty().accept(this); OWLDataPropertyExpression supProp = (OWLDataPropertyExpression) obj; obj = dataFactory.getOWLSubDataPropertyOfAxiom(subProp, supProp, duplicateAxiomAnnotations(axiom)); }
private void translateSubDataProperty(IRI s, IRI p, IRI o) { // Data - Data add(df.getOWLSubDataPropertyOfAxiom(dp(s), dp(o), anns())); consume(s, p, o); } }
@Override public void visit(OWLSubDataPropertyOfAxiom ax) { obj = df.getOWLSubDataPropertyOfAxiom(dup(ax.getSubProperty()), dup(ax.getSuperProperty()), anns(ax)); }
@Override public OWLSubDataPropertyOfAxiom visit(OWLSubDataPropertyOfAxiom ax) { return df.getOWLSubDataPropertyOfAxiom(t(ax.getSubProperty()), t(ax.getSuperProperty()), a(ax)); }
@Override public OWLSubDataPropertyOfAxiom visit(OWLSubDataPropertyOfAxiom ax) { return df.getOWLSubDataPropertyOfAxiom(t(ax.getSubProperty()), t(ax.getSuperProperty()), a(ax)); }
@Override public void visit(OWLSubDataPropertyOfAxiom ax) { obj = df.getOWLSubDataPropertyOfAxiom(dup(ax.getSubProperty()), dup(ax.getSuperProperty()), anns(ax)); }
final public OWLPropertyAxiom SubDataPropertyOf() throws ParseException {OWLDataPropertyExpression subProperty; OWLDataPropertyExpression superProperty; Set<OWLAnnotation> axiomAnnos; jj_consume_token(SUBDATAPROPERTYOF); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); subProperty = DataPropertyExpression(); superProperty = DataPropertyExpression(); jj_consume_token(CLOSEPAR); return df.getOWLSubDataPropertyOfAxiom(subProperty, superProperty, axiomAnnos); }
@Override public Object visit(OWLSubDataPropertyOfAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLSubDataPropertyOfAxiom(t(axiom.getSubProperty()), t(axiom .getSuperProperty()), 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 }