predicate [ClosedWorld, Symmetric] friends(Person, Person)
means that all the grounded predicates of friends not mentioned in the facts are all considered to have truth value 0, or in other words we don't want to infer anything new about friends.
Afaik, a similar feature is already in MLN.
predicate [ClosedWorld, Symmetric] friends(Person, Person)
means that all the grounded predicates of friends not mentioned in the facts are all considered to have truth value 0, or in other words we don't want to infer anything new about friends.
Afaik, a similar feature is already in MLN.