- From: Richard H. McCullough <rhm@PioneerCA.com>
- Date: Fri, 2 Feb 2007 15:30:00 -0800
- To: "semantic-web at W3C" <semantic-web@w3c.org>, "OWL at W3C" <www-rdf-logic@w3.org>
- Message-ID: <000601c74722179ドルe50e06401ドルa8c0@rhm8200>
The new options are implemented in the current version (Feb/2/2007) of MKE. Here's a suggestion for getting acquainted with MKE. $ ke -q -m -owl ... ke$ Thing isc* ?; ... ke$ ClassSet isall* ?; ... ke$ exit; $ Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/
Received on Friday, 2 February 2007 23:31:08 UTC