- From: Richard H. McCullough <rhm@volcano.net>
- Date: Sat, 24 Sep 2005 14:21:18 -0700
- To: "KR-language" <KR-language@YahooGroups.com>
- Cc: "www-rdf-logic at W3C" <www-rdf-logic@w3.org>, "semantic-web at W3C" <semantic-web@w3c.org>
I have just implemented the following
convention in MKR/MKE.
"i" is the qualifier for individuals.
"i" is short, so MKR readability is still good.
It's very useful for distinguishing individuals
and classes in hierarchy printouts.
Here's a brief example.
ke$ policeman,fireman,engineer iss person;
ke$ bob isu fireman;
ke$ dick isu engineer;
ke$ sue isu person;
ke$ person isc* ?;
man
/ engineer
// i:dick
/ fireman
// i:bob
/ policeman
/ i:sue
ke$
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://rhm.cdepot.net/
Received on Saturday, 24 September 2005 21:23:10 UTC