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

mkecyc: new "standalone" user interface

From: Richard H. McCullough <rhm@cdepot.net>
Date: Sat, 6 Sep 2003 01:20:48 -0700
Message-ID: <000b01c37450$345642e0$bd7ba8c0@rhm8200>
To: "Guha, R. V." <guha@guha.com>, "Reed, Stephen L." <reed@cyc.com>, "McCool, Rob" <robm@stanford.edu>
Cc: "www-rdf-interest at W3C" <www-rdf-interest@w3.org>, "KR-language" <KR-language@YahooGroups.com>
This email shows the new KornShell/Java interface,
which supports the basic features of the MKR 
language, but not the more advanced features.  
Unicon is not required (you're welcome Mac users).

The "mkecyc" command translates MKR propositions
to CycL expressions and pipes them to OpenCyc SubL.

# KEHOME/bin/mkecyc
# Sep/6/2003
# MKE + OpenCyc
# usage:
#       mkecyc world
#       ke$ MKR proposition
#       ke$ ...
#       ke$ EOF
mkr2cyc | opencyc server "$1" | sed 's/ /\n  /g'

I would have liked to add "sort -uf" to the pipeline,
but the CycL lists are NOT all ordinary sets.  Some
of the "sets" include CycL function calls to generate
more list elements.


Here's a sample output.  
Note that output consists of two lists 
    specs     (? iss #$Microtheory;)
    instances (? isu #$Microtheory;).

$ mkecyc
...
ke$ CYC(1): ? isa #$Microtheory;
  (#$SpindleMicrotheory
  #$TemplateParsingMicrotheory
  #$Language-SpecificMicrotheory
  #$CollectorMicrotheory
  #$VocabularyMicrotheory
  #$TheoryMicrotheory
  #$DeclarativeContext
  #$PlanningDomainMicrotheory
  #$DataMicrotheory
  #$EnglishLexicalMicrotheory
  #$FormalCOC
  #$LexicalMicrotheory
  #$GeneralMicrotheory
  #$SupposedToBeMicrotheory
  #$PropositionalInformationThing
  #$LegalCode
  #$Obligation
  #$BroadMicrotheory
  #$GovernmentCOC
  #$CodeOfConduct
  #$FictionalContext
  #$HypotheticalContext
  #$ProblemSolvingCntxt)
T

ke$ CYC(2):
  (#$CoreCycLImplementationMt
  #$CoreCycLMt
  #$DefaultVocabConstraintMt
  #$EnglishLexiconMt
  #$TemplateParsingMt
  #$ModalityMt
  #$AnimalMovementMt
  #$LogicalTruthMt
  #$VulnerabilityMt
  #$ComputerNetworkMt
  #$SecurityMt
  #$ComputerSecurityMt
  #$ComputerHardwareMt
  #$ComputerGMt
  #$ComputerSoftwareMt
  #$ComputerRunningMt
  #$ModernMilitaryTacticsMt
  #$ModernMilitaryWeaponsMt
  #$ModernMilitaryVehiclesMt
  #$WorldNaturalGeographyMt
  #$UnitedStatesGeographyMt
  #$SimpleAstronomyMt
  #$GeometryGMt
  #$MathMt
  #$VertebratePhysiologyMt
  #$ObjectPhysicalCharacteristicsMt
  #$CultureGMt
  #$BiologicalSocialMt
  #$AnimalActivitiesMt
  #$NaturalGeographyMt
  #$WeatherMt
  #$PerceptionMt
  #$MovementMt
  #$HumanPerceptionMt
  #$NaiveBiologicalDescentMt
  #$InformationTerminologyMt
  #$NonNaiveStateChangeMt
  #$AilmentMt
  #$WorldGeographyMt
  #$OrganizationMt
  #$HumanAilmentMt
  #$NaivePhysicsMt
  #$ProductPhysicalCharacteristicsMt
  #$TransportationMt
  #$HumanPhysiologyMt
  #$AgentGMt
  #$ProductGMt
  #$BiologyMt
  #$AilmentVocabularyMt
  #$HumanActivitiesMt
  #$PoliticalGeographyMt
  #$ChatterBotStateMachineMt
  #$UMLStateMachineTest01Mt
  #$UMLStateMachineSpindleCollectorMt
  #$UMLStateMachineSpindleHeadMt
  #$GeneralMilitaryLexicalMt
  #$CommonLispProgrammingDomainMt
  #$UniversalVocabularyImplementationMt
  #$CProgrammingDomainMt
  #$ProgrammingDomainMt
  #$CSyntaxProgrammingDomainMt
  #$NonAmericanEnglishMt
  #$GappedNPTemplateParsingMt
  #$CopulaConstructionTemplateMt
  #$AuxInversionTemplateMt
  #$RTPVBarTemplateMt
  #$MostEnglishTemplateMt
  #$DiseaseLexicalMt
  #$TemporaryLexicalAssertions-GuessedMt
  #$TemporaryEnglishMt
  #$EnglishGrammarTemplateMt
  #$NegationTemplateMt
  #$AuxVerbTemplateMt
  #$RelativeClausesTemplateMt
  #$DeepCoverageTemplateMt
  #$AllEnglishTemplateMt
  #$IntermediateVocabularyMt
  #$EnglishTemplateMt
  #$GrammarInUseTemplateMt
  #$GenFormatTemplateMt
  #$AnthraxTemplateMt
  #$GeneralScientificLexicalMt
  #$CommonWealthEnglishCompositionalPhrasesLexicalMt
  #$EnglishCompositionalPhrasesLexicalMt
  #$AmericanEnglishCompositionalPhrasesLexicalMt
  #$CommonWealthEnglishMt
  #$WorldLikeOursCollectorMt
  #$CanadianEnglishMt
  #$NewZealandEnglishMt
  #$SouthAfricanEnglishMt
  #$ScottishEnglishMt
  #$IrishEnglishMt
  #$AustralianEnglishMt
  #$AmericanEnglishMt
  #$NeedsOELexicalMt
  #$CyclishMt
  #$LogicalTruthImplementationMt
  #$TemporaryLexicalAssertionsMt
  #$QueryMt
  #$CommonEnglishMisspellingsMt
  #$ComputereseLexicalMt
  #$GeneralLexiconMt
  #$NewLatinLexicalMt
  #$NameLexicalMt
  #$TechnicalEnglishLexicalMt
  #$BritishEnglishMt
  #$WordNetMappingMt
  #$BookkeepingMt
  #$EnglishMt
  #$GeneralEnglishMt)
T

ke$ CYC(3): exit;
...
$


Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
Received on Saturday, 6 September 2003 04:23:54 GMT

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