Homework Ontology. Attempt to use CycL predicates and formulas to decsribe corporate pages. DARPA DAML Program Act Address ArtificialIntelligenceSoftware AutomaticInferenceEngine AutomaticReasoningSystem CommonOntologySoftware Corporation DARPAProject DataFusionProgram EMailAddress ExpertSystems FaxNumber InternetPortal InternetSecurityAssessment InternetSecuritySoftware InternetSoftware PhoneNumber ProductTesting SecureECommerceDevelopment SecureWebSiteDevelopment SecuritySoftwareTesting SemanticMiddleware SituationMonitoringAndAssessmentSoftware Software SoftwareDevelopment SoftwareTesting TeknowledgeSecuritySoftware address businessPartner challengeProblemDeveloper cityOfAddress countryOfAddress endingDate goal integrator numberOfAddress objectActedOn performedBy phoneNumberAreaCode phoneNumberExtension phoneNumberPrefix phoneNumberSuffix postalCodeOfAddress startingDate stateOfAddress streetOfAddress technologyDeveloper http://www.w3.org/1999/02/22-rdf-syntax-ns http://www.w3.org/2000/01/rdf-schema http://www.w3.org/2002/07/owl DAML ontology for homework 1 personal information http://dmoz.org/dmoz5 http://dmoz.org/dmoz6 DARPA DAML Program AnnotatedBulletList Bullet BulletList Company FormDescriptionReference Key Person PersonalInformationForm Project URIList bulletList companies companyID currentEmployerIDs currentProjectIDs description emailAddress employees firstName keyValue lastName personID projectID projects teamMembers title uriList value worksFor worksOn http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns Basic model of a reasearch project. project schedule tasks product company http://www.dmoz.org/Business/Management/Project_and_Program_Management/ DARPA DAML Program Assignment Company Degree Product Project Schedule Specialties Sponsor Staff Tasks Team Tool achronym completion-produces creator descirption description education-degree experience experience-assignment finish from fromInstiturion lead-person location madeOf-task majorTopic members-onTeam minorTopic name Name onProject-assignment organization partners-onTeam performance-uses performed-for position prime-company priority produce-by produce-from project-baseline project-owner qualification-skills responsible-for start technique topic type until used-skills work-for year http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns the SWRC ontology models the semantic web research community (its researchers, topics, publications, tools, etc. and relations between them). This ontology will form the basis to annotate documents in order to enable semantic access to these documents. research community researchers topics publications tools http://www.dmoz.org/Science/ http://dmoz.org/Computers/Internet/WWW/ http://dmoz.org/Reference/Education/ DARPA DAML Program AcademicStaff AdministrativeStaff Article AssistantProfessor AssociateProfessor Association Book Booklet Conference Department DevelopmentProject Employee Enterprise Event Exhibition FacultyMember FullProfessor Graduate InBook InCollection InProceedings Institute Lecture Lecturer Manager Manual MasterThesis Meeting Misc Organization Person PhDStudent PhDThesis Proceedings Product Project ProjectMeeting ProjectReport Publication Report ResearchGroup ResearchProject ResearchTopic SoftwareComponent SoftwareProject Student TechnicalStaff TechReport Thesis Topic Undergraduate University Unpublished Workshop abstract address affiliation age atEvent author booktitle carriedOutBy carriesOut chapter cooperateWith date dealtWithIn describesProject developedBy develops edition editor email employs eventTitle fax financedBy finances firstName hasPartEvent hasParts hasPrice head headOf headOfGroup homepage howpublished institution isAbout isbn isWorkedOnBy journal keywords lastName location member memberOfPC middleInitial month name note number organization organizerOrChairOf pages participant phone photo price product projectInfo publication publisher publishes school series source student studiesAt supervises supervisor title type volume worksAtProject year http://www.daml.org/2000/10/daml-ont http://www.w3.org/1999/02/22-rdf-syntax-ns http://www.w3.org/TR/1999/PR-rdf-schema-19990303 DAML-ONT Language definition DAML language DARPA DAML Program Class Disjoint Empty List Literal Nothing Ontology Property Qualification Restriction Thing TransitiveProperty UnambiguousProperty UniqueProperty cardinality comment complementOf default disjointUnionOf disjointWith domain equivalentTo first hasValue imports intersectionOf inverseOf isDefinedBy item label maxCardinality minCardinality oneOf onProperty qualifiedBy range rest restrictedBy sameClassAs samePropertyAs seeAlso subClassOf subPropertyOf toClass toValue type unionOf value versionInfo http://www.daml.org/2000/10/daml-ont http://www.w3.org/1999/02/22-rdf-syntax-ns Basic model of a web site content and structure. web site page ontology html link http://www.dmoz.org/Computers/Internet/WWW/ DARPA DAML Program Address Contact Document Email File Form HTMLElement Image ImageFile Link offSite onPage onSite Ontology Page Person Phone Site StyleSheet Table Text contact-how contact-info contact-who contains-file entryPoint-page file-author home-page link-onPage link-onSite page-component page-content site-component site-content site-pointOfContact http://grcinet.grci.com/maria/www/CodipSite/Onto/WebSite/WebSiteOntology_V27Aug2001.daml http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns Basic model of a resource biblographical information using the Dublin Core meta-data elments. dublin core, meta, biblography http://www.dmoz.org/Reference/Libraries/Library_and_Information_Science/ DARPA DAML Program Resource http://grcinet.grci.com/maria/www/codipsite/Onto/DublinCore/DublinCore_V27Aug2001.daml http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns Basic model of test, maintenance and diagnostic domain fault description. test maintenance diagnostics fault http://www.dmoz.org/Business/Industries/Construction_and_Maintenance/Maintenance/ DARPA DAML Program Component Fault Indicator Measurement Part Platform Property Status TimeStamp asOf-pointInTime assembly-madeOf assembly-partOf impact-affectedBy impact-affects measured-onComponent measured-onPlatform observed-indicator reference-detail reference-supports http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns Used to annotate a description of the UML-Based Ontology Toolset project. software engineering ontology cognitive science DARPA DAML Program AnnotationTool Annotator Architecture ArtificialAgent ArtificialIntelligence ArtificialLanguage CASEtool CognitiveScience Component ComputerScience DAML Discipline domainOntology Engineering Feature feature FormalLanguage formalmethods formalverification generalOntology Image Java Knowledge KnowledgeRepresentation LexicalSemantics licenseType machine-readablesemantics Map MarkupLanguage Model ModelingLanguage Multi-AgentSystems OntologyEngineer OntologyModel OntologyTool Organization Person ProgrammingLanguage RDF Science Semanticelement semanticelement semantics Slang SocialGroup SoftwareApplication SoftwareArtifact SoftwareEngineering softwaremodeling SoftwareTool Standard Synonym System TclTK TriggerCondition UBOT UML UserMessage VisualBasic WebPage WebResource Word Wordsense Work XMI XML addsAnnotation annotates annotatesWith appliesSemanticsfrom applyTo applyTool conductedIn connects connectsTo creates definedBy designedBy designedFor displaysMessage distribution elementOf enablesTool evaluates exports extends graphicalView implementationLanguage implementationOf implements imports includesElements integrates interpret inventedBy inverseOfaddsAnnotation inverseOfannotates inverseOfannotatesWith inverseOfappliesSemanticsfrom inverseOfapplyTool inverseOfconductedIn inverseOfconnects inverseOfconnectsTo inverseOfcreates inverseOfdefinedBy inverseOfdesignedBy inverseOfdesignedFor inverseOfdisplaysMessage inverseOfdistribution inverseOfelementOf inverseOfenablesTool inverseOfevaluates inverseOfexports inverseOfextends inverseOfgraphicalView inverseOfimplementationLanguage inverseOfimplementationOf inverseOfimplements inverseOfimports inverseOfincludesElements inverseOfintegrates inverseOfinterpret inverseOfinventedBy inverseOfmapsFrom inverseOfmapsTo inverseOfmatches inverseOfmeaning inverseOfmodelRepresentation inverseOfmodelsWith inverseOfproblemFor inverseOfproduces inverseOfproperty_a inverseOfproperty_b inverseOfreasonWith inverseOfreferences inverseOfrepresents inverseOfrepresentsWith inverseOfretrieves inverseOfshows inverseOfsoftwareArchitecture inverseOfsource inverseOfsponsors inverseOfsubontologyOf inverseOfsynonymy inverseOftextualView inverseOftriggers inverseOfwebRepresentation inverseOfwidelyAdoptedBy mapsFrom mapsTo matches meaning modelRepresentation modelsWith problemFor produces property_a property_b property_c reasonWith references represents representsWith retrieves shows softwareArchitecture source sponsors subontologyOf synonymy textualView triggers webRepresentation widelyAdoptedBy http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns DARPA DAML Program Person emailAddress employer familyName givenName phoneNumber http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns DARPA DAML Program Project description fundingAgency member name startDate website http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns DARPA DAML Program Division Member blurb director emailprefix extension function initials member name number project website http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns DARPA DAML Program Agenda Event TravelArrangement actionitem agenda air briefing carrental enddate event hotel location othertattendee person project projectattendee purpose startdate travel workproduct http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns DARPA DAML Program Snapshot caption creationDate description hasDirector hasMember project url http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns DARPA DAML Program Document DocumentAlternative DocumentBase DocumentRevision author comment creationDate format otherFormat otherFormatOf project revision revisionOf summary title http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns DARPA DAML Program Author Conference Date Document Publication author conference dateRange day document documentTitle documentUrl endDate journal location month name startDate title year http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns DARPA DAML Program ClosureReport Company Date ToDoComment ToDoItem actualeffort author comment content description effort entered estimatedeffort exitcriterion label performer prerequisite priority privacysetting project remark requester summary supportinglink supportsmilestone todoitemid workaround http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns http://www.w3.org/2000/01/rdf-schema This is the classic wines knowledge based translated into ontolingua and then translated into daml-ont. It does not include the rules that were included in the classic knowledge base but does include a reasonable frame ontologies for wines and meals. classic meals foods wines Other ALSATIAN-WINE AMERICAN-WINE ANJOU AUSTRALIAN-REGION BEAUJOLAIS BLAND-FISH BLAND-FISH-COURSE BORDEAUX BORDEAUX-REGION BOURGOGNE-REGION BURGUNDY CABERNET-FRANC CABERNET-SAUVIGNON CALIFORNIA-WINE CALIFORNIAN-REGION CHARDONNAY CHEESE-NUTS-DESSERT CHEESE-NUTS-DESSERT-COURSE CHENIN-BLANC CHIANTI CONSUMABLE-THING COTES-D-OR DARK-MEAT-FOWL DARK-MEAT-FOWL-COURSE DESSERT DESSERT-COURSE DESSERT-WINE DRY-RED-WINE DRY-RIESLING DRY-WHITE-WINE DRY-WINE EARLY-HARVEST EATING-GRAPE EDIBLE-THING FISH FISH-COURSE FOWL FRENCH-REGION FRUIT FRUIT-COURSE FULL-BODIED-WINE GAMAY genid105 genid11 genid14 genid17 genid2 genid20 genid24 genid27 genid5 genid75 genid8 GERMAN-WINE GRAPE ICE-WINE ITALIAN-REGION ITALIAN-WINE LATE-HARVEST LIGHT-MEAT-FOWL LIGHT-MEAT-FOWL-COURSE LOIRE LOIRE-REGION MARGAUX MEAL MEAL-COURSE MEAT MEDOC MEDOC-REGION MERITAGE MERLOT MEURSAULT MUSCADET NON-BLAND-FISH NON-BLAND-FISH-COURSE NON-OYSTER-SHELLFISH NON-OYSTER-SHELLFISH-COURSE NON-RED-MEAT NON-RED-MEAT-COURSE NON-SPICY-RED-MEAT NON-SPICY-RED-MEAT-COURSE NON-SWEET-FRUIT NON-SWEET-FRUIT-COURSE OTHER-TOMATO-BASED-FOOD OTHER-TOMATO-BASED-FOOD-COURSE OYSTER-SHELLFISH OYSTER-SHELLFISH-COURSE PASTA PASTA-WITH-HEAVY-CREAM-COURSE PASTA-WITH-HEAVY-CREAM-SAUCE PASTA-WITH-LIGHT-CREAM-COURSE PASTA-WITH-LIGHT-CREAM-SAUCE PASTA-WITH-NON-SPICY-RED-SAUCE PASTA-WITH-NON-SPICY-RED-SAUCE-COURSE PASTA-WITH-RED-SAUCE PASTA-WITH-SPICY-RED-SAUCE PASTA-WITH-SPICY-RED-SAUCE-COURSE PASTA-WITH-WHITE-SAUCE PAUILLAC PETITE-SYRAH PINOT-BLANC PINOT-NOIR PORT POTABLE-LIQUID RED-BORDEAUX RED-BURGUNDY RED-MEAT RED-MEAT-COURSE RED-TABLE-WINE RED-WINE RIESLING ROSE-WINE SANCERRE SAUTERNE SAUVIGNON-BLANC SEAFOOD SEAFOOD-COURSE SEMILLON SEMILLON-OR-SAUVIGNON-BLANC SHELLFISH SHELLFISH-COURSE SPICY-RED-MEAT SPICY-RED-MEAT-COURSE ST-EMILION SWEET-DESSERT SWEET-DESSERT-COURSE SWEET-FRUIT SWEET-FRUIT-COURSE SWEET-RIESLING SWEET-WINE TABLE-WINE TOURS US-REGION WHITE-BORDEAUX WHITE-BURGUNDY WHITE-LOIRE WHITE-NON-SWEET-WINE WHITE-TABLE-WINE WHITE-WINE WINE WINE-BODY WINE-COLOR WINE-FLAVOR WINE-GRAPE WINE-PROPERTY WINE-REGION WINE-SUGAR WINERY ZINFANDEL BODY BODY COLOR COLOR COURSE DRINK DRINK FLAVOR FLAVOR FOOD FOOD GRAPE-SLOT MAKER MAKER REGION REGION SUGAR SUGAR http://ontolingua.stanford.edu/doc/chimaera/ontologies/wines.daml http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns http://www.w3.org/2000/01/rdf-schema An ontology that models brewers and types of beer. This is the DAML version of a SHOE ontology. Beer Brewers http://dmoz.org/Recreation/Food/Drink/Beer/ Contributing Organization Ale Association Award Beer Bitter Black Bock Brewery BrownAle Caramel Carapils Cascade Chinook Chocolate DryStout Festival Galena Hallertau Hops ImperialStout IndiaPaleAle Ingredient KentGoldings Lager Malt Microbrewery Mild MountHood Munich Organization Pale PaleAle Perle Pilsner Porter Saaz ScotchAle Stout SweetStout Tettnang Willamette Yeast alcoholContent awardCategory awarded awardedAt brews isLocated madeFrom name sponsors http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns Ontology for the ACM Computing Classification System http://dmoz.org/Reference/Libraries/Library_and_Information_Science/Technical_Services/Cataloguing/Classification/Subject-Specific_Schemes/ DARPA DAML Program ACM_CS_Classification A_0_0_Biographies_Autobiographies A_0_1_Conference_Proceedings A_0_2_General_Literary_Works A_0_General A_1_Introductory_And_Survey A_2_Reference A_General_Literature A_M_Miscellaneous B_0_General B_1_0_General B_1_1_Control_Design_Styles B_1_2_Control_Structure_Performance_Analysis_And_Design_Aids B_1_4_0_Languages_And_Compilers B_1_4_1_Optimization B_1_4_Microprogram_Design_Aids B_1_5_0_Instruction_Set_Interpretation B_1_5_Microcode_Applications B_1_Control_Structures_And_Microprogramming B_1_M_Miscellaneous B_2_0_General B_2_1_0_Parallel B_2_1_1_Pipeline B_2_1_Design_Styles B_2_4_0_Algorithms B_2_4_1_Cost_Performance B_2_4_High_Speed_Arithmetic B_2_Arithmetic_And_Logic_Structures B_2_M_Miscellaneous B_3_0_General B_3_1_0_Dram B_3_1_1_Rom B_3_1_2_Sram B_3_1_Semiconductor_Memories B_3_2_0_Associative_Memories B_3_2_1_Cache_Memories B_3_2_2_Mass_Storage B_3_2_3_Primary_Memory B_3_2_4_Shared_Memory B_3_2_5_Virtual_Memory B_3_2_Design_Styles B_3_Memory_Structures B_3_M_Miscellaneous B_4_0_General B_4_1_Data_Communications_Devices B_4_2_0_Channels_And_Controllers B_4_2_1_Data_Terminals_And_Printers B_4_2_2_Image_Display B_4_2_3_Voice B_4_2_Input_Output_Devices B_4_3_0_Asynchronous_Synchronous_Operation B_4_3_1_Fiber_Optics B_4_3_2_Interfaces B_4_3_3_Parallel_I_O B_4_3_4_Topology B_4_3_Interconnections B_4_Input_Output_And_Data_Communications B_4_M_Miscellaneous B_5_0_General B_5_1_0_Arithmetic_And_Logic_Units B_5_1_1_Control_Design B_5_1_2_Data_Path_Design B_5_1_3_Memory_Design B_5_1_4_Styles B_5_1_Design B_5_2_0_Automatic_Synthesis B_5_2_1_Hardware_Description_Languages B_5_2_2_Optimization B_5_2_3_Simulation B_5_2_4_Verification B_5_2_Design_Aids B_5_M_Miscellaneous B_5_Register_Transfer_Level_Implementation B_6_0_General B_6_1_0_Cellular_Arrays_And_Automata B_6_1_1_Combinational_Logic B_6_1_2_Logic_Arrays B_6_1_3_Parallel_Circuits B_6_1_4_Sequential_Circuits B_6_1_Design_Styles B_6_3_0_Automatic_Synthesis B_6_3_1_Hardware_Description_Languages B_6_3_2_Optimization B_6_3_3_Simulation B_6_3_4_Switching_Theory B_6_3_5_Verification B_6_3_Design_Aids B_6_Logic_Design B_6_M_Miscellaneous B_7_0_General B_7_1_0_Advanced_Technologies B_7_1_1_Algorithms_Implemented_In_Hardware B_7_1_2_Gate_Arrays B_7_1_3_Input_Output_Circuits B_7_1_4_Memory_Technologies B_7_1_5_Microprocessors_And_Microcomputers B_7_1_6_Vlsi B_7_1_Types_And_Design_Styles B_7_2_0_Graphics B_7_2_1_Layout B_7_2_2_Placement_And_Routing B_7_2_3_Simulation B_7_2_4_Verification B_7_2_Design_Aids B_7_Integrated_Circuits B_7_M_Miscellaneous B_8_0_General B_8_1_Reliability_Testing_And_Fault_Tolerance B_8_2_Performance_Analysis_And_Design_Aids B_8_M_Miscellaneous B_8_Performance_And_Reliability B_Hardware B_M_0_Design_Management B_M_Miscellaneous Classification C_0_0_Hardware_Software_Interfaces C_0_1_Instruction_Set_Design C_0_2_Modeling_Of_Computer_Architecture C_0_3_System_Architectures C_0_4_Systems_Specification_Methodology C_0_General C_1_0_General C_1_1_0_Risc_Cisc_Vliw_Architectures C_1_1_Single_Data_Stream_Architectures C_1_2_0_Array_And_Vector_Processors C_1_2_1_Associative_Processors C_1_2_2_Connection_Machines C_1_2_3_Interconnection_Architectures C_1_2_4_Mimd C_1_2_5_Simd C_1_2_Multiple_Data_Stream_Architectures C_1_3_0_Adaptable_Architectures C_1_3_1_Analog_Computers C_1_3_2_Cellular_Architecture C_1_3_3_Data_Flow_Architectures C_1_3_4_Heterogeneous_Hybrid_Systems C_1_3_5_Neural_Nets C_1_3_6_Pipeline_Processors C_1_3_Other_Architecture_Styles C_1_4_0_Distributed_Architectures C_1_4_1_Mobile_Processors C_1_4_Parallel_Architectures C_1_M_Miscellaneous C_1_Processor_Architectures C_2_0_0_Data_Communications C_2_0_1_Osi C_2_0_2_Security_And_Protection C_2_0_General C_2_1_0_Atm C_2_1_1_Circuit_Switching_Networks C_2_1_2_Distributed_Networks C_2_1_3_Frame_Relay_Networks C_2_1_4_Isdn C_2_1_5_Network_Communications C_2_1_6_Network_Topology C_2_1_7_Packet_Switching_Networks C_2_1_8_Store_And_Forward_Networks C_2_1_9_Wireless_Communication C_2_1_Network_Architecture_And_Design C_2_2_0_Applications C_2_2_1_Protocol_Architecture C_2_2_2_Protocol_Verification C_2_2_3_Routing_Protocols C_2_2_Network_Protocols C_2_3_0_Network_Management C_2_3_1_Network_Monitoring C_2_3_2_Public_Networks C_2_3_Network_Operations C_2_4_0_Client_Server C_2_4_1_Distributed_Applications C_2_4_2_Distributed_Databases C_2_4_3_Network_Operating_Systems C_2_4_Distributed_Systems C_2_5_0_Access_Schemes C_2_5_1_Buses C_2_5_2_Ethernet C_2_5_3_High_Speed C_2_5_4_Internet C_2_5_5_Token_Rings C_2_5_Local_And_Wide_Area_Networks C_2_6_0_Routers C_2_6_1_Standards C_2_6_Internetworking C_2_Computer_Communication_Networks C_2_M_Miscellaneous C_3_0_Microprocessor_Microcomputer_Applications C_3_1_Process_Control_Systems C_3_2_Real_Time_And_Embedded_Systems C_3_3_Signal_Processing_Systems C_3_4_Smartcards C_3_Special_Purpose_And_Application_Based_Systems C_4_0_Design_Studies C_4_1_Fault_Tolerance C_4_2_Measurement_Techniques C_4_3_Modeling_Techniques C_4_4_Performance_Attributes C_4_5_Reliability_Availability_And_Serviceability C_4_Performance_Of_Systems C_5_0_General C_5_1_0_Super_Computers C_5_1_Large_And_Medium_Computers C_5_3_0_Microprocessors C_5_3_1_Personal_Computers C_5_3_2_Portable_Devices C_5_3_3_Workstations C_5_3_Microcomputers C_5_4_Vlsi_Systems C_5_5_Servers C_5_Computer_System_Implementation C_5_M_Miscellaneous C_Computer_Systems_Organization C_M_Miscellaneous D_0_General D_1_0_General D_1_1_Applicative_Functional_Programming D_1_2_Automatic_Programming D_1_3_0_Distributed_Programming D_1_3_1_Parallel_Programming D_1_3_Concurrent_Programming D_1_4_Sequential_Programming D_1_5_Object_Oriented_Programming D_1_6_Logic_Programming D_1_7_Visual_Programming D_1_M_Miscellaneous D_1_Programming_Techniques D_2_0_0_Protection_Mechanisms D_2_0_1_Standards D_2_0_General D_2_11_0_Data_Abstraction D_2_11_1_Domain_Specific_Architectures D_2_11_2_Information_Hiding D_2_11_3_Languages D_2_11_4_Patterns D_2_11_Software_Architectures D_2_12_0_Data_Mapping D_2_12_1_Distributed_Objects D_2_12_2_Interface_Definition_Languages D_2_12_Interoperability D_2_13_0_Domain_Engineering D_2_13_1_Reusable_Libraries D_2_13_2_Reuse_Models D_2_13_Reusable_Software D_2_1_0_Elicitation_Methods D_2_1_1_Languages D_2_1_2_Methodologies D_2_1_3_Tools D_2_1_Requirements_Specifications D_2_2_0_Computer_Aided_Software_Engineering D_2_2_1_Decision_Tables D_2_2_2_Evolutionary_Prototyping D_2_2_3_Flow_Charts D_2_2_4_Modules_And_Interfaces D_2_2_5_Object_Oriented_Design_Methods D_2_2_6_Petri_Nets D_2_2_7_Software_Libraries D_2_2_8_State_Diagrams D_2_2_9_User_Interfaces D_2_2_Design_Tools_And_Techniques D_2_3_0_Object_Oriented_Programming D_2_3_1_Pretty_Printers D_2_3_2_Program_Editors D_2_3_3_Standards D_2_3_4_Structured_Programming D_2_3_5_Top_Down_Programming D_2_3_Coding_Tools_And_Techniques D_2_4_0_Assertion_Checkers D_2_4_1_Class_Invariants D_2_4_2_Correctness_Proofs D_2_4_3_Formal_Methods D_2_4_4_Model_Checking D_2_4_5_Programming_By_Contract D_2_4_6_Reliability D_2_4_7_Statistical_Methods D_2_4_8_Validation D_2_4_Software_Program_Verification D_2_5_0_Code_Inspections_And_Walk_Throughs D_2_5_1_Debugging_Aids D_2_5_2_Diagnostics D_2_5_3_Distributed_Debugging D_2_5_4_Error_Handling_And_Recovery D_2_5_5_Monitors D_2_5_6_Symbolic_Execution D_2_5_7_Testing_Tools D_2_5_8_Tracing D_2_5_Testing_And_Debugging D_2_6_0_Graphical_Environments D_2_6_1_Integrated_Environments D_2_6_2_Interactive_Environments D_2_6_3_Programmer_Workbench D_2_6_Programming_Environments D_2_7_0_Documentation D_2_7_1_Portability D_2_7_2_Restructuring_Reverse_Engineering_And_Reengineering D_2_7_3_Version_Control D_2_7_Distribution_Maintenance_And_Enhancement D_2_8_0_Complexity_Measures D_2_8_1_Performance_Measures D_2_8_2_Process_Metrics D_2_8_3_Product_Metrics D_2_8_Metrics D_2_9_0_Cost_Estimation D_2_9_1_Life_Cycle D_2_9_2_Productivity D_2_9_3_Programming_Teams D_2_9_4_Software_Configuration_Management D_2_9_5_Software_Process_Models D_2_9_6_Software_Quality_Assurance D_2_9_7_Time_Estimation D_2_9_Management D_2_M_Miscellaneous D_2_Software_Engineering D_3_0_0_Standards D_3_0_General D_3_1_0_Semantics D_3_1_1_Syntax D_3_1_Formal_Definitions_And_Theory D_3_2_0_Applicative_Functional_Languages D_3_2_10_Very_High_Level_Languages D_3_2_1_Concurrent_Distributed_And_Parallel_Languages D_3_2_2_Constraint_And_Logic_Languages D_3_2_3_Data_Flow_Languages D_3_2_4_Design_Languages D_3_2_5_Extensible_Languages D_3_2_6_Macro_And_Assembly_Languages D_3_2_7_Multiparadigm_Languages D_3_2_8_Object_Oriented_Languages D_3_2_9_Specialized_Application_Languages D_3_2_Language_Classifications D_3_3_0_Abstract_Data_Types D_3_3_10_Input_Output D_3_3_11_Modules_Packages D_3_3_12_Patterns D_3_3_13_Polymorphism D_3_3_14_Procedures_Functions_And_Subroutines D_3_3_15_Recursion D_3_3_1_Classes_And_Objects D_3_3_2_Concurrent_Programming_Structures D_3_3_3_Constraints D_3_3_4_Control_Structures D_3_3_5_Coroutines D_3_3_6_Data_Types_And_Structures D_3_3_7_Dynamic_Storage_Management D_3_3_8_Frameworks D_3_3_9_Inheritance D_3_3_Language_Constructs_And_Features D_3_4_0_Code_Generation D_3_4_10_Run_Time_Environments D_3_4_11_Translator_Writing_Systems_And_Compiler_Generators D_3_4_1_Compilers D_3_4_2_Debuggers D_3_4_3_Incremental_Compilers D_3_4_4_Interpreters D_3_4_5_Memory_Management D_3_4_6_Optimization D_3_4_7_Parsing D_3_4_8_Preprocessors D_3_4_9_Retargetable_Compilers D_3_4_Processors D_3_M_Miscellaneous D_3_Programming_Languages D_4_0_General D_4_1_0_Concurrency D_4_1_1_Deadlocks D_4_1_2_Multiprocessing_Multiprogramming_Multitasking D_4_1_3_Mutual_Exclusion D_4_1_4_Scheduling D_4_1_5_Synchronization D_4_1_6_Threads D_4_1_Process_Management D_4_2_0_Allocation_Deallocation_Strategies D_4_2_1_Distributed_Memories D_4_2_2_Garbage_Collection D_4_2_3_Main_Memory D_4_2_4_Secondary_Storage D_4_2_5_Storage_Hierarchies D_4_2_6_Virtual_Memory D_4_2_Storage_Management D_4_3_0_Access_Methods D_4_3_1_Directory_Structures D_4_3_2_Distributed_File_Systems D_4_3_3_File_Organization D_4_3_File_Systems_Management D_4_4_0_Buffering D_4_4_1_Input_Output D_4_4_2_Message_Sending D_4_4_3_Network_Communication D_4_4_Communications_Management D_4_5_0_Backup_Procedures D_4_5_1_Checkpoint_Restart D_4_5_2_Fault_Tolerance D_4_5_3_Verification D_4_5_Reliability D_4_6_0_Access_Controls D_4_6_1_Authentication D_4_6_2_Cryptographic_Controls D_4_6_3_Information_Flow_Controls D_4_6_4_Invasive_Software D_4_6_Security_And_Protection D_4_7_0_Distributed_Systems D_4_7_1_Interactive_Systems D_4_7_2_Real_Time_Systems_And_Embedded_Systems D_4_7_Organization_And_Design D_4_8_0_Measurements D_4_8_1_Modeling_And_Prediction D_4_8_2_Monitors D_4_8_3_Operational_Analysis D_4_8_4_Queueing_Theory D_4_8_5_Simulation D_4_8_6_Stochastic_Analysis D_4_8_Performance D_4_9_0_Command_And_Control_Languages D_4_9_1_Window_Managers D_4_9_Systems_Programs_And_Utilities D_4_M_Miscellaneous D_4_Operating_Systems D_M_Miscellaneous D_Software E_0_General E_1_0_Arrays E_1_1_Distributed_Data_Structures E_1_2_Graphs_And_Networks E_1_3_Lists_Stacks_And_Queues E_1_4_Records E_1_5_Trees E_1_Data_Structures E_2_0_Hash_Table_Representations E_2_1_Linked_Representations E_2_2_Object_Representation E_2_Data_Storage_Representations E_3_0_Code_Breaking E_3_1_Public_Key_Cryptosystems E_3_2_Standards E_3_Data_Encryption E_4_0_Data_Compaction_And_Compression E_4_1_Error_Control_Codes E_4_2_Formal_Models_Of_Communication E_4_Coding_And_Information_Theory E_5_0_Backup_Recovery E_5_1_Organization_Structure E_5_2_Sorting_Searching E_5_Files E_Data E_M_Miscellaneous F_0_General F_1_0_General F_1_1_0_Automata F_1_1_1_Bounded_Action_Devices F_1_1_2_Computability_Theory F_1_1_3_Relations_Between_Models F_1_1_4_Self_Modifying_Machines F_1_1_5_Unbounded_Action_Devices F_1_1_Models_Of_Computation F_1_2_0_Alternation_And_Nondeterminism F_1_2_1_Interactive_And_Reactive_Computation F_1_2_2_Online_Computation F_1_2_3_Parallelism_And_Concurrency F_1_2_4_Probabilistic_Computation F_1_2_5_Relativized_Computation F_1_2_Modes_Of_Computation F_1_3_0_Complexity_Hierarchies F_1_3_1_Reducibility_And_Completeness F_1_3_2_Relations_Among_Complexity_Classes F_1_3_3_Relations_Among_Complexity_Measures F_1_3_Complexity_Measures_And_Classes F_1_Computation_By_Abstract_Devices F_1_M_Miscellaneous F_2_0_General F_2_1_0_Computation_Of_Transforms F_2_1_1_Computations_In_Finite_Fields F_2_1_2_Computations_On_Matrices F_2_1_3_Computations_On_Polynomials F_2_1_4_Number_Theoretic_Computations F_2_1_Numerical_Algorithms_And_Problems F_2_2_0_Complexity_Of_Proof_Procedures F_2_2_1_Computations_On_Discrete_Structures F_2_2_2_Geometrical_Problems_And_Computations F_2_2_3_Pattern_Matching F_2_2_4_Routing_And_Layout F_2_2_5_Sequencing_And_Scheduling F_2_2_6_Sorting_And_Searching F_2_2_Nonnumerical_Algorithms_And_Problems F_2_3_Tradeoffs_Between_Complexity_Measures F_2_Analysis_Of_Algorithms_And_Problem_Complexity F_2_M_Miscellaneous F_3_0_General F_3_1_0_Assertions F_3_1_1_Invariants F_3_1_2_Logics_Of_Programs F_3_1_3_Mechanical_Verification F_3_1_4_Pre__And_Post_Conditions F_3_1_5_Specification_Techniques F_3_1_Specifying_And_Verifying_And_Reasoning_About_Programs F_3_2_0_Algebraic_Approaches_To_Semantics F_3_2_1_Denotational_Semantics F_3_2_2_Operational_Semantics F_3_2_3_Partial_Evaluation F_3_2_4_Process_Models F_3_2_5_Program_Analysis F_3_2_Semantics_Of_Programming_Languages F_3_3_0_Control_Primitives F_3_3_1_Functional_Constructs F_3_3_2_Object_Oriented_Constructs F_3_3_3_Program_And_Recursion_Schemes F_3_3_4_Type_Structure F_3_3_Studies_Of_Program_Constructs F_3_Logics_And_Meanings_Of_Programs F_3_M_Miscellaneous F_4_0_General F_4_1_0_Computability_Theory F_4_1_10_Temporal_Logic F_4_1_1_Computational_Logic F_4_1_2_Lambda_Calculus_And_Related_Systems F_4_1_3_Logic_And_Constraint_Programming F_4_1_4_Mechanical_Theorem_Proving F_4_1_5_Modal_Logic F_4_1_6_Model_Theory F_4_1_7_Proof_Theory F_4_1_8_Recursive_Function_Theory F_4_1_9_Set_Theory F_4_1_Mathematical_Logic F_4_2_0_Decision_Problems F_4_2_1_Grammar_Types F_4_2_2_Parallel_Rewriting_Systems F_4_2_3_Parsing F_4_2_4_Thue_Systems F_4_2_Grammars_And_Other_Rewriting_Systems F_4_3_0_Algebraic_Language_Theory F_4_3_1_Classes_Defined_By_Grammars_Or_Automata F_4_3_2_Decision_Problems F_4_3_3_Operations_On_Languages F_4_3_Formal_Languages F_4_Mathematical_Logic_And_Formal_Languages F_4_M_Miscellaneous F_M_Miscellaneous F_Theory_Of_Computation G_0_General G_1_0_0_Computer_Arithmetic G_1_0_1_Conditioning G_1_0_2_Error_Analysis G_1_0_3_Interval_Arithmetic G_1_0_4_Multiple_Precision_Arithmetic G_1_0_5_Numerical_Algorithms G_1_0_6_Parallel_Algorithms G_1_0_7_Stability G_1_0_General G_1_10_Applications G_1_1_0_Extrapolation G_1_1_1_Interpolation_Formulas G_1_1_2_Smoothing G_1_1_3_Spline_And_Piecewise_Polynomial_Interpolation G_1_1_Interpolation G_1_2_0_Approximation_Of_Surfaces_And_Contours G_1_2_10_Spline_And_Piecewise_Polynomial_Approximation G_1_2_11_Wavelets_And_Fractals G_1_2_1_Chebyshev_Approximation_And_Theory G_1_2_2_Elementary_Function_Approximation G_1_2_3_Fast_Fourier_Transforms G_1_2_4_Least_Squares_Approximation G_1_2_5_Linear_Approximation G_1_2_6_Minimax_Approximation_And_Algorithms G_1_2_7_Nonlinear_Approximation G_1_2_8_Rational_Approximation G_1_2_9_Special_Function_Approximations G_1_2_Approximation G_1_3_0_Conditioning G_1_3_1_Eigenvalues_And_Eigenvectors G_1_3_2_Error_Analysis G_1_3_3_Linear_Systems G_1_3_4_Matrix_Inversion G_1_3_5_Singular_Value_Decomposition G_1_3_6_Sparse_Structured_And_Very_Large_Systems G_1_3_Numerical_Linear_Algebra G_1_4_0_Adaptive_And_Iterative_Quadrature G_1_4_1_Automatic_Differentiation G_1_4_2_Error_Analysis G_1_4_3_Finite_Difference_Methods G_1_4_4_Gaussian_Quadrature G_1_4_5_Iterative_Methods G_1_4_6_Multidimensional_Multiple_Quadrature G_1_4_Quadrature_And_Numerical_Differentiation G_1_5_0_Continuation_Homotopy_Methods G_1_5_1_Convergence G_1_5_2_Error_Analysis G_1_5_3_Iterative_Methods G_1_5_4_Polynomials_Methods_For G_1_5_5_Systems_Of_Equations G_1_5_Roots_Of_Nonlinear_Equations G_1_6_0_Constrained_Optimization G_1_6_10_Stochastic_Programming G_1_6_11_Unconstrained_Optimization G_1_6_1_Convex_Programming G_1_6_2_Global_Optimization G_1_6_3_Gradient_Methods G_1_6_4_Integer_Programming G_1_6_5_Least_Squares_Methods G_1_6_6_Linear_Programming G_1_6_7_Nonlinear_Programming G_1_6_8_Quadratic_Programming_Methods G_1_6_9_Simulated_Annealing G_1_6_Optimization G_1_7_0_Boundary_Value_Problems G_1_7_1_Chaotic_Systems G_1_7_2_Convergence_And_Stability G_1_7_3_Differential_Algebraic_Equations G_1_7_4_Error_Analysis G_1_7_5_Finite_Difference_Methods G_1_7_6_Initial_Value_Problems G_1_7_7_Multistep_And_Multivalue_Methods G_1_7_8_One_Step_Methods G_1_7_9_Stiff_Equations G_1_7_Ordinary_Differential_Equations G_1_8_0_Domain_Decomposition_Methods G_1_8_10_Parabolic_Equations G_1_8_11_Spectral_Methods G_1_8_1_Elliptic_Equations G_1_8_2_Finite_Difference_Methods G_1_8_3_Finite_Element_Methods G_1_8_4_Finite_Volume_Methods G_1_8_5_Hyperbolic_Equations G_1_8_6_Inverse_Problems G_1_8_7_Iterative_Solution_Techniques G_1_8_8_Method_Of_Lines G_1_8_9_Multigrid_And_Multilevel_Methods G_1_8_Partial_Differential_Equations G_1_9_0_Delay_Equations G_1_9_1_Fredholm_Equations G_1_9_2_Integro_Differential_Equations G_1_9_3_Volterra_Equations G_1_9_Integral_Equations G_1_M_Miscellaneous G_1_Numerical_Analysis G_2_0_General G_2_1_0_Combinatorial_Algorithms G_2_1_1_Counting_Problems G_2_1_2_Generating_Functions G_2_1_3_Permutations_And_Combinations G_2_1_4_Recurrences_And_Difference_Equations G_2_1_Combinatorics G_2_2_0_Graph_Algorithms G_2_2_1_Graph_Labeling G_2_2_2_Hypergraphs G_2_2_3_Network_Problems G_2_2_4_Path_And_Circuit_Problems G_2_2_5_Trees G_2_2_Graph_Theory G_2_3_Applications G_2_Discrete_Mathematics G_2_M_Miscellaneous G_3_0_Contingency_Table_Analysis G_3_10_Reliability_And_Life_Testing G_3_11_Renewal_Theory G_3_12_Robust_Regression G_3_13_Statistical_Computing G_3_14_Statistical_Software G_3_15_Stochastic_Processes G_3_16_Survival_Analysis G_3_17_Time_Series_Analysis G_3_1_Correlation_And_Regression_Analysis G_3_2_Distribution_Functions G_3_3_Experimental_Design G_3_4_Markov_Processes G_3_5_Multivariate_Statistics G_3_6_Nonparametric_Statistics G_3_7_Probabilistic_Algorithms G_3_8_Queueing_Theory G_3_9_Random_Number_Generation G_3_Probability_And_Statistics G_4_0_Algorithm_Design_And_Analysis G_4_1_Certification_And_Testing G_4_2_Documentation G_4_3_Efficiency G_4_4_Parallel_And_Vector_Implementations G_4_5_Reliability_And_Robustness G_4_6_User_Interfaces G_4_Mathematical_Software G_Mathematics_Of_Computing G_M_Miscellaneous H_0_General H_1_0_General H_1_1_0_General_Systems_Theory H_1_1_1_Information_Theory H_1_1_2_Value_Of_Information H_1_1_Systems_And_Information_Theory H_1_2_0_Human_Factors H_1_2_1_Human_Information_Processing H_1_2_2_Software_Psychology H_1_2_User_Machine_Systems H_1_Models_And_Principles H_1_M_Miscellaneous H_2_0_General H_2_1_0_Data_Models H_2_1_1_Normal_Forms H_2_1_2_Schema_And_Subschema H_2_1_Logical_Design H_2_2_0_Access_Methods H_2_2_1_Deadlock_Avoidance H_2_2_2_Recovery_And_Restart H_2_2_Physical_Design H_2_3_0_Data_Description_Languages H_2_3_1_Data_Manipulation_Languages H_2_3_2_Database_Persistent_Programming_Languages H_2_3_3_Query_Languages H_2_3_4_Report_Writers H_2_3_Languages H_2_4_0_Concurrency H_2_4_1_Distributed_Databases H_2_4_2_Multimedia_Databases H_2_4_3_Object_Oriented_Databases H_2_4_4_Parallel_Databases H_2_4_5_Query_Processing H_2_4_6_Relational_Databases H_2_4_7_Rule_Based_Databases H_2_4_8_Textual_Databases H_2_4_9_Transaction_Processing H_2_4_Systems H_2_5_Heterogeneous_Databases H_2_6_Database_Machines H_2_7_0_Data_Dictionary_Directory H_2_7_1_Data_Warehouse_And_Repository H_2_7_2_Logging_And_Recovery H_2_7_3_Security_Integrity_And_Protection H_2_7_Database_Administration H_2_8_0_Data_Mining H_2_8_1_Image_Databases H_2_8_2_Scientific_Databases H_2_8_3_Spatial_Databases_And_Gis H_2_8_4_Statistical_Databases H_2_8_Database_Applications H_2_Database_Management H_2_M_Miscellaneous H_3_0_General H_3_1_0_Abstracting_Methods H_3_1_1_Dictionaries H_3_1_2_Indexing_Methods H_3_1_3_Linguistic_Processing H_3_1_4_Thesauruses H_3_1_Content_Analysis_And_Indexing H_3_2_0_File_Organization H_3_2_Information_Storage H_3_3_0_Clustering H_3_3_1_Information_Filtering H_3_3_2_Query_Formulation H_3_3_3_Relevance_Feedback H_3_3_4_Retrieval_Models H_3_3_5_Search_Process H_3_3_6_Selection_Process H_3_3_Information_Search_And_Retrieval H_3_4_0_Distributed_Systems H_3_4_1_Information_Networks H_3_4_2_Performance_Evaluation H_3_4_3_User_Profiles_And_Alert_Services H_3_4_Systems_And_Software H_3_5_0_Commercial_Services H_3_5_1_Data_Sharing H_3_5_2_Web_Based_Services H_3_5_Online_Information_Services H_3_6_0_Large_Text_Archives H_3_6_Library_Automation H_3_7_0_Collection H_3_7_1_Dissemination H_3_7_2_Standards H_3_7_3_Systems_Issues H_3_7_4_User_Issues H_3_7_Digital_Libraries H_3_Information_Storage_And_Retrieval H_3_M_Miscellaneous H_4_0_General H_4_1_0_Desktop_Publishing H_4_1_1_Groupware H_4_1_2_Spreadsheets H_4_1_3_Time_Management H_4_1_4_Word_Processing H_4_1_5_Workflow_Management H_4_1_Office_Automation H_4_2_0_Decision_Support H_4_2_1_Logistics H_4_2_Types_Of_Systems H_4_3_0_Bulletin_Boards H_4_3_1_Computer_Conferencing_Teleconferencing_And_Videoconferencing H_4_3_2_Electronic_Mail H_4_3_3_Information_Browsers H_4_3_4_Videotex H_4_3_Communications_Applications H_4_Information_Systems_Applications H_4_M_Miscellaneous H_5_0_General H_5_1_0_Animations H_5_1_1_Artificial_Augmented_And_Virtual_Realities H_5_1_2_Audio_Input_Output H_5_1_3_Evaluation_Methodology H_5_1_4_Video H_5_1_Multimedia_Information_Systems H_5_2_0_Auditory_Non_Speech_Feedback H_5_2_10_Screen_Design H_5_2_11_Standardization H_5_2_12_Style_Guides H_5_2_13_Theory_And_Methods H_5_2_14_Training_Help_And_Documentation H_5_2_15_User_Centered_Design H_5_2_16_User_Interface_Management_Systems H_5_2_17_Voice_I_O H_5_2_18_Windowing_Systems H_5_2_1_Benchmarking H_5_2_2_Ergonomics H_5_2_3_Evaluation_Methodology H_5_2_4_Graphical_User_Interfaces H_5_2_5_Haptic_I_O H_5_2_6_Input_Devices_And_Strategies H_5_2_7_Interaction_Styles H_5_2_8_Natural_Language H_5_2_9_Prototyping H_5_2_User_Interfaces H_5_3_0_Asynchronous_Interaction H_5_3_1_Collaborative_Computing H_5_3_2_Computer_Supported_Cooperative_Work H_5_3_3_Evaluation_Methodology H_5_3_4_Organizational_Design H_5_3_5_Synchronous_Interaction H_5_3_6_Theory_And_Models H_5_3_7_Web_Based_Interaction H_5_3_Group_And_Organization_Interfaces H_5_4_0_Architectures H_5_4_1_Navigation H_5_4_2_Theory H_5_4_3_User_Issues H_5_4_Hypertext_Hypermedia H_5_5_0_Methodologies_And_Techniques H_5_5_1_Modeling H_5_5_2_Signal_Analysis_Synthesis_And_Processing H_5_5_3_Systems H_5_5_Sound_And_Music_Computing H_5_Information_Interfaces_And_Presentation H_5_M_Miscellaneous H_Information_Systems H_M_Miscellaneous I_0_General I_1_0_General I_1_1_0_Representations I_1_1_1_Simplification_Of_Expressions I_1_1_Expressions_And_Their_Representation I_1_2_0_Algebraic_Algorithms I_1_2_1_Analysis_Of_Algorithms I_1_2_2_Nonalgebraic_Algorithms I_1_2_Algorithms I_1_3_0_Evaluation_Strategies I_1_3_1_Special_Purpose_Algebraic_Systems I_1_3_Languages_And_Systems I_1_4_Applications I_1_M_Miscellaneous I_1_Symbolic_And_Algebraic_Manipulation I_2_0_0_Cognitive_Simulation I_2_0_1_Philosophical_Foundations I_2_0_General I_2_10_0_3d_Stereo_Scene_Analysis I_2_10_1_Intensity_Color_Photometry_And_Thresholding I_2_10_2_Modeling_And_Recovery_Of_Physical_Attributes I_2_10_3_Motion I_2_10_4_Perceptual_Reasoning I_2_10_5_Representations_Data_Structures_And_Transforms I_2_10_6_Shape I_2_10_7_Texture I_2_10_8_Video_Analysis I_2_10_Vision_And_Scene_Understanding I_2_11_0_Coherence_And_Coordination I_2_11_1_Intelligent_Agents I_2_11_2_Languages_And_Structures I_2_11_3_Multiagent_Systems I_2_11_Distributed_Artificial_Intelligence I_2_1_0_Cartography I_2_1_1_Games I_2_1_2_Industrial_Automation I_2_1_3_Law I_2_1_4_Medicine_And_Science I_2_1_5_Natural_Language_Interfaces I_2_1_6_Office_Automation I_2_1_Applications_And_Expert_Systems I_2_2_0_Automatic_Analysis_Of_Algorithms I_2_2_1_Program_Modification I_2_2_2_Program_Synthesis I_2_2_3_Program_Transformation I_2_2_4_Program_Verification I_2_2_Automatic_Programming I_2_3_0_Answer_Reason_Extraction I_2_3_1_Deduction I_2_3_2_Inference_Engines I_2_3_3_Logic_Programming I_2_3_4_Mathematical_Induction I_2_3_5_Nonmonotonic_Reasoning_And_Belief_Revision I_2_3_6_Resolution I_2_3_7_Uncertainty_``Fuzzy''_And_Probabilistic_Reasoning I_2_3_Deduction_And_Theorem_Proving I_2_4_0_Frames_And_Scripts I_2_4_1_Modal_Logic I_2_4_2_Predicate_Logic I_2_4_3_Relation_Systems I_2_4_4_Representation_Languages I_2_4_5_Representations I_2_4_6_Semantic_Networks I_2_4_7_Temporal_Logic I_2_4_Knowledge_Representation_Formalisms_And_Methods I_2_5_0_Expert_System_Tools_And_Techniques I_2_5_Programming_Languages_And_Software I_2_6_0_Analogies I_2_6_1_Concept_Learning I_2_6_2_Connectionism_And_Neural_Nets I_2_6_3_Induction I_2_6_4_Knowledge_Acquisition I_2_6_5_Language_Acquisition I_2_6_6_Parameter_Learning I_2_6_Learning I_2_7_0_Discourse I_2_7_1_Language_Generation I_2_7_2_Language_Models I_2_7_3_Language_Parsing_And_Understanding I_2_7_4_Machine_Translation I_2_7_5_Speech_Recognition_And_Synthesis I_2_7_6_Text_Analysis I_2_7_Natural_Language_Processing I_2_8_0_Backtracking I_2_8_1_Control_Theory I_2_8_2_Dynamic_Programming I_2_8_3_Graph_And_Tree_Search_Strategies I_2_8_4_Heuristic_Methods I_2_8_5_Plan_Execution_Formation_And_Generation I_2_8_6_Scheduling I_2_8_Problem_Solving_Control_Methods_And_Search I_2_9_0_Autonomous_Vehicles I_2_9_1_Commercial_Robots_And_Applications I_2_9_2_Kinematics_And_Dynamics I_2_9_3_Manipulators I_2_9_4_Operator_Interfaces I_2_9_5_Propelling_Mechanisms I_2_9_6_Sensors I_2_9_7_Workcell_Organization_And_Planning I_2_9_Robotics I_2_Artificial_Intelligence I_2_M_Miscellaneous I_3_0_General I_3_1_0_Graphics_Processors I_3_1_1_Input_Devices I_3_1_2_Parallel_Processing I_3_1_3_Raster_Display_Devices I_3_1_Hardware_Architecture I_3_2_0_Distributed_Network_Graphics I_3_2_Graphics_Systems I_3_3_0_Bitmap_And_Framebuffer_Operations I_3_3_1_Digitizing_And_Scanning I_3_3_2_Display_Algorithms I_3_3_3_Line_And_Curve_Generation I_3_3_4_Viewing_Algorithms I_3_3_Picture_Image_Generation I_3_4_0_Application_Packages I_3_4_1_Graphics_Editors I_3_4_2_Graphics_Packages I_3_4_3_Paint_Systems I_3_4_4_Software_Support I_3_4_5_Virtual_Device_Interfaces I_3_4_Graphics_Utilities I_3_5_0_Boundary_Representations I_3_5_1_Curve_Surface_Solid_And_Object_Representations I_3_5_2_Geometric_Algorithms_Languages_And_Systems I_3_5_3_Hierarchy_And_Geometric_Transformations I_3_5_4_Modeling_Packages I_3_5_5_Object_Hierarchies I_3_5_6_Physically_Based_Modeling I_3_5_7_Splines I_3_5_Computational_Geometry_And_Object_Modeling I_3_6_0_Ergonomics I_3_6_1_Graphics_Data_Structures_And_Data_Types I_3_6_2_Interaction_Techniques I_3_6_3_Languages I_3_6_4_Standards I_3_6_Methodology_And_Techniques I_3_7_0_Animation I_3_7_1_Color_Shading_Shadowing_And_Texture I_3_7_2_Fractals I_3_7_3_Hidden_Line_Surface_Removal I_3_7_4_Radiosity I_3_7_5_Raytracing I_3_7_6_Virtual_Reality I_3_7_7_Visible_Line_Surface_Algorithms I_3_7_Three_Dimensional_Graphics_And_Realism I_3_8_Applications I_3_Computer_Graphics I_3_M_Miscellaneous I_4_0_0_Image_Displays I_4_0_1_Image_Processing_Software I_4_0_General I_4_10_0_Hierarchical I_4_10_1_Morphological I_4_10_2_Multidimensional I_4_10_3_Statistical I_4_10_4_Volumetric I_4_10_Image_Representation I_4_1_0_Camera_Calibration I_4_1_1_Imaging_Geometry I_4_1_2_Quantization I_4_1_3_Radiometry I_4_1_4_Reflectance I_4_1_5_Sampling I_4_1_6_Scanning I_4_1_Digitization_And_Image_Capture I_4_2_0_Approximate_Methods I_4_2_Compression_Coding I_4_3_0_Filtering I_4_3_1_Geometric_Correction I_4_3_2_Grayscale_Manipulation I_4_3_3_Registration I_4_3_4_Smoothing I_4_3_Enhancement I_4_4_0_Kalman_Filtering I_4_4_Restoration I_4_5_0_Series_Expansion_Methods I_4_5_1_Transform_Methods I_4_5_Reconstruction I_4_6_0_Edge_And_Feature_Detection I_4_6_1_Pixel_Classification I_4_6_2_Region_Growing_Partitioning I_4_6_3_Relaxation I_4_6_Segmentation I_4_7_0_Feature_Representation I_4_7_1_Invariants I_4_7_2_Moments I_4_7_3_Projections I_4_7_4_Size_And_Shape I_4_7_5_Texture I_4_7_Feature_Measurement I_4_8_0_Color I_4_8_10_Surface_Fitting I_4_8_11_Time_Varying_Imagery I_4_8_12_Tracking I_4_8_1_Depth_Cues I_4_8_2_Motion I_4_8_3_Object_Recognition I_4_8_4_Photometry I_4_8_5_Range_Data I_4_8_6_Sensor_Fusion I_4_8_7_Shading I_4_8_8_Shape I_4_8_9_Stereo I_4_8_Scene_Analysis I_4_9_Applications I_4_Image_Processing_And_Computer_Vision I_4_M_Miscellaneous I_5_0_General I_5_1_0_Fuzzy_Set I_5_1_1_Geometric I_5_1_2_Neural_Nets I_5_1_3_Statistical I_5_1_4_Structural I_5_1_Models I_5_2_0_Classifier_Design_And_Evaluation I_5_2_1_Feature_Evaluation_And_Selection I_5_2_2_Pattern_Analysis I_5_2_Design_Methodology I_5_3_0_Algorithms I_5_3_1_Similarity_Measures I_5_3_Clustering I_5_4_0_Computer_Vision I_5_4_1_Signal_Processing I_5_4_2_Text_Processing I_5_4_3_Waveform_Analysis I_5_4_Applications I_5_5_0_Interactive_Systems I_5_5_1_Special_Architectures I_5_5_Implementation I_5_M_Miscellaneous I_5_Pattern_Recognition I_6_0_General I_6_1_0_Model_Classification I_6_1_1_Systems_Theory I_6_1_Simulation_Theory I_6_2_Simulation_Languages I_6_3_Applications I_6_4_Model_Validation_And_Analysis I_6_5_0_Modeling_Methodologies I_6_5_Model_Development I_6_6_Simulation_Output_Analysis I_6_7_0_Environments I_6_7_Simulation_Support_Systems I_6_8_0_Animation I_6_8_1_Combined I_6_8_2_Continuous I_6_8_3_Discrete_Event I_6_8_4_Distributed I_6_8_5_Gaming I_6_8_6_Monte_Carlo I_6_8_7_Parallel I_6_8_8_Visual I_6_8_Types_Of_Simulation I_6_M_Miscellaneous I_6_Simulation_And_Modeling I_7_0_General I_7_1_0_Document_Management I_7_1_1_Version_Control I_7_1_Document_And_Text_Editing I_7_2_0_Desktop_Publishing I_7_2_1_Format_And_Notation I_7_2_2_Hypertext_Hypermedia I_7_2_3_Index_Generation I_7_2_4_Languages_And_Systems I_7_2_5_Markup_Languages I_7_2_6_Multi_Mixed_Media I_7_2_7_Photocomposition_Typesetting I_7_2_8_Scripting_Languages I_7_2_9_Standards I_7_2_Document_Preparation I_7_4_Electronic_Publishing I_7_5_0_Document_Analysis I_7_5_1_Graphics_Recognition_And_Interpretation I_7_5_2_Optical_Character_Recognition I_7_5_3_Scanning I_7_5_Document_Capture I_7_Document_And_Text_Processing I_7_M_Miscellaneous I_Computing_Methodologies I_M_Miscellaneous J_0_General J_1_0_Business J_1_1_Education J_1_2_Financial J_1_3_Government J_1_4_Law J_1_5_Manufacturing J_1_6_Marketing J_1_7_Military J_1_Administrative_Data_Processing J_2_0_Aerospace J_2_1_Archaeology J_2_2_Astronomy J_2_3_Chemistry J_2_4_Earth_And_Atmospheric_Sciences J_2_5_Electronics J_2_6_Engineering J_2_7_Mathematics_And_Statistics J_2_8_Physics J_2_Physical_Sciences_And_Engineering J_3_0_Biology_And_Genetics J_3_1_Health J_3_2_Medical_Information_Systems J_3_Life_And_Medical_Sciences J_4_0_Economics J_4_1_Psychology J_4_2_Sociology J_4_Social_And_Behavioral_Sciences J_5_0_Architecture J_5_1_Fine_Arts J_5_2_Language_Translation J_5_3_Linguistics J_5_4_Literature J_5_5_Performing_Arts J_5_Arts_And_Humanities J_6_0_Computer_Aided_Design J_6_1_Computer_Aided_Manufacturing J_6_Computer_Aided_Engineering J_7_0_Command_And_Control J_7_1_Consumer_Products J_7_2_Industrial_Control J_7_3_Military J_7_4_Process_Control J_7_5_Publishing J_7_6_Real_Time J_7_Computers_In_Other_Systems J_Computer_Applications J_M_Miscellaneous K_0_General K_1_0_Markets K_1_1_Standards K_1_2_Statistics K_1_3_Suppliers K_1_The_Computer_Industry K_2_0_Hardware K_2_1_People K_2_2_Software K_2_3_Systems K_2_4_Theory K_2_History_Of_Computing K_3_0_General K_3_1_0_Collaborative_Learning K_3_1_1_Computer_Assisted_Instruction K_3_1_2_Computer_Managed_Instruction K_3_1_3_Distance_Learning K_3_1_Computer_Uses_In_Education K_3_2_0_Accreditation K_3_2_1_Computer_Science_Education K_3_2_2_Curriculum K_3_2_3_Information_Systems_Education K_3_2_4_Literacy K_3_2_5_Self_Assessment K_3_2_Computer_And_Information_Science_Education K_3_Computers_And_Education K_3_M_Miscellaneous K_4_0_General K_4_1_0_Abuse_And_Crime_Involving_Computers K_4_1_1_Computer_Related_Health_Issues K_4_1_2_Ethics K_4_1_3_Human_Safety K_4_1_4_Intellectual_Property_Rights K_4_1_5_Privacy K_4_1_6_Regulation K_4_1_7_Transborder_Data_Flow K_4_1_8_Use_Abuse_Of_Power K_4_1_Public_Policy_Issues K_4_2_0_Assistive_Technologies_For_Persons_With_Disabilities K_4_2_1_Employment K_4_2_Social_Issues K_4_3_0_Automation K_4_3_1_Computer_Supported_Collaborative_Work K_4_3_2_Employment K_4_3_3_Reengineering K_4_3_Organizational_Impacts K_4_4_0_Cybercash_Digital_Cash K_4_4_1_Distributed_Commercial_Transactions K_4_4_2_Electronic_Data_Interchange K_4_4_3_Intellectual_Property K_4_4_4_Payment_Schemes K_4_4_5_Security K_4_4_Electronic_Commerce K_4_Computers_And_Society K_4_M_Miscellaneous K_5_0_General K_5_1_0_Copyrights K_5_1_1_Licensing K_5_1_2_Patents K_5_1_3_Proprietary_Rights K_5_1_Hardware_Software_Protection K_5_2_0_Censorship K_5_2_1_Regulation K_5_2_2_Taxation K_5_2_Governmental_Issues K_5_Legal_Aspects_Of_Computing K_5_M_Miscellaneous K_6_0_0_Economics K_6_0_General K_6_1_0_Life_Cycle K_6_1_1_Management_Techniques K_6_1_2_Staffing K_6_1_3_Strategic_Information_Systems_Planning K_6_1_4_Systems_Analysis_And_Design K_6_1_5_Systems_Development K_6_1_6_Training K_6_1_Project_And_People_Management K_6_2_0_Benchmarks K_6_2_1_Computer_Selection K_6_2_2_Computing_Equipment_Management K_6_2_3_Performance_And_Usage_Measurement K_6_2_4_Pricing_And_Resource_Allocation K_6_2_Installation_Management K_6_3_0_Software_Development K_6_3_1_Software_Maintenance K_6_3_2_Software_Process K_6_3_3_Software_Selection K_6_3_Software_Management K_6_4_0_Centralization_Decentralization K_6_4_1_Management_Audit K_6_4_2_Quality_Assurance K_6_4_System_Management K_6_5_0_Authentication K_6_5_1_Invasive_Software K_6_5_2_Unauthorized_Access K_6_5_Security_And_Protection K_6_Management_Of_Computing_And_Information_Systems K_6_M_Miscellaneous K_7_0_General K_7_1_Occupations K_7_2_Organizations K_7_3_Testing_Certification_And_Licensing K_7_4_0_Codes_Of_Ethics K_7_4_1_Codes_Of_Good_Practice K_7_4_2_Ethical_Dilemmas K_7_4_Professional_Ethics K_7_M_Miscellaneous K_7_The_Computing_Profession K_8_0_0_Games K_8_0_General K_8_1_0_Data_Communications K_8_1_1_Database_Processing K_8_1_2_Freeware_Shareware K_8_1_3_Graphics K_8_1_4_Spreadsheets K_8_1_5_Word_Processing K_8_1_Application_Packages K_8_2_Hardware K_8_3_Management_Maintenance K_8_M_Miscellaneous K_8_Personal_Computing K_Computing_Milieux K_M_Miscellaneous http://www.daml.org/2000/10/daml-ont http://www.w3.org/1999/02/22-rdf-syntax-ns An ontology for describing universities and the activities that occur at them. This is the DAML version of a SHOE ontology. computer science academic department http://dmoz.org/Computers/Computer_Science/Academic_Departments/ Contributing Organization AdministrativeStaff Article Assistant AssistantProfessor AssociateProfessor Book BookArticle Chair ClericalStaff ConferencePaper Course Dean Department Director DoctoralThesis EducationOrganization Faculty FullProfessor GraduateStudent Institute Journal JournalArticle Lecturer Magazine Manual MastersThesis Organization Periodical Person PostDoc Proceedings Professor Program Publication Research ResearchAssistant ResearchGroup School Software Specification Student SystemsStaff TeachingAssistant TechnicalReport Thesis UndergraduateStudent University UnofficialPublication VisitingProfessor Work Worker WorkshopPaper advisor affiliatedOrganization affiliateOf alumnus containedIn doctoralDegreeFrom emailAddress head listedCourse mastersDegreeFrom member name offers orgPublication publicationAuthor publicationDate publicationOrg publicationResearch publisher researchInterest researchProject softwareDocumentation softwareVersion subject subOrganization subOrganizationOf takesCourse teacherOf teachingAssistantOf tenured undergraduateDegreeFrom http://www.daml.org/2000/10/daml-ont http://www.w3.org/1999/02/22-rdf-syntax-ns An ontology for describing universities and the activities that occur at them. This is the DAML version of a SHOE ontology. university education research http://dmoz.org/Reference/Education/Colleges_and_Universities/ Contributing Organization AdministrativeStaff Article Assistant AssistantProfessor AssociateProfessor Book BookArticle Chair ClericalStaff Conference ConferencePaper Course Dean Department Director DoctoralThesis EducationOrganization Employee Faculty FullProfessor GraduateStudent Institute Journal JournalArticle Lecturer Magazine MastersThesis Organization Periodical Person PostDoc Proceedings Professor Program Publication Research ResearchAssistant ResearchGroup Schedule School Student SystemsStaff TeachingAssistant Thesis UndergraduateStudent University VisitingProfessor Work WorkshopPaper advisor affiliatedOrganization affiliateOf alumnus containedIn doctoralDegreeFrom emailAddress head listedCourse mastersDegreeFrom member name offers publicationAuthor publicationDate publicationOrg publicationResearch publisher researchInterest researchProject subject subOrganizationOf takesCourse teacherOf teachingAssistantOf tenured undergraduateDegreeFrom http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns An ontology for computer science academic departments. This is the DAML version of a SHOE ontology. computer science academic department http://dmoz.org/Computers/Computer_Science/Academic_Departments/ Contributing Organization AdministrativeStaff Article Assistant AssistantProfessor AssociateProfessor Book Chair ClericalStaff ConferencePaper Course Dean Department Director Faculty FullProfessor GraduateStudent Institute JournalArticle Lecturer Manual Organization Person PostDoc Professor Program Publication Research ResearchAssistant ResearchGroup Schedule School Software Specification Student SystemsStaff TeachingAssistant TechnicalReport UndergraduateStudent University UnofficialPublication VisitingProfessor Work Worker advisor affiliatedOrganization affiliateOf age alumnus doctoralDegreeFrom emailAddress head listedCourse mastersDegreeFrom member name orgPublication publicationAuthor publicationDate publicationResearch researchInterest researchProject softwareDocumentation softwareVersion subOrganization takesCourse teacherOf teachingAssistantOf tenured undergraduateDegreeFrom http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns An ontology that defines elements for describing an individual and his/her interests. This is the DAML version of a SHOE ontology. people person individual homepage Contributing Organization Activity Address Employee Gender Image Organization Person Process Recreation SocialGroup Work addressCity addressState addressStreet addressZip age alumnus birthDate child emailAddress engagesIn father friend homeAddress homePhone member mother name photo sex sibling spouse title workAddress workPhone worksFor http://www.cs.umd.edu/projects/plus/DAML/onts/personal1.0.daml http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns An ontology that models documents, particularly publications. This is the DAML version of a SHOE ontology. document publication http://dmoz.org/Reference/Books/ Contributing Organization Abstract Advertisement Article Book BookArticle Comment Communication ConferencePaper Correspondence Dictionary Discussion DoctoralThesis Document DocumentRepresentation Editorial ElectronicDocument Email Form Guideline Homepage Index Journal JournalArticle Lecture Letter Magazine Manual Manuscript MastersThesis Minutes Newsletter Newspaper OrganizationHomepage PaperDocument Periodical PersonalHomepage PhoneCall Postcard Preprint Proceedings Promotion Publication Regulation Review Software Specification Speech TechnicalReport Thesis WorkshopPaper author authorOrg communicator containedIn publishDate publisher recipient softwareDocumentation softwareVersion subject title volume http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns This soccer ontology describes most of concepts that are specific to soccer: players, rules, field, supporters, actions, etc. It is used to annotate videos in order to produce personnalized summary of soccer matchs. Sport Soccer Indexing Summaries Other This ontology was automatically generated in DAML+OIL with OntoEdit. Action Actor Advantage_rule Applause Area Attacker AttackingMidfielder Attribute Audience Back Back_header Back_tackle Ball Banana_kick Beat Begin Be_Offside Be_replaced Bicycle_kick Block Boo Boolean-type Breakaway Cap Caution Center Center_Circle Center_kick Center_line Center_Spot CentralDefender Charge Chest_trap Chip_pass Chip_shoot Clear Club Corner Corner_Arc Corner_Area Corner_Flag Corner_kick Counter_attack Cross Cut_down_the_angle Dangerous_play DefensiveMidfielder Directed Direct_free_kick Direct_free_kicking Dive Diving_header Do_foul Do_handball Do_obstruction Do_Professional_foul Dribble Drop_ball Drop_kick Duration Encourage End End_Time Entity False_value Fault Feint Field Flick_header Foot_trap Forward Free_kick Free_kicking Front_header Front_tackle Give_Sanction Goal Goalkeeper Goalkeeper_action Goal_Area Goal_kick Goal_Line Hacking Halftime Half_volley_shot Handball Header Hit Hold_opponent Hook Indirect_free_kick Indirect_free_kicking Injury_time Inswinger Integer-type Juggling Kick Kickoff Lead_pass League Line Linesman Linesman_action Linkman Lob Long_pass Marking Match Match_action Measure Midfield MidfieldAnchor Midfielder Net Nutmeg Object Official Official_action Offside Offside_trap Organization OtherPlayer Other_player_action Outlet_passes Out_of_bounds Overlap Overtime Pass Penalty Penalty_Arc Penalty_Area Penalty_kick Penalty_spot Penetrate Penetrating_pass Period Person Place Play Player Player_Action Point Point_in_time President Punch_out Push_pass Qualitative_attribute Real-type Red_Card Referee Referee_action Rise_the_flag Run Run_upfield Sanction Save Scissor_kick Score Sending_off Shielding Shoot Shoulder_charge Shout Side_tackle Sliding_tackle Soccer_rule_attribute Speaker Spectator Spectator_action Square_pass Start_time Steal Stop Stoppage Stopper Substitute Sudden_death Supporter Sweeper Tackle Tallied_shoot Team Thigh_trap Throw_in Time Timekeeper Touch_Line Tournament Trainer Trap True_value TV-spectator VIP Volley Wall Wall_pass Whistle Wing Yellow_Card agent aggregate club_colors club_name club_president club_team club_town date_of_birth ephemeral_instance forname height match_date match_first_team match_hour match_name match_referee match_second_team match_tournament match_town name nationality national_team object supporter_colors team_club team_goalkeeper team_substitute team_supported team_trainer town_club user_specific weight http://www.daml.org/2000/12/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns http://www.w3.org/2000/01/rdf-schema An ontology that models many general concepts that are required by other ontologies. This is the DAML version of a SHOE ontology. top-level http://dmoz.org/ Contributing Organization Activity Address Agent Artifact ArtificialAgent Audio CommercialOrganization EducationOrganization Employee Event GovernmentOrganization Image Liquid Location NonprofitOrganization Organism Organization Person PhysicalObject Process Recreation SocialGroup Solid Substance Thing Video WebPage WebResource Work addressCity addressState addressStreet addressZip affiliatedOrganization affiliateOf alumnus borders emailAddress encloses engagesIn eventEnd eventLocation eventStart head homeAddress homePhone isLocated member name orgAddress orgPhone participant performs subOrganizationOf workAddress workPhone worksFor http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns A manually generated DAML translation of the SHOE Project ontology. This ontology was used as a staring place for annotation of the UBOT website. Program Project ProjectTeam Product Organization Person Work DARPA DAML Program Organization Product Program Project ProjectTeam Work fundingOrg fundingProgram produces http://www.daml.org/2001/03/daml+oil http://www.w3.org/1999/02/22-rdf-syntax-ns Ontolofy for describing research projects