Package org.mindswap.pellet.exceptions

Examples of org.mindswap.pellet.exceptions.InternalReasonerException

1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
            } 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
1716
1717
1718
1719
1720
1721
1722
1723
1724
1725
1726
    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
1750
1751
1752
1753
1754
1755
1756
1757
1758
1759
1760
1761
1762
1763
1764
1765
1766
1767
1768
1769
1770
1771
1772
1773
1774
1775
1776
1777
1778
1779
1780
1781
1782
1783
1784
1785
1786
1787
1788
        if (PelletOptions.INVALID_LITERAL_AS_INCONSISTENCY) {
          log.fine( msg );
          name = dataValue;
        } else {
          log.severe( msg );
          throw new InternalReasonerException( msg, e );
        }
      } catch( UnrecognizedDatatypeException e ) {
        final String msg = format(
            "Attempt to create a literal with an unrecognized datatype (%s): %s",
            dataValue, e.getMessage() );
        log.severe( msg );
        throw new InternalReasonerException( msg, e );
      }
    }

    Node node = getNode( name );
    if( node != null ) {
      if( node instanceof Literal ) {

        if( ((Literal) node).getValue() == null && PelletOptions.USE_COMPLETION_QUEUE ) {
          // added for completion queue
          QueueElement newElement = new QueueElement( node );
          this.completionQueue.add( newElement, NodeSelector.LITERAL );
        }

        if( getBranch() >= 0 && PelletOptions.TRACK_BRANCH_EFFECTS ) {
                  branchEffects.add( getBranch(), node.getName() );
                }

        return (Literal) node;
      }
            else {
              throw new InternalReasonerException(
            "Same term refers to both a literal and an individual: " + name );
            }
    }

    int remember = branch;
View Full Code Here
1839
1840
1841
1842
1843
1844
1845
1846
1847
1848
1849
    return ind;
  }

  private Individual addIndividual(ATermAppl x, Individual parent, DependencySet ds) {
    if( nodes.containsKey( x ) ) {
          throw new InternalReasonerException( "adding a node twice " + x );
        }

    setChanged( true );

    Individual n = new Individual( x, this, parent );
View Full Code Here
2227
2228
2229
2230
2231
2232
2233
2234
2235
2236
2237
2238
2239
            }
      ATermAppl notA = (ATermAppl) a.getArgument( 0 );

      if( node.hasType( notA ) ) {
        if( !node.hasType( a ) ) {
                  throw new InternalReasonerException( "Invalid type found: " + node + " "
              + " " + a + " " + node.debugString() + " " + node.depends );
                }
        throw new InternalReasonerException( "Clash found: " + node + " " + a + " "
            + node.debugString() + " " + node.depends );
      }
    }
  }
View Full Code Here
2246
2247
2248
2249
2250
2251
2252
2253
2254
2255
2256
2257
2258
2259
2260
2261
2262
2263
2264
2265
2266
2267
2268
2269
2270
2271
2272
2273
2274
2275
2276
2277
2278
2279
2280
2281
2282
2283
2284
2285
2286
2287
2288
2289
2290
2291
2292
2293
2294
2295
2296
2297
2298
2299
2300
2301
2302
2303
2304
2305
2306
2307
2308
2309
2310
2311
2312
2313
2314
2315
2316
2317
2318
2319
2320
2321
2322
2323
2324
2325
2326
   
    if( !node.isRoot() ) {
      EdgeList preds = node.getInEdges();
      boolean validPred = preds.size() == 1 || (preds.size() == 2 && preds.hasEdgeFrom( node ));
      if( !validPred ) {
              throw new InternalReasonerException( "Invalid blockable node: " + node + " "
            + node.getInEdges() );
            }

    }
    else if( node.isNominal() ) {
      ATermAppl nominal = ATermUtils.makeValue( node.getName() );
      if( !ATermUtils.isAnonNominal( node.getName() ) && !node.hasType( nominal ) ) {
              throw new InternalReasonerException( "Invalid nominal node: " + node + " "
            + node.getTypes() );
            }
    }

    for( Iterator<ATermAppl> i = node.getDepends().keySet().iterator(); i.hasNext(); ) {
      ATermAppl c = i.next();
      DependencySet ds = node.getDepends( c );
      if( ds.max() > branch || (!PelletOptions.USE_SMART_RESTORE && ds.getBranch() > branch) ) {
              throw new InternalReasonerException( "Invalid ds found: " + node + " " + c + " "
            + ds + " " + branch );
      // if( c.getAFun().equals( ATermUtils.VALUEFUN ) ) {
      // if( !PelletOptions.USE_PSEUDO_NOMINALS ) {
      // Individual z = getIndividual(c.getArgument(0));
      // if(z == null)
      // throw new InternalReasonerException("Nominal to non-existing
      // node: " + node + " " + c + " " + ds + " " + branch);
      // }
      // }
            }
    }
    for( Iterator<Node> i = node.getDifferents().iterator(); i.hasNext(); ) {
      Node ind = i.next();
      DependencySet ds = node.getDifferenceDependency( ind );
      if( ds.max() > branch || ds.getBranch() > branch ) {
              throw new InternalReasonerException( "Invalid ds: " + node + " != " + ind + " "
            + ds );
            }
      if( ind.getDifferenceDependency( node ) == null ) {
              throw new InternalReasonerException( "Invalid difference: " + node + " != " + ind
            + " " + ds );
            }
    }
    EdgeList edges = node.getOutEdges();
    for( int e = 0; e < edges.size(); e++ ) {
      Edge edge = edges.edgeAt( e );
      Node succ = edge.getTo();
      if( nodes.get( succ.getName() ) != succ ) {
              throw new InternalReasonerException( "Invalid edge to a non-existing node: " + edge
            + " " + nodes.get( succ.getName() ) + "("
            + nodes.get( succ.getName() ).hashCode() + ")" + succ + "("
            + succ.hashCode() + ")" );
            }
      if( !succ.getInEdges().hasEdge( edge ) ) {
              throw new InternalReasonerException( "Invalid edge: " + edge );
            }
      if( succ.isMerged() ) {
              throw new InternalReasonerException( "Invalid edge to a removed node: " + edge
            + " " + succ.isMerged() );
            }
      DependencySet ds = edge.getDepends();
      if( ds.max() > branch || ds.getBranch() > branch ) {
              throw new InternalReasonerException( "Invalid ds: " + edge + " " + ds );
            }
      EdgeList allEdges = node.getEdgesTo( succ );
      if( allEdges.getRoles().size() != allEdges.size() ) {
              throw new InternalReasonerException( "Duplicate edges: " + allEdges );
            }
    }
    edges = node.getInEdges();
    for( int e = 0; e < edges.size(); e++ ) {
      Edge edge = edges.edgeAt( e );
      DependencySet ds = edge.getDepends();
      if( ds.max() > branch || ds.getBranch() > branch ) {
              throw new InternalReasonerException( "Invalid ds: " + edge + " " + ds );
            }
    }
  }
View Full Code Here
2362
2363
2364
2365
2366
2367
2368
2369
2370
2371
2372
      System.err.println( " -> " + node.getMergedTo() + " "
          + node.getMergeDependency( false ) );
      return;
    }
    else if( node.isPruned() ) {
          throw new InternalReasonerException( "Pruned node: " + node );
        }


    System.err.print( " = " );
    for(int i = 0; i < Node.TYPES; i++) {
View Full Code Here
34
35
36
37
38
39
40
41
42
43
  private DependencySet  ds;
  private List<T>      elements;

  public Tuple(DependencySet ds, T... elementArgs) {
    if ( ds == null ) {
      throw new InternalReasonerException( "Null dependencyset argument to rete tuple" );
    }
    this.ds = ds;
    this.elements = Collections.unmodifiableList( Arrays.asList( elementArgs ) );
  }
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
        }
      }
    }

    if( best == -1 ) {
      throw new InternalReasonerException( "Cannot find a valid atom in " + atoms
          + " where explored=" + explored );
    }

    explored.add( best );
View Full Code Here
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
          break;
        case ALLFAST:
          execAllFastCore( oldQuery, binding, distVars, core.getUndistVars() );
          break;
        default:
          throw new InternalReasonerException( "Unknown core strategy." );
        }
      }

      break;
           
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.