RE: [xdi] Agenda: XDI TC Telecon Thursday 1-2PM PT 2009-01-15

Hi Drummond,

I'm unclear on the relationship between metagraph and graph. I had thought the relationship was comparable to the relationship between the T-Box and the A-Box in RDFS, OWL, etc. but your diagrams seem to be saying otherwise. For an example the metagraph diagram for 2A (+x+y) leads to a graph statement of +x/+y/+x+y, which I am having trouble relating to RDF. In my mind the XDI metagraph statement +x+y is comparable to the metagraph statements stated in the following RDF/XML notation:

<owl:Class rdf:about="http://plus.xri.net/x">

<rdfs:subClassOf rdf:resource="&owl;Thing" />

<rdfs:subClassOf>

<owl:onProperty rdf:resource=http://plus.xri.net/y />

<owl:minCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minCardinality>
</owl:Restriction

Which then might lead an XDI reasoner to entail the implicit graph statements expressed in

<rdf:Description rdf:about="http://equals.xri.net/Bill.Barnhill" >

<rdf:type rdf:resource="http://plus.xri.net/x" />

</rdfDescription>

from the explicit graph statements expressed in:

<rdf:Description rdf:about="http://equals.xri.net/Bill.Barnhill" >

<rdf:type rdf:resource="&owl;Thing" />

<plus:y>!1234!234</plus:y>

In XRI terms the following implicit XRI in the XDI graph would be determined by an XDI reasoner:

=Bill.Barnhill/$a/+x

from the following explicit XRIs in the graph (playing fast and loose with name spaces here):

=Bill.Barnhill/$a/+Thing

=Bill.Barnhill/+y/!1234!234

and a query on the graph of $$X/$a/+x will answer [{"$$X", "=Bill.Barnhill"}]

Could you explain how the above would be done with the metagraph predicate framework described by your diagram and recent wiki update?

From: Drummond Reed
Sent: Thu 1/15/2009 4:48 AM
To: 'OASIS - XDI TC'
Subject: [xdi] Agenda: XDI TC Telecon Thursday 1-2PM PT 2009-01-15

Following is the agenda for the unofficial telecon of the XDI TC at:

Date:  Thursday, 15 January 2009 USA
Time:  1:00PM - 2:00PM Pacific Time (21:00-22:00 UTC)

TO ACCESS THE AUDIO CONFERENCE:
    Dial In Number: 571-434-5750
    Conference ID: 5474


AGENDA

1) XDI ADDRESSER

We will start with a tour from Markus of his latest XDI RDF utility:

	http://graceland.parityinc.net/xdi-addresser/XDIAddresser


2) SOLVING THE RUBIK'S CUBE OF THE XDI 1.0 RDF METAGRAPH MODEL

Based on insights from Monday's aborted XRI/XDI editor's telecon (which
turned into a long informal XDI telecon) and Tuesday's special XRI Syntax
3.0 telecon (which also ended out as a long XDI discussion), Drummond had a
key revelation about the metagraph model.

He has uploaded a PDF with a new set of diagrams illustrating the metagraph
model and how it describes the graph model.

	
http://www.oasis-open.org/committees/download.php/30700/xdi-rdf-graph-model-
diagrams-v1.pdf 

He also updated the XDI RDF Graph Model wiki page with new text descriptions
of each metagraph predicate and references to the diagrams.

	http://wiki.oasis-open.org/xdi/XdiOne/RdfGraphModel 

The main topic of the call will be to review this and discuss how it returns
the metagraph back to a pure description of the graph with no other
semantics and thus enables the metagraph predicates to be used with any
description logic:

	http://en.wikipedia.org/wiki/Description_logic 


3) MULTI-PART SPEC DESIGN AND NEXT STEPS WITH THE FIRST WORKING DRAFT

Drummond had his questions answered by Mary McRae about how a multi-part
specification should work. See the DITA example:

	http://docs.oasis-open.org/dita/v1.1/OS/overview/overview.html

Given this model, Drummond has updated the specification names on:

	http://wiki.oasis-open.org/xdi/XdiOneSpecs 

If there is consensus on this, our next step is to choose a template and
begin the first Working Draft. 




---------------------------------------------------------------------
To unsubscribe from this mail list, you must leave the OASIS TC that
generates this mail.  Follow this link to all your TCs in OASIS at:
https://www.oasis-open.org/apps/org/workgroup/portal/my_workgroups.php

xdi message