Abel2007enabling presented by Tim Lebo 25 sept 2008 Gregory Todd Williams 2

From Semantic Portal Wiki

• Question is for the Presentation: Abel2007enabling presented by Tim Lebo 25 sept 2008
• Question is asked by: Gregory Todd Williams
• The Question is: In Section 4.3, Example 1, policies 1–3 are said to return ({Var8, foaf:currentProject, Var9}, {(Var8 = Person), (Var9=l3s:rewerse)}). Why are Var8 and Var9 introduced in a path expression only to be immediately constrained in the binary expression?

Response: The variable replacement that you point out is a result of the disunify(e,/theta) function in Definition 1 on page 5. All path expressions are disunified to ensure a common naming among all expressions. The set /theta contains pairings VAR,VALUE that is referenced during the disunification /as well as/ during the unification performed when determining policy applicability. warning.pngString representation The variable replacement that you point ou […] ed when determining policy applicability. is too long.