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 SWRL we should use new variables as place holders, e.g., sum(?ph1, ?y, ?z) sum(5, ?x, ?ph1).
@author anuzzolese
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.