Examples of HigherOrderClauseEntry

org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry
It is used for represent higher order atoms.
It is used to convert Stanbol atoms that accept other atoms as arguments, such as sum(sum(5,?x), ?y).
In such a situation in Jena we should use new variables as place holders, e.g., sum(?ph1, ?y, ?z) sum(5, ?x, ?ph1). @author anuzzolese

Examples of org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry


        ClauseEntry clauseEntry = new Functor("quotient", nodes, BuiltinRegistry.theRegistry);


        clauseEntries.add(clauseEntry);


        return (T) new HigherOrderClauseEntry(arg3Node, clauseEntries);


    }

View Full Code Here

Examples of org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry


        Functor functor = new Functor("lessThan", nodes, BuiltinRegistry.theRegistry);


        clauseEntries.add(functor);


        return (T) new HigherOrderClauseEntry(arg1Node, clauseEntries);


    }

View Full Code Here

Examples of org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry


        ClauseEntry clauseEntry = new Functor("product", nodes, BuiltinRegistry.theRegistry);


        clauseEntries.add(clauseEntry);


        return (T) new HigherOrderClauseEntry(arg3Node, clauseEntries);


    }

View Full Code Here

Examples of org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry


            Functor functor = new Functor("strConcat", args);
            
            List<ClauseEntry> clauseEntries = new ArrayList<ClauseEntry>();
            clauseEntries.add(functor);
            return (T) new HigherOrderClauseEntry(node, clauseEntries);


        } else {
            throw new RuleAtomCallExeption(getClass());
        }
    }

View Full Code Here

Examples of org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry


        ClauseEntry clauseEntry = new Functor("difference", nodes, BuiltinRegistry.theRegistry);


        clauseEntries.add(clauseEntry);


        return (T) new HigherOrderClauseEntry(arg3Node, clauseEntries);


    }

View Full Code Here

Examples of org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry


        Functor functor = new Functor("ge", nodes, BuiltinRegistry.theRegistry);


        clauseEntries.add(functor);


        return (T) new HigherOrderClauseEntry(arg1Node, clauseEntries);


    }

View Full Code Here

Examples of org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry


        ClauseEntry clauseEntry = new Functor("sum", nodes, BuiltinRegistry.theRegistry);


        clauseEntries.add(clauseEntry);


        return (T) new HigherOrderClauseEntry(arg3Node, clauseEntries);


    }

View Full Code Here

Examples of org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry

        
        Functor functor = new Functor("greaterThan", nodes, BuiltinRegistry.theRegistry);


        clauseEntries.add(functor);


        return (T) new HigherOrderClauseEntry(arg1Node, clauseEntries);


    }

View Full Code Here

Examples of org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry


        ClauseEntry clauseEntry = new Functor("makeSkolem", nodes, BuiltinRegistry.theRegistry);


        clauseEntries.add(clauseEntry);


        return (T) new HigherOrderClauseEntry(variableNode, clauseEntries);


    }

View Full Code Here

Examples of org.apache.stanbol.rules.adapters.jena.HigherOrderClauseEntry


        Functor functor = new Functor("le", nodes, BuiltinRegistry.theRegistry);


        clauseEntries.add(functor);


        return (T) new HigherOrderClauseEntry(arg1Node, clauseEntries);


    }

View Full Code Here

TOP

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.