new meaning for "rel"

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