Package org.mindswap.pellet

Examples of org.mindswap.pellet.Literal

187
188
189
190
191
192
193
194
195
      if ( args.length != 1 )
        return null;
     
      String val = ATermUtils.getLiteralValue( args[0].getTerm() );
      String length = Integer.toString( val.length() );
      Literal result = abox.addLiteral( ATermUtils.makeTypedLiteral( length, Namespaces.XSD + "integer" ) );
     
      return expectedIfEquals( expected, result );
    }
View Full Code Here
315
316
317
318
319
320
321
322
323
324
325
326
327
        if ( atom.getAllArguments().size() < 3 ) {
          tokens = null;
          return;
        }
       
        Literal matchLit = newBinding.get( atom.getAllArguments().get( 0 ) );
        if ( matchLit != null ) {
          match = ATermUtils.getLiteralValue( matchLit.getTerm() );
        }
       
        String splittingString = ATermUtils.getLiteralValue(
            newBinding.get( atom.getAllArguments().get(1) ).getTerm() );
       
View Full Code Here
353
354
355
356
357
358
359
360
361
      //@Override
      public void setCurrentBinding(VariableBinding currentBinding) {
        if ( VariableUtils.isVariable( head ) ) {
          ATermAppl resultTerm = ATermUtils.makePlainLiteral( match );
          Literal resultLit = currentBinding.getABox().addLiteral( resultTerm );
          currentBinding.set( head, resultLit );
        }
      }
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
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
      return;
    }

    node.addType(c, ds);
    if (node.isLiteral()) {
      final Literal l = (Literal) node;
      final NodeMerge mtc = l.getMergeToConstant();
      if (mtc != null) {
        l.clearMergeToConstant();
        Literal mergeTo = abox.getLiteral(mtc.getTarget());
        mergeTo(l, mergeTo, mtc.getDepends());
        node = mergeTo;
      }
    }
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
123
   * @throws InvalidConstrainingFacetException
   */
  @Test
  public void oneVSatisfiableDecimalRanges() throws InvalidConstrainingFacetException, InvalidLiteralException,
                  UnrecognizedDatatypeException {
    final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT);
    for (ATermAppl a : getSatisfiableDecimalRanges()) {
      x.addType(a, DependencySet.INDEPENDENT);
    }

    assertTrue(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap()));
  }
View Full Code Here
130
131
132
133
134
135
136
137
138
139
140
141
   * @throws InvalidConstrainingFacetException
   */
  @Test
  public void oneVSatisfiableEnumerations() throws InvalidConstrainingFacetException, InvalidLiteralException,
                  UnrecognizedDatatypeException {
    final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT);
    for (ATermAppl a : getSatisfiableDecimalEnumerations()) {
      x.addType(a, DependencySet.INDEPENDENT);
    }

    assertTrue(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap()));
  }
View Full Code Here
148
149
150
151
152
153
154
155
156
157
158
159
   * @throws InvalidConstrainingFacetException
   */
  @Test
  public void oneVUnsatisfiableDecimalRanges() throws InvalidConstrainingFacetException, InvalidLiteralException,
                  UnrecognizedDatatypeException {
    final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT);
    for (ATermAppl a : getUnsatisfiableDecimalRanges()) {
      x.addType(a, DependencySet.INDEPENDENT);
    }

    assertFalse(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap()));
  }
View Full Code Here
166
167
168
169
170
171
172
173
174
175
176
177
   * @throws InvalidConstrainingFacetException
   */
  @Test
  public void oneVUnsatisfiableEnumerations() throws InvalidConstrainingFacetException, InvalidLiteralException,
                  UnrecognizedDatatypeException {
    final Literal x = new Literal(term("x"), null, abox, DependencySet.INDEPENDENT);
    for (ATermAppl a : getUnsatisfiableDecimalEnumerations()) {
      x.addType(a, DependencySet.INDEPENDENT);
    }

    assertFalse(reasoner.isSatisfiable(singleton(x), Collections.<Literal, Set<Literal>> emptyMap()));
  }
View Full Code Here
59
60
61
62
63
64
65
66
67
    if ( datatypeURI == null )
      resultTerm = ATermUtils.makePlainLiteral( result );
    else
      resultTerm = ATermUtils.makeTypedLiteral( result, datatypeURI );
   
    Literal resultLit = abox.addLiteral( resultTerm );

    return expectedIfEquals( expected, resultLit );
  }
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.