Package org.mindswap.pellet

Examples of org.mindswap.pellet.DependencySet.union()

85
86
87
88
89
90
91
92
93
94
95
         
          if( finalDS == null )
            continue;
         
      Set<ATermAppl> unfoldingDS = unfolding.getExplanation(); 
          finalDS = finalDS.union( ds, strategy.getABox().doExplanation() );
          finalDS = finalDS.union( unfoldingDS, strategy.getABox().doExplanation() );
         
      ATermAppl unfoldedConcept = unfolding.getResult();           
         
            if( log.isLoggable( Level.FINE ) && !node.hasType( unfoldedConcept ) )
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
          if( finalDS == null )
            continue;
         
      Set<ATermAppl> unfoldingDS = unfolding.getExplanation(); 
          finalDS = finalDS.union( ds, strategy.getABox().doExplanation() );
          finalDS = finalDS.union( unfoldingDS, strategy.getABox().doExplanation() );
         
      ATermAppl unfoldedConcept = unfolding.getResult();           
         
            if( log.isLoggable( Level.FINE ) && !node.hasType( unfoldedConcept ) )
                log.fine( "UNF : " + node + ", " + ATermUtils.toString(c) + " -> " + ATermUtils.toString( unfoldedConcept ) + " - " + finalDS );
View Full Code Here
172
173
174
175
176
177
178
179
180
181
182
            else {
                if( !role.isFunctional() || literal == null ) {
                    literal = strategy.getABox().addLiteral( ds );
                }
                else {
                  ds = ds.union( role.getExplainFunctional(), strategy.getABox().doExplanation()  );
                  ds = ds.union( edge.getDepends(), strategy.getABox().doExplanation()  );
                }
                strategy.addType( literal, c, ds );
            }
           
View Full Code Here
173
174
175
176
177
178
179
180
181
182
183
                if( !role.isFunctional() || literal == null ) {
                    literal = strategy.getABox().addLiteral( ds );
                }
                else {
                  ds = ds.union( role.getExplainFunctional(), strategy.getABox().doExplanation()  );
                  ds = ds.union( edge.getDepends(), strategy.getABox().doExplanation()  );
                }
                strategy.addType( literal, c, ds );
            }
           
            if( log.isLoggable( Level.FINE ) )
View Full Code Here
208
209
210
211
212
213
214
215
216
217
218
                        throw new InternalReasonerException( "Nominal " + c
                            + " is not found in the KB!" );
                }

                if( y.isMerged() ) {
                    ds = ds.union( y.getMergeDependency( true ), strategy.getABox().doExplanation() );

                    y = y.getSame();
                }

                strategy.addEdge( x, role, y, ds );
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
        for( int e = 0; e < edges.size(); e++ ) {
          Edge edgeToY = edges.edgeAt( e );
          Node y = edgeToY.getNeighbor( x );
          DependencySet finalDS = ds.union( edgeToY.getDepends(), strategy.getABox().doExplanation() );
          if( strategy.getABox().doExplanation() ) {
            finalDS = finalDS.union( r.getExplainTransitive().getExplain(), true );
            finalDS = finalDS.union( s.getExplainSubOrInv( edgeToY.getRole() ), true );
          }
         
          applyAllValues( x, r, y, allRC, finalDS );
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
          Edge edgeToY = edges.edgeAt( e );
          Node y = edgeToY.getNeighbor( x );
          DependencySet finalDS = ds.union( edgeToY.getDepends(), strategy.getABox().doExplanation() );
          if( strategy.getABox().doExplanation() ) {
            finalDS = finalDS.union( r.getExplainTransitive().getExplain(), true );
            finalDS = finalDS.union( s.getExplainSubOrInv( edgeToY.getRole() ), true );
          }
         
          applyAllValues( x, r, y, allRC, finalDS );

          if( x.isMerged() )
View Full Code Here
113
114
115
116
117
118
119
120
121
122
123
            }
     
      if( pred.isSubRoleOf( s ) ) {
        DependencySet finalDS = ds.union(  subj.getDepends( av ), strategy.getABox().doExplanation() );
        if( strategy.getABox().doExplanation() )
          finalDS = finalDS.union( s.getExplainSubOrInv( pred ).getExplain(), true );
               
        applyAllValues( subj, s, obj, c, finalDS );

        if( s.isTransitive() ) {
          ATermAppl allRC = ATermUtils.makeAllValues( s.getName(), c );
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
        if( s.isTransitive() ) {
          ATermAppl allRC = ATermUtils.makeAllValues( s.getName(), c );
          finalDS = ds.union( subj.getDepends( av ), strategy.getABox().doExplanation() );
          if( strategy.getABox().doExplanation() )
            finalDS = finalDS.union(  s.getExplainTransitive().getExplain(), true );
         
          applyAllValues( subj, s, obj, allRC, finalDS );
        }
      }
View Full Code Here
60
61
62
63
64
65
66
67
68
69
70
      final Edge e = it.next();
      final Role r = e.getRole();
      if( !r.isDatatypeRole() )
        continue;

      ds = ds.union( e.getDepends(), strategy.getABox().doExplanation() );

      final Literal l = (Literal) e.getTo();
      pending.add( l );

      Set<Literal> disj = ne.get( l );
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.