Package com.hp.hpl.jena.reasoner.rulesys

Examples of com.hp.hpl.jena.reasoner.rulesys.Functor

141
142
143
144
145
146
147
148
149
150
151
152
153
        ok =  predicate.isVariable() || pattern.predicate.isVariable() || predicate.equals(pattern.predicate);
        if (!ok) return false;
        if (object.isVariable() || pattern.object.isVariable()) return true;
        // Left with checking compatibility of ground literals
        if (Functor.isFunctor(object) && Functor.isFunctor(pattern.object)) {
            Functor functor = (Functor)object.getLiteralValue();
            Functor pFunctor = (Functor)pattern.object.getLiteralValue();
            return (functor.getName().equals(pFunctor.getName())
                            && functor.getArgs().length == pFunctor.getArgs().length);
        } else {
            return object.sameValueAs(pattern.object);
        }
    }
View Full Code Here
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
    public boolean variantOf(TriplePattern pattern) {
        Map<Node, Node> vmap = CollectionFactory.createHashedMap();
        if ( ! variantOf(subject, pattern.subject, vmap) ) return false;
        if ( ! variantOf(predicate, pattern.predicate, vmap) ) return false;
        if (Functor.isFunctor(object) && Functor.isFunctor(pattern.object)) {
            Functor functor = (Functor)object.getLiteralValue();
            Functor pFunctor = (Functor)pattern.object.getLiteralValue();
            if ( ! functor.getName().equals(pFunctor.getName()) ) return false;
            Node[] args = functor.getArgs();
            Node[] pargs = pFunctor.getArgs();
            if ( args.length != pargs.length ) return false;
            for (int i = 0; i < args.length; i++) {
                if ( ! variantOf(args[i], pargs[i], vmap) ) return false;
            }
            return true;
View Full Code Here
82
83
84
85
86
87
88
89
90
91
92
93
94
95
     * Side effects the variable bindings.
     */
    public boolean functorMatch(Triple t, LPInterpreter interpreter) {
        Node o = t.getObject();
        if (!Functor.isFunctor(o)) return false;
        Functor f = (Functor)o.getLiteralValue();
        if ( ! f.getName().equals(objectFunctor.getName())) return false;
        if ( f.getArgLength() != objectFunctor.getArgLength()) return false;
        Node[] fargs = f.getArgs();
        Node[] oFargs = objectFunctor.getArgs();
        for (int i = 0; i < fargs.length; i++) {
            if (!interpreter.unify(oFargs[i], fargs[i])) return false;
        }
        return true;
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
        if (node instanceof Node_RuleVariable) {
            return environment[((Node_RuleVariable)node).getIndex()];
        } else if (node instanceof Node_ANY) {
            return null;
        } else if (Functor.isFunctor(node)) {
            Functor functor = (Functor)node.getLiteralValue();
            if (functor.isGround()) return node;
            Node[] args = functor.getArgs();
            List<Node> boundargs = new ArrayList<Node>(args.length);
            for (int i = 0; i < args.length; i++) {
                Node binding = getBinding(args[i]);
                if (binding == null) {
                    // Not sufficent bound to instantiate functor yet
                    return null;
                }
                boundargs.add(binding);
            }
            Functor newf = new Functor(functor.getName(), boundargs);
            return Functor.makeFunctorNode( newf );
        } else {
            return node;
        }
    }
View Full Code Here
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
                            engine.deleteTriple(t, true);
                        }
                    }
              // }
            } else if (hClause instanceof Functor && isAdd) {
                Functor f = (Functor)hClause;
                Builtin imp = f.getImplementor();
                if (imp != null) {
                    imp.headAction(f.getBoundArgs(env), f.getArgLength(), context);
                } else {
                    throw new ReasonerException("Invoking undefined Functor " + f.getName() +" in " + rule.toShortString());
                }
            } else if (hClause instanceof Rule) {
                Rule r = (Rule)hClause;
                if (r.isBackward()) {
                    if (isAdd) {
View Full Code Here
133
134
135
136
137
138
139
140
141
142
143
        }
   
    @Test public void testIsFunctor()
        {
        Operation r = h.operationNamed( "isFunctor" );
        Functor f = new Functor( "f", new ArrayList<Node>() );
        Node functorNode = Node.createUncachedLiteral( f, "", FunctorDatatype.theFunctorDatatype );
        assertEquals( NODE_FALSE, r.evalValue(  nodeArray( "17" ) ) );
        assertEquals( NODE_FALSE, r.evalValue(  nodeArray( "spoo" ) ) );
        assertEquals( NODE_FALSE, r.evalValue(  nodeArray( "_blank" ) ) );
        assertEquals( NODE_TRUE, r.evalValue(  new Node[] { functorNode } ) );
View Full Code Here
144
145
146
147
148
149
150
151
152
153
154
        }
   
    @Test public void testNotFunctor()
        {
        Operation r = h.operationNamed( "notFunctor" );
        Functor f = new Functor( "f", new ArrayList<Node>() );
        Node functorNode = Node.createUncachedLiteral( f, "", FunctorDatatype.theFunctorDatatype );
        assertEquals( NODE_TRUE, r.evalValue(  nodeArray( "17" ) ) );
        assertEquals( NODE_TRUE, r.evalValue(  nodeArray( "spoo" ) ) );
        assertEquals( NODE_TRUE, r.evalValue(  nodeArray( "_blank" ) ) );
        assertEquals( NODE_FALSE, r.evalValue(  new Node[] { functorNode } ) );
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
119
          Item o = AbsRule.toItem( tp.getObject() );
          terms.add( Term.create( s, p, o ) );
          }
        else if (c instanceof Functor)
          {
          Functor f = (Functor) c;
          if (f.getName().equals( "hide" ))
              backwards.add( new AbsRule( AbsRule.asCondition( f ) ) );
          else
              expressions.add( AbsRule.asCondition( f ) );
          }
        else if (c instanceof com.hp.hpl.jena.reasoner.rulesys.Rule)
View Full Code Here
134
135
136
137
138
139
140
141
        assertEquals( node( "x" ), bindings[1] );
        }

    private Node makeFunctor( String f, Node... args )
        {
        Functor func = new Functor( f, Arrays.asList( args ) );
        return Node.createUncachedLiteral( func, "", FunctorDatatype.theFunctorDatatype );
        }
View Full Code Here
121
122
123
124
125
126
127
128
        assertEquals( makeFunctor( "f", node( "x" ) ), s.subst( bindings ) );
        }

    private Node makeFunctor( String f, Node... args )
        {
        Functor func = new Functor( f, Arrays.asList( args ) );
        return Node.createUncachedLiteral( func, "", FunctorDatatype.theFunctorDatatype );
        }
View Full Code Here
TOP

Related Classes of com.hp.hpl.jena.reasoner.rulesys.Functor

  • com.clarkparsia.pellet.el.JenaBasedELClassifier
  • com.hp.hpl.jena.reasoner.rulesys.impl.BindingStack
  • com.hp.hpl.jena.reasoner.rulesys.impl.GenericTripleMatchFrame
  • com.hp.hpl.jena.reasoner.rulesys.impl.RETEConflictSet
  • com.hp.hpl.jena.reasoner.TriplePattern
  • com.hp.jena.net.deploy.functions.test.TestJena2Builtins
  • com.hp.jena.ymris.translations.AbsRule
  • com.hp.jena.ymris.yast.test.TestMatching
  • com.hp.jena.ymris.yast.test.TestSubst
  • com.hp.jena.ymris.yast.YFunctor
    • 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.