| http://www.w3.org/ns/prov#value | - The general frame ofall those trials is to restrict predicates eligible to haveextensions.So the formation rule will be modified to:If P is a\an ... predicate symbol then eP is a term.Examples: Replace ... in the above rule with the following:(1) first order(2) stratified(3) AcyclicBy first order it is meant a predicate definable after a first orderformula.By stratified it is meant that all symb
|
