OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

xdi message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]

Subject: [OASIS Issue Tracker] (XDI-23) 4.3 $is

    [ https://issues.oasis-open.org/browse/XDI-23?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=44451#comment-44451 ] 

Joseph Boyle  commented on XDI-23:

$is is documented at https://wiki.oasis-open.org/xdi/EquivalenceRelations
I don't see $is() in the wiki except in the ABNF.

"going to an empty path to represent the outer root created a problem for inverse contextual statements, since the inverse contextual predicate would be come just $is, i.e., an identity equivalence statement. Markus and I explored this and decided that it did in fact work semantically if the object of the inverse contextual statement was the complete context. For example:


However after much discussion we felt that this was a different semantic that our current inverse contextual predicate, which only requires the parent context as the object. And we decided that we still needed this semantic. Thus our conclusion was that we should to keep $is() as the inverse contextual predicate. Our logic is that the parentheses become necessary simply because they enclose the actual XDI address of the outer root (which is empty) as a cross-reference so that it can be described by the inverse predicate $is."

> 4.3 $is
> -------
>                 Key: XDI-23
>                 URL: https://issues.oasis-open.org/browse/XDI-23
>             Project: OASIS XRI Data Interchange (XDI) TC
>          Issue Type: Bug
>          Components: XDI Core
>    Affects Versions: 1.0
>            Reporter: Hubert Le Van Gong
>            Assignee: Drummond Reed
>              Labels: Plenary
> $is is for (inversed) relational statements while $is() is for contextual statements.
> Is this correct?
> Why is the distinction needed?

This message was sent by Atlassian JIRA

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]