Examples of com.clarkparsia.pellet.datatypes.DatatypeReasoner.containsAtLeast()

Package com.clarkparsia.pellet.datatypes

Class com.clarkparsia.pellet.datatypes.DatatypeReasoner

Examples of com.clarkparsia.pellet.datatypes.DatatypeReasoner.containsAtLeast()

com.clarkparsia.pellet.datatypes.DatatypeReasoner.containsAtLeast()
Check that the intersection of a collection of data ranges contains a minimum number of elements. @param n the minimum number of elements @param ranges the data ranges to intersect @return true if the intersection of rangescontains at least n elements, false else

          reportClash( Clash.valueDatatype( this, ds, (ATermAppl) atermValue.getArgument(0), dt[0] ) );
        }
      }
      else {
        if( dtReasoner.isSatisfiable( types ) ) {
          if ( !dtReasoner.containsAtLeast( 2, types ) ) {
            /*
             * This literal is a variable, but given current ranges can only
             * take on a single value.  Merge with that value.
             */
            final Object value = dtReasoner.valueIterator( types ).next();

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.