- 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>
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