W3C home > Mailing lists > Public > www-rdf-logic@w3.org > February 2007

new meaning for "rel"

From: Richard H. McCullough <rhm@PioneerCA.com>
Date: Fri, 9 Feb 2007 20:18:36 -0800
Message-ID: <000801c74cca$9c71b1b0$6401a8c0@rhm8200>
To: "Semantic Web at W3C" <semantic-web@w3.org>, "OWL at W3C" <www-rdf-logic@w3.org>
Cc: "KR-language" <KR-language@YahooGroups.com>, "John De Oliveira" <johndcyc@gmail.com>

My original concept of a binary relation used the example

1::    John rel father=Sam, mother=Susan;

In this case "father" and "mother" are really the argument names
of the [child:1, father:2] and [child:1, mother:2} relations.

MKE 7.3 permits forms like

2::    John rel isu person, isu engineer;

In this case, "isu" is the verb used to express the
[inidividual:1, concept:2] relation.  The statement above
is equivalent to these  two statements.

3::{    John isu person;
          John isu engineer;
}

or simply

4::    John isu person, engineer;

My motivation for introducing 2:: comes from XML, which
uses this form extensively in describing concepts.
For example, this DAML snippet is part of the Cyc Upper Ontology.

    <daml:Class rdf:ID="AbandoningSomething">
        <rdfs:label>abandonments</rdfs:label>
        <rdfs:comment>The collection of events in which some #$Agent
            deliberately gives up possession of something, without
            giving it to another.</rdfs:comment>
        <guid>bd67b7de-9c29-11b1-9dad-c379636f7270</guid>
        <rdf:type rdf:resource="#TemporalObjectType"/>
        <rdfs:subClassOf rdf:resource="#LosingUserRights"/>
        <rdfs:subClassOf rdf:resource="#PurposefulAction"/>
        <daml:disjointWith rdf:resource="#GainingUserRights"/>
    </daml:Class>

In MKE 7.3, this DAML snippet is translated into MKR as

    Class isg AbandoningSomething;
    AbandoningSomething has
        label = "abandonments",
        comment = "The collection of events in which some #$Agent\n
            deliberately gives up possession of something, without\n
            giving it to another.",
        guid = "bd67b7de-9c29-11b1-9dad-c379636f7270";
    AbandoningSomething rel
        isu TemporalObjectType,
        iss LosingUserRights,
        iss PurposefulAction,
        xor GainingUserRights;    

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/
Received on Saturday, 10 February 2007 04:19:27 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:47 UTC