Package org.mindswap.pellet.exceptions

Examples of org.mindswap.pellet.exceptions.InternalReasonerException

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
112
113
114
115
116
117
118
                return dt.getValue( n );
            else
                n -= dt.size();
        }
       
        throw new InternalReasonerException( "No values for this datatype" );
    }
View Full Code Here
124
125
126
127
128
129
130
    }
    else if( kb.isDatatype( term ) )
      obj = factory.getOWLDataType( uri );

    if( obj == null )
      throw new InternalReasonerException( "Ontology does not contain: " + term );
  }
View Full Code Here
130
131
132
133
134
135
136
    public String getURI() {
         return null;
    }

    public ATermAppl getValue( int i ) {
        throw new InternalReasonerException( "No values for this datatype" );
    } 
View Full Code Here
518
519
520
521
522
523
524
          .getName() ) );
    if( kb.isIndividual( t ) )
      return factory.getSWRLAtomIndividualObject( (OWLIndividual) conceptConverter
          .convert( t ) );

    throw new InternalReasonerException( "Unrecognized term: " + t );
  }
View Full Code Here
529
530
531
532
533
534
535
          .getName() ) );
    else if( ATermUtils.isLiteral( t ) ) {
      return factory.getSWRLAtomConstantObject( (OWLConstant) conceptConverter.convert( t ) );
    }

    throw new InternalReasonerException( "Unrecognized term: " + t );
  }
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.