RE: Contexts? (again)

Thanks Richard. I'm sure KR can handle this, though (perhaps regrettably)
it isn't the de facto knowledge representation standard of the web.

-----------
Danny Ayers

Semantic Web Log :
http://www.citnames.com/blog

"The lyf so short, the craft so long to lerne." - Chaucer



  -----Original Message-----
  From: Richard H. McCullough [mailto:rhm@cdepot.net]
  Sent: 21 November 2002 02:11
  To: Danny Ayers; www-rdf-interest@w3.org
  Cc: tarod@SoftHome.net
  Subject: Re: Contexts? (again)


  I suggest using Knowledge Explorer with its "alternate syntax" KR:

  at view = m3 {
  at view = m1 {
  S1
  S2
  }
  at view = m2 {
  S3
  S4
  }
  }
  ============
  Dick McCullough
  knowledge := man do identify od existent done
  knowledge haspart list of proposition

    ----- Original Message -----
    From: Danny Ayers
    To: www-rdf-interest@w3.org
    Cc: tarod@SoftHome.net
    Sent: Wednesday, November 20, 2002 3:44 PM
    Subject: Contexts? (again)



    Thanks for the response Sandro. Although the example I gave had a time
    factor, I think the solution to that problem would be the same as that
for a
    practical question just sent to the Jena list. I misunderstood the
original
    question, and assumed that what was required was just copying a set of
    statements from one Jena Model to another, I suggested Model.add(Model
m).
    But...

    >That merges the 2 models, which is basically all i want to be able to
    >identify that "this part came from this model/source and that part
    >from another model/source".
    >
    >so i want the model to look like this:
    ><rdf:RDF>
    ><rdf:description rdf:about="model1">
    >...
    ></rdf:Description>
    ><rdf:description rdf:about="model2">
    >...
    ></rdf:Description>
    ></rdf:RDF>
    >
    >where the "..." is just an identical copy of the some other model.
    >
    >Could there be a better way to describe that the data came from a
    >certain source?

    So we've got

    m1{
    S1
    S2
    ...
    }


    (Sx is a statement in tonight's syntax)

    and

    m2{
    S1
    S2
    ...
    }

    and what we want is something like

    m3{
    m1{
    S1
    S2
    ...
    }

    m2{
    S1
    S2
    ..
    }
    }

    so as far as I can see can only be done in the RDF model something like

    m3{
    {S1} -isFrom-> m1
    {S2} -isFrom-> m1
    ...
    {S1} -isFrom-> m2
    {S2} -isFrom-> m2
    }

    which not only is convoluted & long-winded but also involves the dread
    reification.

    Suggestions?

    Cheers,
    Danny.