Examples of org.mindswap.pellet.exceptions.InternalReasonerException

org.mindswap.pellet.exceptions.InternalReasonerException

      // if there is no edge coming into the node that is
      // going to be merged then it is not possible that
      // they are affected by the cardinality restriction
      // just die instead of possibly unsound results
      if(!yEdge || !zEdge)
          throw new InternalReasonerException( 
              "An error occurred related to the max cardinality restriction about "  + r);
      
      // if the neighbor nodes did not have the qualification
      // in their type list they would have not been affected
      // by the cardinality restriction. so this merges depends

View Full Code Here

      m_Expressivity.setHasReflexivity(true);
      m_Expressivity.setHasIrreflexivity(true);
    }


    public void visitSubClass(ATermAppl term) {
      throw new InternalReasonerException( "This function should never be called: " + term );
    }

View Full Code Here


  public boolean putSat(ATermAppl c, boolean isSatisfiable) {
    CachedNode cached = get( c );
    if( cached != null ) {
      if( isSatisfiable != !cached.isBottom() )
        throw new InternalReasonerException( "Caching inconsistent results for " + c );
      return false;
    }
    else if( isSatisfiable ) {
      put( c, CachedNodeFactory.createSatisfiableNode() );
    }

View Full Code Here

    }
    
    // this code is not unreachable. if there are no branches left restore does not call this 
    // function, and the loop immediately returns when there are no branches left in this
    // disjunction. If this exception is thrown it shows a bug in the code.
    throw new InternalReasonerException("This exception should not be thrown!");
  }

View Full Code Here

    for( Absorption absorption : absorptions ) {
      if( absorption.absorb( terms, explanation ) )
        return;
    }
    
    throw new InternalReasonerException( "Absorption failed");
  }

View Full Code Here

    
    public boolean removeInEdge(Edge edge) {
        boolean removed = inEdges.removeEdge(edge);
        
        if( !removed ){
         throw new InternalReasonerException("Trying to remove a non-existing edge " + edge);           
        }
        
        return true;
    }

View Full Code Here

    return restored;
  }
  
  public void addType(ATermAppl c, DependencySet ds) {
      if( isPruned() )
          throw new InternalReasonerException( "Adding type to a pruned node " + this + " " + c );
      else if( isMerged() )
          return;
      
      // add to effected list
      if( abox.getBranch() >= 0 && PelletOptions.TRACK_BRANCH_EFFECTS ) {

View Full Code Here

           }
           else
               valueSpace.succ( last.start(), n );            
        }


        throw new InternalReasonerException( "This interval does not have " + n + " values"  );
      }

View Full Code Here

            } catch( DatatypeReasonerException e ) {
              final String msg = format(
                  "Unexpected datatype reasoner exception while fetching property values (%s,%s,%s): %s",
                  s, role, datatype, e.getMessage() );
              log.severe( msg );
              throw new InternalReasonerException( msg );
            }
          }
        }


        if( isIndependent && ds.isIndependent() ) {

View Full Code Here

    return lit;
  }


  public Literal addLiteral(ATermAppl dataValue, DependencySet ds) {
    if( dataValue == null || !ATermUtils.isLiteral( dataValue ) ) {
          throw new InternalReasonerException( "Invalid value to create a literal. Value: "
          + dataValue );
        }


    return createLiteral( dataValue, ds );
  }

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of org.mindswap.pellet.exceptions.InternalReasonerException

com.clarkparsia.pellet.el.ELSyntaxUtils

com.clarkparsia.pellet.expressivity.DLExpressivityChecker$Visitor

com.clarkparsia.pellet.owlapiv3.AxiomConverter

com.clarkparsia.pellet.owlapiv3.ConceptConverter

com.clarkparsia.pellet.owlapiv3.PelletLoader

com.clarkparsia.pellet.owlapiv3.PelletReasoner

com.clarkparsia.pellet.rules.builtins.GeneralFunctionBuiltIn$GeneralFunctionHelper

com.clarkparsia.pellet.rules.builtins.NumberToLiteralVisitor

com.clarkparsia.pellet.rules.builtins.NumericComparisonVisitor

com.clarkparsia.pellet.rules.builtins.NumericPromotion

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.