Suggestions
Hi Samprity,
I think both of your suggestions are reasonable, so I'll see what I can do. I don't think examples of the clause construction operators were given in the paper, but I'll give some thought to making one up.
As for your questions:
1. A ground term has only constants in its arguments (eg. IsInCPSC522(samprity) or SamePerson(jordon, HusbandOf(jennifer)). I'll see if I can make it more clear on the page.
2. The cliques restrict the search space (clauses can only exist if their nodes form a clique). I think that's already in there, but I may not have written it in a clear way, so I'll take another look at it.
3. It's supplied to the Markov network structure algorithm as training data. I haven't looked into it (since they don't directly discuss it in the paper), but I assumed you could treat the 0s and 1s as labels for a binary classifier. I'll take another look at how I've written it and see if I can make it more clear in the page.
Clear skies,
Jordon