public void visit(OWLDataSomeValuesFrom object) {
   if (!object.getProperty().isOWLBottomDataProperty()) {
     AtomicRole atomicRole = getAtomicRole(object.getProperty());
     OWLDataRange filler = object.getFiller();
     if (filler instanceof OWLDataOneOf) {
       for (OWLLiteral lit : ((OWLDataOneOf) filler).getValues()) {
         LiteralDataRange literalRange =
             m_dataRangeConverter.convertDataRange(m_factory.getOWLDataOneOf(lit));
         AtLeastDataRange atLeastDataRange =
             AtLeastDataRange.create(1, atomicRole, literalRange);
         if (!atLeastDataRange.isAlwaysFalse())
           m_headAtoms.add(Atom.create(atLeastDataRange, X));
       }
     } else {
       LiteralDataRange literalRange = m_dataRangeConverter.convertDataRange(object.getFiller());
       AtLeastDataRange atLeastDataRange = AtLeastDataRange.create(1, atomicRole, literalRange);
       if (!atLeastDataRange.isAlwaysFalse()) m_headAtoms.add(Atom.create(atLeastDataRange, X));
     }
   }
 }
 public void visit(OWLDataMinCardinality object) {
   if (!object.getProperty().isOWLBottomDataProperty() || object.getCardinality() == 0) {
     AtomicRole atomicRole = getAtomicRole(object.getProperty());
     if (object.getCardinality() == 1) {
       m_factory.getOWLDataSomeValuesFrom(object.getProperty(), object.getFiller()).accept(this);
       // if the cardinality is more than one then we don't make the disjunction explicit because
       // of how we are going
       // to overapproximate it (also, making the disjunction explicitly would be exponential)
     } else {
       LiteralDataRange literalRange = m_dataRangeConverter.convertDataRange(object.getFiller());
       AtLeastDataRange atLeast =
           AtLeastDataRange.create(object.getCardinality(), atomicRole, literalRange);
       if (!atLeast.isAlwaysFalse()) m_headAtoms.add(Atom.create(atLeast, X));
     }
   }
 }