[Top] [All Lists]

Re: [ontolog-forum] Named Graphs, Statements, and Triples

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhmccullough@xxxxxxxxx>
Date: Sun, 15 Jun 2014 08:15:09 -0700
Message-id: <COL129-W535C7EFBE746DCA94FCBA9CB170@xxxxxxx>
John Sowa's earlier remarks about IKL and "that" identified
the fundamental issue underlying this entire thread.
The details relating to graphs and triples are not important.
What's important is the treatment of propositions and
sentences (using John's terms). I will simply use the term
proposition.    (01)

The knowledge representation must be able to specify the
properties of propositions.    (02)

The mKR language (http://mkrmke.org) is an example of how
this can be done.  The three fundamental classes are
entity, characteristic (aka property) and proposition.
Every proposition has a name, either specified or
automatically generated.  Any list of propositions can
be named - this is a user-defined context (aka view).    (03)

Dick McCullough
Context Knowledge Systems
What is your view?    (04)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (05)

<Prev in Thread] Current Thread [Next in Thread>