Package org.mindswap.pellet

Examples of org.mindswap.pellet.DependencySet

422
423
424
425
426
427
428
429
430
431
432
        return;
      }

      absorbedAxioms.addAll( explain );

      DependencySet ds = new DependencySet( explain );
      while( list.hasNext() ) {
        ATermAppl nominal = list.next();     
        ATermAppl ind = (ATermAppl) nominal.getArgument( 0 );

        if( log.isLoggable( Level.FINE ) )
View Full Code Here
465
466
467
468
469
470
471
472
473
474
475
                + ATermUtils.toString( c ) );

          absorbedAxioms.addAll( explanation );

          kb.addIndividual( ind );
          kb.addType( ind, allInvPC, new DependencySet( explanation ) );

          return true;
        }
      }
View Full Code Here
258
259
260
261
262
263
264
265
266
267
268
          log.finer( "Absorb into " + ind + " with inverse of " + p + " for " + c );
       
        tbox.getAbsorbedAxioms().addAll( explanation );

        kb.addIndividual( ind );
        kb.addType( ind, allInvPC, new DependencySet( explanation ) );

        return true;
      }
    }
View Full Code Here
283
284
285
286
287
288
289
290
291
292
293
    if( log.isLoggable( Level.FINE ) )
      log.fine( "Absorb nominals: " + ATermUtils.toString( c ) + " " +  list );

    tbox.getAbsorbedAxioms().addAll( explain );

    DependencySet ds = new DependencySet( explain );
    while( !list.isEmpty() ) {
      ATermAppl nominal = (ATermAppl) list.getFirst();
      ATermAppl ind = (ATermAppl) nominal.getArgument( 0 );
      kb.addIndividual( ind );
      kb.addType( ind, c, ds );
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
      if( log.isLoggable( Level.FINE ) )
        log.fine( inferred.size() + " inferred fact(s)" );
     
      //need to add the inferred facts back to the tableau
      DependencySet ds = DependencySet.INDEPENDENT;
      for ( Fact f : inferred ) {
        ATermAppl pred = f.getElements().get( Compiler.PRED );
        ATermAppl subj = f.getElements().get( Compiler.SUBJ );
        ATermAppl obj =  f.getElements().get( Compiler.OBJ );
       
View Full Code Here
272
273
274
275
276
277
278
279
280
281
282
   * translated.
   */
  public com.clarkparsia.pellet.rules.rete.Rule translateRule(Rule rule) {
    com.clarkparsia.pellet.rules.rete.Rule reteRule;

    DependencySet ds = DependencySet.INDEPENDENT; // TODO Make DS for rule
    List<TermTuple> head = translateAtoms(rule.getHead(), ds);
    List<TermTuple> body = translateAtoms(rule.getBody(), ds);

    if (head == null || body == null) {
      if( log.isLoggable( Level.FINE ) )
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
    }

    public void visit(ClassAtom atom) {
      Pair<ATermAppl, DependencySet> arg = translateAtomObject(atom
          .getArgument());
      DependencySet mergedDS = ds;
      if (arg.second != DependencySet.INDEPENDENT)
        mergedDS = ds.union(arg.second, abox.doExplanation());

      result = new TermTuple(mergedDS, Compiler.TYPE, arg.first, atom
          .getPredicate());
View Full Code Here
160
161
162
163
164
165
166
167
168
169
170
    public void visit(DatavaluedPropertyAtom atom) {
      Pair<ATermAppl, DependencySet> arg1 = translateAtomObject(atom
          .getArgument1());
      Pair<ATermAppl, DependencySet> arg2 = translateAtomObject(atom
          .getArgument2());
      DependencySet mergedDS = ds;
      if (arg1.second != DependencySet.INDEPENDENT)
        mergedDS = ds.union(arg1.second, abox.doExplanation());
      if (arg2.second != DependencySet.INDEPENDENT)
        mergedDS = ds.union(arg2.second, abox.doExplanation());
View Full Code Here
175
176
177
178
179
180
181
182
183
184
185
    public void visit(DifferentIndividualsAtom atom) {
      Pair<ATermAppl, DependencySet> arg1 = translateAtomObject(atom
          .getArgument1());
      Pair<ATermAppl, DependencySet> arg2 = translateAtomObject(atom
          .getArgument2());
      DependencySet mergedDS = ds;
      if (arg1.second != DependencySet.INDEPENDENT)
        mergedDS = ds.union(arg1.second, abox.doExplanation());
      if (arg2.second != DependencySet.INDEPENDENT)
        mergedDS = ds.union(arg2.second, abox.doExplanation());
View Full Code Here
190
191
192
193
194
195
196
197
198
199
200
    public void visit(IndividualPropertyAtom atom) {
      Pair<ATermAppl, DependencySet> arg1 = translateAtomObject(atom
          .getArgument1());
      Pair<ATermAppl, DependencySet> arg2 = translateAtomObject(atom
          .getArgument2());
      DependencySet mergedDS = ds;
      if (arg1.second != DependencySet.INDEPENDENT)
        mergedDS = ds.union(arg1.second, abox.doExplanation());
      if (arg2.second != DependencySet.INDEPENDENT)
        mergedDS = ds.union(arg2.second, abox.doExplanation());
View Full Code Here
TOP

Related Classes of org.mindswap.pellet.DependencySet

  • com.clarkparsia.pellet.rules.ContinuousReteTransformer
  • com.clarkparsia.pellet.rules.ContinuousRulesStrategy
  • com.clarkparsia.pellet.rules.rete.AlphaEdgeNode
  • com.clarkparsia.pellet.rules.rete.AlphaTypeNode
  • com.clarkparsia.pellet.rules.rete.BetaNode
  • com.clarkparsia.pellet.rules.rete.Compiler
  • com.clarkparsia.pellet.rules.rete.Token$ArrayToken
  • com.clarkparsia.pellet.rules.rete.Token$ListToken
  • com.clarkparsia.pellet.rules.RuleAtomAsserter
  • com.clarkparsia.pellet.rules.RulesToReteTranslator
    • 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.