RuleTransformation

Overview

Inference rules are represented in human-readable format. This page describes the transformation of these rules into Tuffy's MLN syntax.

We first define a general purpose tuple predicate (T) that can represent n-ary and nested tuples.

       T(arg1:String, rel:String, arg2:String, arg3:String, narg1:String, nrel:String, narg2:String)