cycr 0.0.3

data/lib/cycr/domains.lisp

@@ -0,0 +1,584 @@
+(csetq *domains* '(
+("Accts"  . (
+#$AccountingMt
+))
+("Admin"  . (
+#$InternationalOrganizationDataMt
+#$RegionalOrganizationsInTheMiddleEastFactsheetMt
+#$USGovernmentDomesticOrganizationDataMt
+#$USGovernmentOrganizationDataMt
+))
+("Advertg"  . (
+#$Advertising
+))
+("Aerosp"  . (
+#$AeronauticalEngineer
+#$Aeronautics
+))
+("Agric"  . (
+))
+("Anat"  . (
+#$AnimalPhysiologyMt
+#$AnimalPhysiologyVocabularyMt
+#$FemaleHumanBodyStructureMt
+#$HumanBodyStructureMt
+#$MaleHumanBodyStructureMt
+))
+("Anthrop"  . (
+#$EthnicGroupsMt
+#$EthnicGroupsVocabularyMt
+#$PeopleLingoTemplateMt
+#$PeopleVocabularyMt
+))
+("Antiq"  . (
+#$PeloponnesianWarMt
+))
+("Archeol"  . (
+))
+("Archit"  . (
+#$NooescapeArchitectureMt
+))
+("Art"  . (
+#$ArtWorksDataMt
+#$ArtWorksDataVocabularyMt
+#$PopCultureMythologyMt
+))
+("Astrol"  . (
+))
+("Astron"  . (
+#$EarthObservationalAstronomyMt
+#$EarthObservationalAstronomyVocabularyMt
+#$ObservationalAstronomyMt
+#$PlanetaryBaseKBVocabularyMt
+#$SimpleAstronomyDataVocabularyMt
+#$SimpleAstronomyMt
+#$UniverseDataMt
+#$UniverseDataVocabularyMt
+#$UniverseVocabularyMt
+))
+("Audio"  . (
+#$HistoryOfMusicDataMt
+))
+("Aut"  . (
+#$DriverPerspectiveMt
+#$FiremenAndFireTruckIMt
+))
+("Aviat"  . (
+))
+("Bible"  . (
+))
+("Biol"  . (
+#$BiochemicalReasoningWithRCCMt
+#$BiochemistryMt
+#$BiochemistryVocabularyMt
+#$BiologicalChemistryMt
+#$BiologicalChemistryVocabularyMt
+#$BiologicalProcedureMt
+#$BiologicalProcedureVocabularyMt
+#$BiologicalSocialMt
+#$BiologicalSocialVocabularyMt
+#$BiologicalWarfareDemoEnvironmentMt
+#$BiologyGenericsMt
+#$BiologyMt
+#$BiologyVocabularyMt
+#$MicrobiologicalChemistryMt
+#$MicrobiologicalProcedureVocabularyMt
+#$MicrobiologyMt
+#$MicrobiologyVocabularyMt
+#$MolecularBiologyMt
+#$MolecularBiologyVocabularyMt
+#$NaiveBiologicalDescentVocabularyMt
+))
+("Bot"  . (
+#$BotanyMt
+#$BotanyVocabularyMt
+#$FloralMarketingMt
+#$VegetationMapCodeMt
+))
+("Chem"  . (
+#$AcidsAndBases-ChemistryDomainMt
+#$BiochemicalReasoningWithRCCMt
+#$BiochemistryMt
+#$BiochemistryVocabularyMt
+#$BiologicalChemistryMt
+#$BiologicalChemistryVocabularyMt
+#$ChemicalComposition-ChemistryDomainMt
+#$ChemicalConstantData-ChemistryDomainMt
+#$ChemicalDissociation-ChemistryDomainMt
+#$ChemicalEquations-ChemistryDomainMt
+#$ChemicalReactions-ChemistryDomainMt
+#$ChemicalSolutions-ChemistryDomainMt
+#$ChemistryAssumptionsMt
+#$ChemistryLaboratory-ChemistryDomainMt
+#$ChemistryMt
+#$ChemistryTemplateMt
+#$ChemistryVocabularyMt
+#$OrganicChemistryMt
+#$OrganicChemistryVocabularyMt
+))
+("Cin"  . (
+))
+("CivEng"  . (
+#$EngineeringField
+))
+("Comm"  . (
+#$BrandNameProductGMt
+#$BrandNameProductGVocabularyMt
+#$BrandNameProductPhysicalCharacteristicsMt
+#$BrandNameProductPhysicalCharacteristicsVocabularyMt
+#$BrandNameRoadVehicleWorkingsMt
+#$BuyingMt
+#$CommercialBuyingMt
+#$RetailSalesMt
+#$ShoppingGMt
+#$WesternBusinessPracticesMt
+#$WorldProductsMt
+))
+("Comput"  . (
+#$ComputerDataTypesDataMt
+#$ComputereseLexicalMt
+#$ComputerGMt
+#$ComputerGVocabularyMt
+#$ComputerHardwareDataMt
+#$ComputerHardwareDataVocabularyMt
+#$ComputerHardwareMt
+#$ComputerHardwareVocabularyMt
+#$ComputerNetworkMt
+#$ComputerOrganizationDataMt
+#$ComputerRunningDataMt
+#$ComputerRunningMt
+#$ComputerSecurityDataMt
+#$ComputerSecurityMt
+#$ComputerSoftwareBuyingMt
+#$ComputerSoftwareDataMt
+#$ComputerSoftwareMt
+#$ComputerSoftwareVocabularyMt
+#$ComputerUseDomainMt
+#$ComputerVulnerabilityMt
+#$NetworkModelMt
+#$ProgramModelMt
+#$InformationBuyingMt
+#$InformationGVocabularyMt
+#$InformationSecurityMt
+#$InformationTerminologyVocabularyMt
+))
+("Constr"  . (
+#$BuildingContentsMt
+#$BuildingContentsVocabularyMt
+#$BuildingMt
+#$BuildingVocabularyMt
+#$OrganizationBuildingVocabularyMt
+))
+("Cosmet"  . (
+))
+("Culin"  . (
+#$CoffeeMt
+#$CookingLingoTemplateMt
+#$CookingWorldTestCaseEntitiesMt
+#$FoodBuyingGMt
+#$FoodSocialMt
+#$HumanFoodGVocabularyMt
+))
+("Dance"  . (
+))
+("Dent"  . (
+))
+("Ecol"  . (
+#$EcologyMt
+#$EcologyVocabularyMt
+))
+("Econ"  . (
+#$EconomyMt
+#$EconomyVocabularyMt
+))
+("Educ"  . (
+))
+("Elec"  . (
+#$ElectricalSystemsMt
+#$ElectricalSystemsVocabularyMt
+))
+("Electron"  . (
+))
+("Equest"  . (
+))
+("Fashn"  . (
+#$ClothingGMt
+#$ClothingGVocabularyMt
+#$ClothingLingoTemplateMt
+#$ModernWesternClothingConventionMt
+))
+("Fin"  . (
+#$BusinessGMt
+#$BusinessMoneyMt
+#$BusinessStillUnsortedForStubsMt
+#$BusinessStubMt
+#$FinancialTransactionMt
+#$WesternBusinessPracticesMt
+))
+("Fishg"  . (
+))
+("Games"  . (
+))
+("Geog"  . (
+#$DesertShieldMt
+#$DualistGeopoliticalMt
+#$DualistGeopoliticalVocabularyMt
+#$FranceGeographyDualistMt
+#$FranceGeographyMt
+#$FranceNaturalGeographyMt
+#$GeographicalRegionGVocabularyMt
+#$GeographyLingoTemplateMt
+#$GeographyVocabularyMt
+#$GeopoliticalBordersMt
+#$GeopoliticalEntityVocabularyMt
+#$NaturalGeographyVocabularyMt
+#$NorthernHemisphereMt
+#$PhysicalGeographyMt
+#$PoliticalGeographyVocabularyMt
+#$UnitedStatesCulturalGeographyMt
+#$UnitedStatesGeographyMt
+#$UnitedStatesGeographyPeopleMt
+#$UnitedStatesNaturalGeographyMt
+#$UnitedStatesNaturalGeographyVocabularyMt
+#$WorldCompleteDualistGeographyMt
+#$WorldCulturalGeographyDataMt
+#$WorldGeographyDualistMt
+#$WorldGeographyMt
+#$WorldGeographyPhysicalMt
+#$WorldNaturalGeographyMt
+#$WorldNaturalGeographyVocabularyMt
+#$WorldPoliticalGeographyDataMt
+#$WorldPoliticalGeographyDataVocabularyMt
+))
+("Geol"  . (
+#$GeologicalAge
+))
+("Herald"  . (
+))
+("Hist"  . (
+#$PeopleDataMt
+#$ChronologyMt
+#$ChronologyVocabularyMt
+#$HistoryOfMusicDataMt
+#$HistoryOfScienceDataMt
+#$WorldHistoryMt
+))
+("Hort"  . (
+))
+("Hunt"  . (
+))
+("Ind"  . (
+))
+("Insur"  . (
+))
+("Journ"  . (
+#$AssociatedPressMt
+))
+("Jur"  . (
+#$BasicWesternLegalConceptsMt
+))
+("Ling"  . (
+#$CorpusLexicalMt
+#$CrossLinguisticLexicalMt
+#$LanguageAndWritingSystemVocabularyMt
+#$RelativeClausesTemplateMt
+#$WritingSystemCharactersVocabularyMt
+))
+("Literat"  . (
+#$FactsInFictionalWorksMt
+#$LiteraryPeopleDataMt
+#$NonfictionalWorksMt
+))
+("Math"  . (
+#$BayesianNetworkMt
+#$DeonticReasoning-InferenceMt
+#$DeonticReasoning-LogicMt
+#$EqualityReasoningVocabularyMt
+#$EuclideanGeometryMt
+#$GeometryGMt
+#$GeometryGVocabularyMt
+#$LogicalTruthImplementationMt
+#$LogicalTruthMt
+#$MathMt
+#$MathVocabularyMt
+#$NaiveSpatialMt
+#$NaiveSpatialVocabularyMt
+#$PathSystemsVocabularyMt
+#$PointBasedGeometryMt
+#$PointBasedGeometryVocabularyMt
+))
+("Mech"  . (
+))
+("Med"  . (
+#$AilmentMt
+#$AilmentVocabularyMt
+#$BloodTransfusionMt
+#$DiseaseLexicalMt
+#$HumanAilmentMt
+#$HumanAilmentVocabularyMt
+#$MedicalVulnerabilityMt
+#$USHealthcareMt
+))
+("Meas"  . (
+#$CalendarsMt
+#$CalendarsVocabularyMt
+#$GregorianCalendarMt
+#$GregorianCalendarVocabularyMt
+#$IslamicCalendarMt
+#$JewishCalendarMt
+))
+("Meteorol"  . (
+#$AmbientConditionsDataMt
+#$AmbientConditionsMt
+#$AmbientConditionsVocabularyMt
+#$EarthWeatherMt
+#$EarthWeatherVocabularyMt
+#$WeatherMt
+#$WeatherVocabularyMt
+))
+("Mgmt"  . (
+#$InternationalOrganizationDataMt
+#$JobMt
+#$OrganizationGMt
+#$OrganizationGVocabularyMt
+#$OrganizationInternalsMt
+))
+("Mil"  . (
+#$ArmyFM8-10-7Mt
+#$ChemicalWeaponsDestructionInRussiaMt
+#$China-TaiwanMilitaryTechnologyMt
+#$DesertStormMilitaryPresenceMt
+#$EmergingCruiseMissileCapabilitiesMt
+#$EnemyMovementMt
+#$MilitaryForceStructureMt
+#$MilitaryGlossaryHoldingMt
+#$MilitaryGMt
+#$MilitaryGVocabularyMt
+#$MilitaryOrganization
+#$MilitaryStandard-2408Mt
+#$MilitaryTermsVocabularyMt
+#$ModernMilitaryMt
+#$ModernMilitaryTacticsMt
+#$ModernMilitaryVehiclesMt
+#$ModernMilitaryWeaponsMt
+#$PeloponnesianWarMt
+#$RightWingTerrorismAndWeaponsOfMassDestructionMt
+#$SAICTerrorismEventsDataMt
+#$TerrorismInTheMiddleEastFactsheetMt
+#$TerroristGroup
+#$UnitedStatesModernMilitaryVehiclesDataMt
+#$USArmsControlAndDisarmamentAgencyMt
+#$USMarineCorpsPracticesMt
+#$USMilitaryPracticesMt
+#$USMilitaryStaffOrganizationMt
+#$WeaponsOfMassDestructionTacticsMt
+#$Year2000MilitaryTechnologyMt
+))
+("Mil" Naut  . (
+))
+("Miner"  . (
+#$MineralogyMt
+))
+("Mining"  . (
+))
+("Mus"  . (
+))
+("Mythol"  . (
+#$ChristmasMythologyMt
+#$FactsInFictionalWorksMt
+#$GreekMythologyMt
+#$PopCultureMythologyMt
+#$RomanMythologyMt
+#$WorldMythologyMt
+))
+("Naut"  . (
+))
+("Nucl" nuclear  . (
+))
+("Pharm"  . (
+#$BrandNamePharmaceuticalUseMt
+#$PharmaceuticalDetailsMt
+#$PharmaceuticalGMt
+#$PharmaceuticalGVocabularyMt
+#$PharmaceuticalUseMt
+#$PharmaceuticalUseVocabularyMt
+))
+("Philos"  . (
+))
+("Phon"  . (
+))
+("Phot"  . (
+))
+("Phys"  . (
+#$Aerodynamics
+#$DefinitionOfKineticEnergyMt
+#$DefinitionOfNetWorkMt
+#$DefinitionOfWeightMt
+#$DefinitionOfWork-ForceAndDisplacementSameDirectionMt
+#$DefinitionOfWorkMt
+#$NaivePhysicsVocabularyMt
+#$NewtonianPhysicsMt
+#$NewtonsSecondLawMt
+#$NewtonsThirdLawMt
+#$NormalPhysicalConditionsMt
+#$ObjectPhysicalCharacteristicsVocabularyMt
+))
+("Physiol"  . (
+#$HumanPerceptionMt
+#$HumanPerceptionVocabularyMt
+#$HumanPhysiologyVocabularyMt
+#$LinnaeanTaxonomyPhysiologyMt
+#$LinnaeanTaxonomyPhysiologyVocabularyMt
+#$PerceptionMt
+#$PerceptionVocabularyMt
+#$VertebratePhysiologyMt
+#$VertebratePhysiologyVocabularyMt
+))
+("Pol"  . (
+#$GovernmentAgency
+))
+("Post" postal  . (
+))
+("Print"  . (
+))
+("Psych"  . (
+#$AffectMt
+#$AffectVocabularyMt
+))
+("Publg"  . (
+#$PublicationDataMt
+))
+("Radio"  . (
+))
+("Rail"  . (
+))
+("Relig"  . (
+#$BuddhismMt
+#$CatholicismMt
+#$ChristianityMt
+#$ChristianityNaiveMt
+#$ChristianTrinityMt
+#$IslamShiaMt
+#$JudaismMt
+#$Judeo-ChristianMt
+#$NaturalismMt
+#$ReligiousAgnostic
+#$ReligiousCeremony
+#$ReligiousPeopleDataMt
+))
+("Sch"  . (
+))
+("Sci"  . (
+#$GeneralScientificLexicalMt
+#$HistoryOfScienceDataMt
+#$OrganizedResearchMt
+#$TheoryOfScienceVocabularyMt
+))
+("Sewing"  . (
+))
+("Sociol"  . (
+#$AustralasianSocialLifeMt
+#$BiologicalSocialVocabularyMt
+#$HumanSocialLifeMt
+#$HumanSocialLifeWithTenseMt
+#$IranianSocialLifeMt
+#$PeopleVocabularyMt
+#$UnitedStatesSocialLifeMt
+#$CultureGMt
+#$CultureGVocabularyMt
+))
+("Sport"  . (
+#$AmericanCollegeSportsOrganizationsDataMt
+#$AmericanCollegeSportsPeopleDataMt
+#$AmericanProfessionalSportsMt
+#$NonUSProfessionalSportsMt
+#$OlympicsMt
+#$ProfessionalSportsGMt
+#$SportsLingoTemplateMt
+#$SportsProductsMt
+))
+("Stat"  . (
+))
+("Tax"  . (
+#$AmericanFiscalPracticeMt
+#$JapaneseFiscalPracticeMt
+))
+("Tech"  . (
+#$DevicePerspectiveMt
+#$SimpleDeviceFunctioningMt
+#$TechnicalEnglishLexicalMt
+#$ProductGMt
+#$ProductGVocabularyMt
+#$ProductPhysicalCharacteristicsMt
+#$ProductUsageMt
+#$ProductUsageVocabularyMt
+))
+("Telcom"  . (
+#$CommunicationsSupportMt
+#$CommunicationsSupportRulesMt
+#$CommunicationsSupportVocabMt
+))
+("Tex"  . (
+#$MaterialsManipulationMt
+))
+("Theat"  . (
+))
+("Tourism"  . (
+#$GenericTouristMt
+))
+("Transp"  . (
+#$InternationalTrafficMt
+#$MovementMt
+#$MovementVocabularyMt
+#$SuezCanalTrafficMt
+#$TransportationMt
+#$TransportationPlanningMt
+#$TransportationVocabularyMt
+))
+("Turf"  . (
+))
+("TV"  . (
+#$DCSuperheroesMt
+#$LargeCorpBlackBoxMt
+#$MassMediaDataMt
+#$MassMediaMt
+#$TeletubbiesMt
+#$ThePeanutsCartoonMt
+#$TheSimpsonsMt
+#$TheXFilesTVSeriesMt
+))
+("Univ"  . (
+#$AcademicLifeMt
+#$AcademicOrganizationMt
+#$AcademicOrganizationVocabularyMt
+#$UniversityDataMt
+))
+("Vet" veterinary  . (
+))
+("Wine"  . (
+))
+("Zool"  . (
+#$AmericanKennelClubMt
+#$AnimalActivitiesMt
+#$AnimalActivitiesVocabularyMt
+#$AnimalMovementMt
+#$DogClassificationSpindleCollectorMt
+#$DogClassificationSpindleHeadMt
+#$DomesticBreedsMt
+#$DomesticBreedsVocabularyMt
+#$NaiveAnimalsVocabularyMt
+))
+))
+
+(define domains-of (term)
+  (clet (
+         (result ())
+         (base-assertions (with-just-mt #$BaseKB (gather-index term)))
+        ) 
+        (cdolist (pair *domains*) 
+                          (pif(< 0 (with-mt-list (cdr pair)
+                                        (length (set-difference (gather-index term)
+                                                                base-assertions) ))) 
+                              (csetq result (adjoin (car pair) result))
+                              ()))
+        (ret result)))

data/lib/cycr/extensions.rb

@@ -0,0 +1,26 @@
+class String
+  def to_cyc(quote = false)
+    #self =~ /_missing_method_(.*)/ ? "#{$1.gsub("_","-")}" : "\"#{self}\""
+    "\"#{self}\""
+  end
+end
+
+class Symbol
+  def to_cyc(quote = false)
+    (quote ? "'" : "") + "#\$#{self}"
+  end
+end
+
+class Array
+  def to_cyc(quote = false)
+    (quote ? "'" : "") + 
+      "("+map{|e| e.to_cyc(quote)}.join(" ")+")"
+  end
+end
+
+class Fixnum
+  def to_cyc(quote = false)
+    to_s
+  end
+end
+

data/lib/cycr/nart.rb

@@ -0,0 +1,21 @@
+module Cyc
+  class Nart
+    attr_accessor :id, :value
+    def initialize(id, cyc)  
+      @id = id.to_i
+      @value = cyc.find_nart_by_id @id
+    end
+
+    def to_cyc(quote=false)
+      "(find-nart-by-id #{@id})"
+    end
+
+    def to_s
+      "NART[#{@id}]: #{@value.inspect} "
+    end
+
+    def self.find_by_name(name,cyc)
+      self.new(name.match(/^NART\[([^\]]+)\]/)[1],cyc)
+    end
+  end
+end

data/lib/cycr/parser.rb

@@ -0,0 +1,63 @@
+module Cyc
+  class Parser
+    # Exception raised when there is a continuation sign,
+    # at the end of the parsed message.
+    class ContinueParsing < RuntimeError
+      attr_reader :stack
+
+      def initialize(stack)
+        @stack = stack
+      end
+    end
+
+    def initialize
+      @lexer = SExpressionLexer.new
+    end
+
+    # Parses message received from server. +Message+ to parse.
+    def parse(message,stack=nil)
+      @lexer.scan_str(message)
+      stack ||= [[]]
+      while !(token = @lexer.next_token).nil?
+        #p token
+        case token[0]
+        when :open_par
+          stack.push []
+        when :close_par
+          top = stack.pop
+          stack[-1].push top
+        when :atom
+          # FIXME find way to differentiate strings and atoms
+          stack[-1] << token[1]
+        when :cyc_symbol
+          stack[-1] << token[1][2..-1].to_sym
+        when :symbol
+          stack[-1] << token[1][3..-1].to_sym
+        when :string
+          stack[-1] << token[1]
+        when :open_as
+          stack.push [:as]
+        when :close_quote
+          top = stack.pop
+          if top[0] == :as
+            as = Assertion.new(top[1],top[2])
+            stack[-1].push as
+          else
+            stack.push top
+          end
+        when :continuation
+          top = stack.pop
+          stack[-1].push top
+          raise ContinueParsing.new(stack[0][0])
+        end
+      end
+      stack[0][0]
+    rescue ContinueParsing => ex
+      raise
+    rescue Exception => ex
+      puts "Error occured while parsing message:\n#{message}"
+      puts ex
+      nil
+    end
+  end
+end