Package org.mindswap.pellet

Examples of org.mindswap.pellet.Literal

116
117
118
119
120
121
122
123
124
    index = i;
  }
 
  public Literal next() {
    findNext();
    Literal lit = abox.getLiteral(nodeList.get(index++));
   
    return lit;
  }
View Full Code Here
86
87
88
89
90
91
92
93
94
95
96
97
98
99
     
      if ( function.apply( newBinding.getABox(), arguments ) ) {
        VariableBinding newPartial = new VariableBinding( newBinding.getABox() );
        for ( int i = 0; i < arguments.length; i++ ) {
          AtomDObject arg = atom.getAllArguments().get( i );
          Literal result = arguments[ i ];
          Literal current = newBinding.get( arg );
         
          if ( current != null && !current.equals( result ) ) {
            // Oops, we overwrote an argument.
            if ( newBinding.get( arg ) != null )
              throw new InternalReasonerException( "General Function implementation overwrote one of its arguments!" );
            ABox.log.info( "Function results in multiple simultaneous values for variable" );
            return;
View Full Code Here
194
195
196
197
198
199
200
201
202
203
204
    for (ATermAppl xName : names) {
      for (ATermAppl yName : names) {
        for (ATermAppl zValue : values) {
          Individual xNode = kb.getABox().getIndividual(xName);
          Individual yNode = kb.getABox().getIndividual(yName);
          Literal zNode = kb.getABox().addLiteral(zValue);

          if (kb.hasPropertyValue(xName, dp2, zValue) && kb.hasPropertyValue(yName, dp2, zValue)) {
            binding = new VariableBinding(kb.getABox());
            binding.set(x, xNode);
            binding.set(y, yNode);
View Full Code Here
191
192
193
194
195
196
197
198
    ATermAppl expectedTerm =literal( expected );
    stringFunc( func, expectedTerm, args );
  }
 
  private void stringFunc( Function func, ATermAppl term, String... args ) {
    Literal expected = abox.addLiteral( term );
    stringFunc( func, expected, args );
  }
View Full Code Here
204
205
206
207
208
209
210
211
212
213
214
    }
    stringFunc( func, expected, litArgs );
  }
 
  private void stringFunc( Function func, Literal expected, Literal... args ) {
    Literal result = func.apply( abox, null, args );
    if ( expected == null  || result == null)
      assertEquals( "Unexpected function result.", expected, result );
    else
      assertTrue( "Unexcepted resturn value. Expected " + expected + " but saw " + result,
          ComparisonTesters.equal.test( new Literal[]{ expected, result } ) );
View Full Code Here
225
226
227
228
229
230
231
232
233
234
235
236
    return tester.test( litArgs );
  }

  @Test
  public void testBooleans() {
    Literal trueLit = abox.addLiteral( TermFactory.literal( true ) );
    Literal falseLit = abox.addLiteral( TermFactory.literal( false ) );

    generalFunc( BooleanOperators.booleanNot, trueLit, falseLit );
    generalFunc( BooleanOperators.booleanNot, falseLit, trueLit );

    assertFalse( BooleanOperators.booleanNot.apply( abox, new Literal[] { trueLit, trueLit } ) );
View Full Code Here
238
239
240
241
242
243
244
245
246
247
248
    assertFalse( BooleanOperators.booleanNot.apply( abox, new Literal[] { null, null } ) );
  }
 
  @Test
  public void testComparisons() {
    Literal l1, l2;

    l1 = abox.addLiteral( li_1 );
    l2 = abox.addLiteral( li0 );

    assertFalse( equal( l1, l2 ) );
View Full Code Here
TOP

Related Classes of org.mindswap.pellet.Literal

  • aterm.ATermAppl
  • com.clarkparsia.pellet.datatypes.DatatypeReasoner
  • com.clarkparsia.pellet.datatypes.test.DatatypeReasonerTests
  • com.clarkparsia.pellet.rules.builtins.DateTimeOperators$Date
  • com.clarkparsia.pellet.rules.builtins.DateTimeOperators$DateTime
  • com.clarkparsia.pellet.rules.builtins.DateTimeOperators$Duration
  • com.clarkparsia.pellet.rules.builtins.DateTimeOperators$Time
  • com.clarkparsia.pellet.rules.builtins.FunctionBuiltIn
  • com.clarkparsia.pellet.rules.builtins.FunctionBuiltIn$FunctionHelper
  • com.clarkparsia.pellet.rules.builtins.GeneralFunctionBuiltIn$GeneralFunctionHelper
    • 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.