W3C home > Mailing lists > Public > www-rdf-logic@w3.org > September 2005

Qnames for individuals

From: Richard H. McCullough <rhm@volcano.net>
Date: Sat, 24 Sep 2005 14:21:18 -0700
Message-ID: <000701c5c14e$29091c80$0100000a@rhm8200>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:50 GMT