@Override public OWLEquivalentDataPropertiesAxiom buildObject() { return df.getOWLEquivalentDataPropertiesAxiom(items, annotations); } }
@Override public OWLAxiom createAxiom(OWLDataProperty s, OWLDataPropertyExpression o, Set<OWLAnnotation> anns) { return dataFactory.getOWLEquivalentDataPropertiesAxiom(s, o, anns); }
@Override public OWLEquivalentDataPropertiesAxiom getAxiom(OWLDataProperty property, OWLDataProperty otherProperty) { return df.getOWLEquivalentDataPropertiesAxiom(property, otherProperty); } }
public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties( OWLDataPropertyExpression... properties) { return DF.getOWLEquivalentDataPropertiesAxiom(properties); }
public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties( Collection<OWLAnnotation> a, OWLDataPropertyExpression... properties) { return DF.getOWLEquivalentDataPropertiesAxiom(Arrays.asList(properties), a); }
public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties( Collection<OWLAnnotation> a, OWLDataPropertyExpression... properties) { return DF.getOWLEquivalentDataPropertiesAxiom(Arrays.asList(properties), a); }
public static OWLEquivalentDataPropertiesAxiom EquivalentDataProperties( Collection<OWLAnnotation> a, OWLDataPropertyExpression... properties) { return DF.getOWLEquivalentDataPropertiesAxiom(Arrays.asList(properties), a); }
@Override protected void getExistingAxioms() { SortedSet<OWLDataProperty> existingEquivalentProperties = reasoner.getEquivalentProperties(entityToDescribe); if (existingEquivalentProperties != null && !existingEquivalentProperties.isEmpty()) { for (OWLDataProperty eqProp : existingEquivalentProperties) { existingAxioms.add(df.getOWLEquivalentDataPropertiesAxiom(entityToDescribe, eqProp)); } logger.info("Existing axioms:" + existingAxioms); } }
@Override protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentDataPropertiesAxiom> result) { Set<OWLDataProperty> props = asUnorderedSet( reasoner.getEquivalentDataProperties(entity).entities()); props.add(entity); if (props.size() > 1) { result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props)); } }
@Override protected void addAxioms(OWLDataProperty entity, OWLReasoner reasoner, OWLDataFactory dataFactory, Set<OWLEquivalentDataPropertiesAxiom> result) { Set<OWLDataProperty> props = asUnorderedSet( reasoner.getEquivalentDataProperties(entity).entities()); props.add(entity); if (props.size() > 1) { result.add(dataFactory.getOWLEquivalentDataPropertiesAxiom(props)); } }
@Override public void visit(OWLEquivalentDataPropertiesAxiom axiom) { isLocal = false; if (pairs(axiom.properties()).map(v -> df.getOWLEquivalentDataPropertiesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
@Override public void visit(OWLEquivalentDataPropertiesAxiom axiom) { isLocal = false; if (pairs(axiom.properties()).map(v -> df.getOWLEquivalentDataPropertiesAxiom(v.i, v.j)) .anyMatch(ax -> !kernel.isEntailed(ax))) { return; } isLocal = true; }
@Override public void visit(OWLEquivalentDataPropertiesAxiom ax) { obj = df.getOWLEquivalentDataPropertiesAxiom(set(ax.properties()), anns(ax)); }
public boolean addEquivalentProperty(Property property) { return isChange(manager.addAxiom(onto, factory.getOWLEquivalentDataPropertiesAxiom(dataProp,convert((DatatypeProperty)property)))); } public boolean removeEquivalentProperty(Property property) {
final public OWLPropertyAxiom EquivalentDataProperties() throws ParseException {Set<OWLDataPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(EQUIVALENTDATAPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = DataPropertySet(); jj_consume_token(CLOSEPAR); return df.getOWLEquivalentDataPropertiesAxiom(props, axiomAnnos); }
final public OWLPropertyAxiom EquivalentDataProperties() throws ParseException { Set<OWLDataPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(EQUIVALENTDATAPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = DataPropertySet(); jj_consume_token(CLOSEPAR); return dataFactory.getOWLEquivalentDataPropertiesAxiom(props, axiomAnnos); }
@Override public Object visit(OWLEquivalentDataPropertiesAxiom axiom) { return visitAxiom(axiom, () -> df.getOWLEquivalentDataPropertiesAxiom(t(axiom.properties()), t(axiom .annotations()))); }
final public OWLPropertyAxiom EquivalentDataProperties() throws ParseException {Set<OWLDataPropertyExpression> props; Set<OWLAnnotation> axiomAnnos; jj_consume_token(EQUIVALENTDATAPROPERTIES); jj_consume_token(OPENPAR); axiomAnnos = AxiomAnnotationSet(); props = DataPropertySet(); jj_consume_token(CLOSEPAR); return df.getOWLEquivalentDataPropertiesAxiom(props, axiomAnnos); }
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 }