Package org.mindswap.pellet

Examples of org.mindswap.pellet.Literal

143
144
145
146
147
148
149
150
151
152
153
            return;

        // If not, we have to create it
        // If the role is a datatype property...
        if( role.isDatatypeRole() ) {
            Literal literal = (Literal) y;
      if( ATermUtils.isNominal( c ) && !PelletOptions.USE_PSEUDO_NOMINALS ) {
        strategy.getABox().copyOnWrite();

        final ATermAppl input = (ATermAppl) c.getArgument( 0 );
        ATermAppl canonical;
View Full Code Here
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
      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 );

      for( Role s : r.getDisjointRoles() ) {
        for( Edge f : ind.getOutEdges().getEdges( s ) ) {
          final Literal k = (Literal) f.getTo();
          if( disj == null ) {
            disj = new HashSet<Literal>();
            ne.put( l, disj );
            nePresent = true;
          }
          disj.add( k );
        }
      }
    }
   
    while (!pending.isEmpty()) {
      final Literal l = pending.removeFirst();
      if( !nodes.add( l ) )
        continue;

      Set<Literal> disj = ne.get( l );

      for( Node n : l.getDifferents() ) {
        if( n.isLiteral() ) {
          final Literal k = (Literal) n;
          pending.add( k );
          if( disj == null ) {
            disj = new HashSet<Literal>();
            ne.put( l, disj );
            nePresent = true;
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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
  public Collection<AtomVariable> getPrerequisiteVars( Collection<AtomVariable> bound ) {
    return VariableUtils.getVars( atom );
  }

  public void rebind(VariableBinding newBinding) {
    Literal dValue = newBinding.get( atom.getArgument() );

    if( dValue == null ) {
      throw new InternalReasonerException(
          "DataRangeBindingHelper cannot generate bindings for " + atom );
    }

    try {
      hasNext = dtReasoner.isSatisfiable( Collections.singleton( atom.getPredicate() ),
          dValue.getValue() );
    } catch( DatatypeReasonerException e ) {
      final String msg = "Unexpected datatype reasoner exception: " + e.getMessage();
      log.severe( msg );
      throw new InternalReasonerException( e );
    }
View Full Code Here
35
36
37
38
39
40
41
42
43
44
45
  }
 
  public Literal apply( ABox abox, Literal expected, Literal... args ) {
    Number expectedNum = null;
    Number result = null;
    Literal resultLit = null;
   
    if (expected != null) {
      if (!(expected.getValue() instanceof Number)) {
        ABox.log.info("Testing non-numeric against the result of a numeric function '"
                + function + "': " + expected);
View Full Code Here
63
64
65
66
67
68
69
70
71
72
73
        }
       
        if ( mergeResults( args, results ) )
          return true;
      } else if ( restBound( args ) ) {
        Literal result = allBound.apply( abox, args[0], argList( args ) );
        if ( result != null ) {
          if ( args[0] == null )
            args[0] = result;
          return true;
        }
View Full Code Here
104
105
106
107
108
109
110
111
112
113
114
    StringFunctionAdapter allBound = new StringFunctionAdapter( this, XSD + "dateTime" );
   
    public boolean apply(ABox abox, Literal[] args) {
      // Assume applicability check means we have the right number of arguments.
      if ( restBound( args ) ) {
        Literal result = allBound.apply( abox, args[0], argList( args ) );
        if ( result != null ) {
          if ( args[0] == null )
            args[0] = result;
          return true;
        }
View Full Code Here
195
196
197
198
199
200
201
202
203
204
205
      allBound = new StringFunctionAdapter( this, XSD + "duration" );
    }
   
    public boolean apply(ABox abox, Literal[] args) {
      if ( restBound( args ) ) {
        Literal result = allBound.apply( abox, args[0], argList( args ) );
        if ( result != null ) {
          if ( args[0] == null )
            args[0] = result;
          return true;
        }
View Full Code Here
253
254
255
256
257
258
259
260
261
262
263
      StringFunctionAdapter allBound = new StringFunctionAdapter( this, XSD + "time" );
     
      public boolean apply(ABox abox, Literal[] args) {
        if ( restBound( args ) ) {
          Literal result = allBound.apply( abox, args[0], argList( args ) );
          if ( result != null ) {
            if ( args[0] == null )
              args[0] = result;
            return true;
          }
View Full Code Here
136
137
138
139
140
141
142
143
144
    return new FunctionHelper( atom );
  }

  @Override
  public boolean apply(ABox abox, Literal[] args) {
      Literal result = function.apply(abox, args[0], Arrays.copyOfRange(args, 1, args.length));     
      args[0] = result;
      return result != null;
  }
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.