W3C home > Mailing lists > Public > www-rdf-logic@w3.org > February 2007

ke [-rdf|-owl|-cyc] [mkrfile]

From: Richard H. McCullough <rhm@PioneerCA.com>
Date: Fri, 2 Feb 2007 15:30:00 -0800
Message-ID: <000601c74722$179e50e0$6401a8c0@rhm8200>
To: "semantic-web at W3C" <semantic-web@w3c.org>, "OWL at W3C" <www-rdf-logic@w3.org>

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:30:29 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:47 UTC