Package org.mindswap.pellet.exceptions

Examples of org.mindswap.pellet.exceptions.InternalReasonerException

78
79
80
81
82
83
84
85
86
87
88
  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
873
874
875
876
877
878
879
880
881
882
883
      }
      else if (y instanceof Individual && z instanceof Individual) {
        mergeIndividuals((Individual) y, (Individual) z, ds);
      }
      else {
        throw new InternalReasonerException("Invalid merge operation!");
      }
    }

    merging = false;
    mergeAll();
View Full Code Here
164
165
166
167
168
169
170
171
172
173
            strategy.getABox().setClash( Clash.minMax( x, ds ) );
            return;
          }
        } catch( DatatypeReasonerException e ) {
          // TODO Better Error Handling
          throw new InternalReasonerException( e );
        }
      }
    }
  }
View Full Code Here
149
150
151
152
153
154
155
156
157
158
159
      // 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
127
128
129
130
131
132
133
134
135
136
137
   
    final List<Query> queries = split( preprocessed );

    QueryResult r = null;
    if( queries.isEmpty() ) {
      throw new InternalReasonerException( "Splitting query returned no results!" );
    }
    else if( queries.size() == 1 ) {
      r = execSingleQuery( queries.get( 0 ) );
    }
    else {
View Full Code Here
785
786
787
788
789
790
791
792
793
794
795
      } catch( DatatypeReasonerException e ) {
        final String msg = format(
            "Unexpected datatype reasoner exception while checking if literal (%s) is in datarange (%s): %s ",
            l, d, e.getMessage() );
        log.severe( msg );
        throw new InternalReasonerException( msg, e );
      }

    default:
      throw new IllegalArgumentException( "Unknown atom type : " + atom.getPredicate() );
    }
View Full Code Here
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
        ATerm p = arg.getArgument( 0 );
        ATerm c = arg.getArgument( 1 );
        newterm = ATermUtils.makeSomeValues( p, nnf( makeNot( c ) ) );
      }
      else {
        throw new InternalReasonerException( "Unknown term type: " + term );
      }
    }
    else if( af.equals( ATermUtils.MINFUN ) || af.equals( ATermUtils.MAXFUN )
        || af.equals( ATermUtils.SELFFUN ) ) {
      newterm = term;
View Full Code Here
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
          normalize( (ATermAppl) arg3 ) ) );
      ATermAppl normMax = normalize( makeMax( arg1, ((ATermInt) arg2).getInt(), arg3 ) );
      norm = simplify( makeAnd( normMin, normMax ) );
    }
        else {
          throw new InternalReasonerException( "Unknown concept type: " + term );
        }

    return norm;
  }
View Full Code Here
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
      if( n.getInt() > 0 && arg3.equals( ATermUtils.BOTTOM ) ) {
              simp = TOP;
            }
    }
        else {
          throw new InternalReasonerException( "Unknown term type: " + term );
        }

    return simp;
  }
View Full Code Here
1545
1546
1547
1548
1549
1550
1551
1552
1553
      else if( fun.equals( MAXFUN ) || fun.equals( MINFUN ) || fun.equals( CARDFUN ) ) {
        ATermAppl arg = (ATermAppl) term.getArgument( 2 );
        findPrimitives( arg, primitives, skipRestrictions, false );
      }
            else {
              throw new InternalReasonerException( "Unknown concept type: " + term );
            }
    }
  }
View Full Code Here
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
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.