W3C home > Mailing lists > Public > www-rdf-interest@w3.org > August 2003

Re: print all OpenCyc Microtheories

From: Richard H. McCullough <rhm@cdepot.net>
Date: Thu, 28 Aug 2003 18:42:10 -0700
Message-ID: <000f01c36dce$dfbd6dd0$bd7ba8c0@rhm8200>
To: "McCool, Rob" <robm@stanford.edu>, "Guha, R. V." <guha@guha.com>, "Reed, Stephen L." <reed@cyc.com>
Cc: "KR-language" <KR-language@YahooGroups.com>, "www-rdf-interest at W3C" <www-rdf-interest@w3.org>
Correction: there are only 307 Microtheories.
#$Person is not a Microtheory; it is part of
the examples printed out by opencyc during
startup.

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;

  ----- Original Message ----- 
  From: Richard H. McCullough 
  To: Reed, Stephen L. ; Guha, R. V. ; McCool, Rob 
  Cc: www-rdf-interest at W3C ; KR-language 
  Sent: Thursday, August 28, 2003 5:24 PM
  Subject: print all OpenCyc Microtheories


  Here are my first "OpenCyc overview" results.

  Input shell script

  # KEHOME/knowledge/applications/SemanticWeb/OpenCyc/printMicrotheory
  # Aug/28/2003

  # print all OpenCyc Microtheories
  # usage: printMicrotheory
  #       CycL output format: ( mt1 mt2 ... ) ( ... )
  #       final output format: one mt per line, sorted

  (
   sleep 30                       # wait for opencyc startup
   echo '#$Microtheory isc* ?;'   # all specs and instances
   echo 'exit;'                   # exit opencyc
  )  |
  mkr2cyc                 |  # translate MKR to CycL
  opencyc server 2>&1     |  # opencyc output including prompts and errors
  sed 's/ /\n/g'          |  # change blank to newline
  sed 's/(//g'            |  # delete leading (
  sed 's/)//g'            |  # delete trailing )
  grep '^#\$'             |  # begin with "#$"
  grep -v '^#\$Person$'   |  # delete constant from startup examples
  sort -uf                   # sort, delete duplicates


  output file: 307 Microtheories

  #$AcademicOrganizationVocabularyMt
  #$Account
  #$AgentGMt
  ...
Received on Thursday, 28 August 2003 21:42:47 GMT

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