Dear Simon,

On 26/7/2014 12:41 πμ, Simon Spero wrote:
To clarify (or obfuscate),

The term "named graph", as used in RDF, is defined in section 4 of the RDF 1.1 Concepts and Abstract Syntax Recommendation <http://www.w3.org/TR/rdf11-concepts/#section-dataset>.

    Each named graph is a pair consisting of an IRI
    <http://www.w3.org/TR/rdf11-concepts/#dfn-iri> or a blank node
    (the graph name), and an RDF graph
    <http://www.w3.org/TR/rdf11-concepts/#dfn-rdf-graph>.
    [...]

    NOTE

    Despite the use of the word “name” in “named graph
    <http://www.w3.org/TR/rdf11-concepts/#dfn-named-graph>”, thegraph
    name <http://www.w3.org/TR/rdf11-concepts/#dfn-graph-name>is not
    required todenote
    <http://www.w3.org/TR/rdf11-concepts/#dfn-denote>the graph. It is
    merely syntactically paired with the graph. RDF does not place any
    formal restrictions on whatresource
    <http://www.w3.org/TR/rdf11-concepts/#dfn-resource>the graph name
    may denote, nor on the relationship between that resource and the
    graph. A discussion of different RDF dataset semantics can be
    found in [RDF11-DATASETS
    <http://www.w3.org/TR/rdf11-concepts/#bib-RDF11-DATASETS>].

That's clear enough :-)

I see your point now: The Named Graph is does not give a name to the set of triples in it, because two identical sets of triples can have different names. It is a new thing with a name, which contains a set of triples.


I have no problems with having an entity that made of one part that is a Propositional Object, and another part that is an IRI. The obvious identity criteria for such an entity would include both components - two "named graph"s with different IRI parts would be distinct.
That is the idea. I'd see the propositions as "content" or "parts" of the Named Graph. At least implementations using reference counts for identical triples in diferent Named Graphs regard them as non-identical, even if they have the same content. That makes them suitable for us to trace provenance as we would do with information objects. Information Objects acquire an individual history. With Named Graphs, I can connect such a history. I could also use the Named Graph to model a belief - associating with the IRI a belief value, a
validity time-Span and a believing Actor.

Interesting cases are, when different people detect the same laws of nature or mathematics. We would keep the different traditions as distinct, and eventually detect the identity, which merges the two traditions. Otherwise we would mess up reasoning about the information transfer. Also, we would mess up cases when different senses are intended with incidentally identical phrases. So, I'd argue, semantics of Named Graphs that bind identity to the name plus content are indeed what we need to model information objects consisting of statements in form of triples.

Best,

Martin

( I also have no problem with the Cyc mereological approach to the relationship between conceptual works and information bearing objects, so my judgement is suspect).

Simon


On Fri, Jul 25, 2014 at 1:13 PM, martin <[email protected] <mailto:[email protected]>> wrote:

    Dear Simon,

    I am not sure if I understand your argument. Any informartion
    object might quite well have a name.
    In particular it has an identity as a unit, and being a unit is
    not equal to any of its propositions. This is probably
    the same as modelling the Named Graphs as tuples (name, set).

    I'd however question your statement:
    "Named graphs are not graphs that are named; they are a tuple..."
    I'd say, they are graphs that are named
    in the framework of RDF encoding using a particular syntax. They
    can be modelled mathematically as tuples...."
    A tuple (name, set) is equally meaningless out of the context to
    which such a model refers to. It could be
    anything you would like to use it for. That's maths. Isn't it?

    In other words, yes, an information object has not only content.
    It has a unity, an identity, and even a provenance.

    The question is, if two information objects are identical if the
    contain the same set of symbols or propositions
    but have different provenance. This is particularly a problem with
    very small information objects.

    Best,

    Martin





    On 24/7/2014 7:57 πμ, Simon Spero wrote:

    The AAT might work.
    I'm not entirely sure that named graphs are propositional objects
    as defined in the CRM, but I think the definition is loose enough.

    Named graphs are not graphs that are named; they are a tuple of
    an IRI (which is a name), and graph (which is the set of
    propositions). If the name is a proposition, it is not one in the
    graph it is associated with.

    If Propositional objects can include parts which are not
    propositions then there is no problem- though it would seem more
    natural to have information objects only part of which are
    propositional.
    That would be a bit too  big a change this far down the road ; if
    named graphs can't fit directly, graphs themselves would; these
    could be part of named graphs.

    On Jul 24, 2014 12:15 AM, "Stephen Stead" <[email protected]
    <mailto:[email protected]>> wrote:

        Can you think of a named graph that would be sufficiently
        iconic to make a
        good example?
        Rgds
        SdS

        Stephen Stead
        Tel +44 20 8668 3075 <tel:%2B44%2020%208668%203075>
        Mob +44 7802 755 013 <tel:%2B44%207802%20755%20013>
        E-mail [email protected] <mailto:[email protected]>
        LinkedIn Profile http://uk.linkedin.com/in/steads


        -----Original Message-----
        From: Crm-sig [mailto:[email protected]
        <mailto:[email protected]>] On Behalf Of Øyvind Eide
        Sent: 23 July 2014 15:12
        To: crm-sig
        Subject: Re: [Crm-sig] *** ISSUE *** Revision of scope note
        for E73
        Information Object to specifically include named graphs

        Dear Steve,

        This sounds good to me. Do you think an example of a named
        graph should be
        added as well?

        Best,

        Øyvind

        On 18. juli 2014, at 08:44, Stephen Stead wrote:

        > Dear CRM-SIG
        > I would like to suggest the following revision to the scope
        note for E73
        Information Object. Its intention is to specifically mention
        “named graphs”
        as being instances of E73 Information Object. As we look at
        implementation
        of the CRM it is becoming increasingly obvious that “named
        graphs” are going
        to be a particularly useful tool, it would therefore seem
        handy if we
        explicitly mentioned that they live in E73!
        > Best regards
        > SdS
        >
        >
        > Current Scope Note
        > E73 Information Object
        > Subclass of:        E89 Propositional Object
        > E90 Symbolic Object
        > Superclass of:    E29 Design or Procedure
        > E31 Document
        > E33 Linguistic Object
        > E36 Visual Item
        >
        > Scope note:        This class comprises identifiable
        immaterial items,
        such as a poems, jokes, data sets, images, texts, multimedia
        objects,
        procedural prescriptions, computer program code, algorithm or
        mathematical
        formulae, that have an objectively recognizable structure and
        are documented
        as single units.
        >
        > An E73 Information Object does not depend on a specific
        physical carrier,
        which can include human memory, and it can exist on one or
        more carriers
        simultaneously.
        > Instances of E73 Information Object of a linguistic nature
        should be
        declared as instances of the E33 Linguistic Object subclass.
        Instances of
        E73 Information Object of a documentary nature should be
        declared as
        instances of the E31 Document subclass. Conceptual items such
        as types and
        classes are not instances of E73 Information Object, nor are
        ideas without a
        reproducible expression.
        > Examples:
        > §  image BM000038850.JPG from the Clayton Herbarium in
        London §  E. A.
        > Poe's "The Raven"
        > §  the movie "The Seven Samurai" by Akira Kurosawa §  the
        Maxwell
        > Equations
        > Properties:
        >
        > Revised Scope Note
        >
        > E73 Information Object
        > Subclass of:        E89 Propositional Object
        > E90 Symbolic Object
        > Superclass of:    E29 Design or Procedure
        > E31 Document
        > E33 Linguistic Object
        > E36 Visual Item
        >
        > Scope note:        This class comprises identifiable
        immaterial items,
        such as a poems, jokes, data sets, images, texts, multimedia
        objects,
        procedural prescriptions, computer program code, algorithm or
        mathematical
        formulae, that have an objectively recognizable structure and
        are documented
        as single units. The encoding structure known as a “named
        graph” also falls
        under this class, so that each “named graph” is an instance
        of an E73
        Information Object.
        >
        > An E73 Information Object does not depend on a specific
        physical carrier,
        which can include human memory, and it can exist on one or
        more carriers
        simultaneously.
        > Instances of E73 Information Object of a linguistic nature
        should be
        declared as instances of the E33 Linguistic Object subclass.
        Instances of
        E73 Information Object of a documentary nature should be
        declared as
        instances of the E31 Document subclass. Conceptual items such
        as types and
        classes are not instances of E73 Information Object, nor are
        ideas without a
        reproducible expression.
        > Examples:
        > §  image BM000038850.JPG from the Clayton Herbarium in
        London §  E. A.
        > Poe's "The Raven"
        > §  the movie "The Seven Samurai" by Akira Kurosawa §  the
        Maxwell
        > Equations
        > Properties:
        >
        >
        > Stephen Stead
        > Director
        > Paveprime Ltd
        > 35 Downs Court Rd
        > Purley, Surrey
        > UK, CR8 1BF
        > Tel +44 20 8668 3075 <tel:%2B44%2020%208668%203075>
        > Fax +44 20 8763 1739 <tel:%2B44%2020%208763%201739>
        > Mob +44 7802 755 013 <tel:%2B44%207802%20755%20013>
        > E-mail [email protected] <mailto:[email protected]>
        > LinkedIn Profile http://uk.linkedin.com/in/steads
        >
        > _______________________________________________
        > Crm-sig mailing list
        > [email protected] <mailto:[email protected]>
        > http://lists.ics.forth.gr/mailman/listinfo/crm-sig


        _______________________________________________
        Crm-sig mailing list
        [email protected] <mailto:[email protected]>
        http://lists.ics.forth.gr/mailman/listinfo/crm-sig


        _______________________________________________
        Crm-sig mailing list
        [email protected] <mailto:[email protected]>
        http://lists.ics.forth.gr/mailman/listinfo/crm-sig



    _______________________________________________
    Crm-sig mailing list
    [email protected]  <mailto:[email protected]>
    http://lists.ics.forth.gr/mailman/listinfo/crm-sig


--
    --------------------------------------------------------------
      Dr. Martin Doerr              |  Vox:+30(2810)391625  
<tel:%2B30%282810%29391625>         |
      Research Director             |  Fax:+30(2810)391638  
<tel:%2B30%282810%29391638>         |
                                    |  Email:[email protected]  
<mailto:[email protected]>  |
                                                                  |
                    Center for Cultural Informatics               |
                    Information Systems Laboratory                |
                     Institute of Computer Science                |
        Foundation for Research and Technology - Hellas (FORTH)   |
                                                                  |
                    N.Plastira 100, Vassilika Vouton,             |
                     GR70013 Heraklion,Crete,Greece               |
                                                                  |
                  Web-site:http://www.ics.forth.gr/isl            |
    --------------------------------------------------------------


    _______________________________________________
    Crm-sig mailing list
    [email protected] <mailto:[email protected]>
    http://lists.ics.forth.gr/mailman/listinfo/crm-sig




--

--------------------------------------------------------------
 Dr. Martin Doerr              |  Vox:+30(2810)391625        |
 Research Director             |  Fax:+30(2810)391638        |
                               |  Email: [email protected] |
                                                             |
               Center for Cultural Informatics               |
               Information Systems Laboratory                |
                Institute of Computer Science                |
   Foundation for Research and Technology - Hellas (FORTH)   |
                                                             |
               N.Plastira 100, Vassilika Vouton,             |
                GR70013 Heraklion,Crete,Greece               |
                                                             |
             Web-site: http://www.ics.forth.gr/isl           |
--------------------------------------------------------------

Reply via email to