the "spo" view of the world in RDF,OWL,CycL,MKR

The RDF statement
    subject predicate object.
is appropriate for describing fundamental attributes and relations
RDF:
    subject property value.
    subject type class.
    subject subClassOf genus.
The other languages of interest here have very similar statements.
OWL:
    subject property value.
    subject type class.
    subject subClassOf genus.
CycL:
    (property subject value)
    (isa subject class)
    (genls subject genus)
MKR:
    subject has attribute = value;
    subject isu class;
    subject iss genus;

The context hierarchies are also very similar.
Using MKR notation for hierarchy outlines
RDF:
    Resource;
    /    Class;
    /    Property;
     /   Statement;
    Container;
    /   Seq;
    /   Bag;
    /   Alt;
OWL:
    Thing;
     /   Entity;
      /  Property;
      /  Statement;
    Group;
    /   List;
    /   Set;
    /   Enumeration;
CycL:
    Thing;
     /   Entity;
      /  Property;
      /  Proposition;
    Group;
    /   List;
    /   Set;
    /   Enumeration;
MKR:
    existent;
      /  entity;
      /  attribute;
      /  proposition;
    group;
    /   list;
    /   set;
    /   enumeration;

I am now in the process of making these four alternatives
built-in options of MKE.  The syntax is

    ke [-rdf|-owl|-cycl|-mkr] [mkrfile]  


I'd like to conclude this note with a few observations on 
more advanced language features.

actions (and commands and methods)
    actions require space, time, indirect object, etc.
    don't even try it in RDF, OWL
    easy in CycL, MKR
questions
    none in RDF, OWL
    good support in CycL, MKR
context
    weak support in RDF, OWL
    approx. 7000 contexts in CycL to support common-sense reasoning
    few relations between contexts in MKR
n-ary relation
    none in RDF, OWL
    a few are used in CycL
    excellent support in MKR
conditionals
    none in RDF, OWL
    good support in CycL, MKR
iterations
    minimal support in RDF, OWL
    good support in CycL, MKR
definitions
    none in RDF
    some in OWL
    some in CycL
    excellent support in MKR
  
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/

Received on Friday, 2 February 2007 05:20:45 UTC