protected boolean isBottomDataRange(OWLDataRange dataRange) { return dataRange instanceof OWLDataComplementOf && ((OWLDataComplementOf)dataRange).getDataRange().isTopDatatype(); } }
@Override public boolean isQualified() { return !getFiller().isTopDatatype(); }
protected boolean isBottomDataRange(OWLDataRange dataRange) { return dataRange instanceof OWLDataComplementOf && ((OWLDataComplementOf)dataRange).getDataRange().isTopDatatype(); } }
public void visit(OWLDataPropertyRangeAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !signature.contains(axiom.getProperty().asOWLDataProperty()) || axiom.getRange().isTopDatatype(); break; case TOP_TOP: isLocal = axiom.getRange().isTopDatatype(); break; } }
public void visit(OWLDataAllValuesFrom desc) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isTopEquivalent = !signature.contains(desc.getProperty().asOWLDataProperty()) || desc.getFiller().isTopDatatype(); break; case TOP_TOP: isTopEquivalent = desc.getFiller().isTopDatatype(); break; } }
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !getSignature().contains(axiom.getProperty().asOWLDataProperty()) || axiom .getRange() .isTopDatatype(); break; case TOP_TOP: isLocal = axiom.getRange().isTopDatatype(); break; default: break; } }
@Override public void visit(OWLDataAllValuesFrom ce) { switch (getLocality()) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isTopEquivalent = !signature.contains(ce.getProperty().asOWLDataProperty()) || ce.getFiller() .isTopDatatype(); break; case TOP_TOP: isTopEquivalent = ce.getFiller().isTopDatatype(); break; default: break; } }
public OWLDataRange visit(OWLDataIntersectionOf range) { Set<OWLDataRange> newConjuncts=new HashSet<OWLDataRange>(); for (OWLDataRange dr : range.getOperands()) { OWLDataRange drSimplified=getSimplified(dr); if (drSimplified.isTopDatatype()) continue; else if (drSimplified instanceof OWLDataIntersectionOf) newConjuncts.addAll(((OWLDataIntersectionOf)drSimplified).getOperands()); else newConjuncts.add(drSimplified); } return m_factory.getOWLDataIntersectionOf(newConjuncts); } public OWLDataRange visit(OWLDataUnionOf range) {
@Override public void visit(OWLDataPropertyRangeAxiom axiom) { switch (localityCls) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isLocal = !getSignature().contains(axiom.getProperty().asOWLDataProperty()) || axiom .getRange() .isTopDatatype(); break; case TOP_TOP: isLocal = axiom.getRange().isTopDatatype(); break; default: break; } }
/** * @param expr data range to check * @return true iff EXPR is a top datatype or a built-in datatype; */ public boolean isTopOrBuiltInDataType(OWLDataRange expr) { return expr.isTopDatatype() || expr.isOWLDatatype() && expr.asOWLDatatype().isBuiltIn(); }
/** * @param expr data range to check * @return true iff EXPR is a top datatype or a built-in datatype; */ public boolean isTopOrBuiltInDataType(OWLDataRange expr) { return expr.isTopDatatype() || expr.isOWLDatatype() && expr.asOWLDatatype().isBuiltIn(); }
public OWLDataRange visit(OWLDataUnionOf range) { Set<OWLDataRange> newDisjuncts=new HashSet<OWLDataRange>(); for (OWLDataRange dr : range.getOperands()) { OWLDataRange drSimplified=getSimplified(dr); if (drSimplified.isTopDatatype()) return m_factory.getTopDatatype(); else if (drSimplified instanceof OWLDataUnionOf) newDisjuncts.addAll(((OWLDataUnionOf)drSimplified).getOperands()); else newDisjuncts.add(drSimplified); } return m_factory.getOWLDataUnionOf(newDisjuncts); } }
/** * @param expr data range to check * @return true iff EXPR is a top datatype or a built-in datatype; */ public boolean isTopOrBuiltInDataType(OWLDataRange expr) { return expr.isTopDatatype() || expr.isOWLDatatype() && expr.asOWLDatatype().isBuiltIn(); }
/** * @param expr data range to check * @return true iff EXPR is a top datatype or a built-in datatype; */ public boolean isTopOrBuiltInDataType(OWLDataRange expr) { return expr.isTopDatatype() || expr.isOWLDatatype() && expr.asOWLDatatype().isBuiltIn(); }
@NonNull @Override public Boolean visit(@NonNull OWLDataPropertyRangeAxiom axiom) { return axiom.getRange().isTopDatatype(); }
@Override public void visit(OWLDataAllValuesFrom ce) { switch (getLocality()) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isBottomEquivalent = false; break; case TOP_TOP: isBottomEquivalent = !getSignature().contains(ce.getProperty().asOWLDataProperty()) && !ce .getFiller().isTopDatatype(); break; default: break; } }
@Override public void visit(OWLDataAllValuesFrom ce) { switch (getLocality()) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isBottomEquivalent = false; break; case TOP_TOP: isBottomEquivalent = !getSignature().contains(ce.getProperty().asOWLDataProperty()) && !ce .getFiller().isTopDatatype(); break; default: break; } }
@Override public void visit(OWLDataAllValuesFrom ce) { switch (getLocality()) { case BOTTOM_BOTTOM: case TOP_BOTTOM: isBottomEquivalent = false; break; case TOP_TOP: isBottomEquivalent = !getSignature().contains(ce.getProperty().asOWLDataProperty()) && !ce .getFiller().isTopDatatype(); break; default: break; } }
@Override public OWLClassExpression visit(OWLDataAllValuesFrom d) { if (d.getFiller().isTopDatatype()) { return m_factory.getOWLThing(); } if (getSimplified(d.getFiller()).isTopDatatype()) return m_factory.getOWLThing(); else return m_factory.getOWLDataAllValuesFrom(d.getProperty(),getSimplified(d.getFiller())); } @Override
public OWLClassExpression visit(OWLDataAllValuesFrom d) { OWLDataRange filler=getSimplified(d.getFiller()); if (filler.isTopDatatype()) return m_factory.getOWLThing(); else return m_factory.getOWLDataAllValuesFrom(d.getProperty(),filler); } public OWLClassExpression visit(OWLDataHasValue d) {