This file stores a specialisation hierarchy of concepts used in KADS-I methodology. This ontology specialises our top-level ontology of concept types and relations types. If you have a Javascript-enabled Netscape browser, you might be able to use this hierarchy browser (which unfortunately pushes Javascript to its limits of window handling and portability) to visualize and navigate the ontology in textual form below.
You may save this file on your local disk ("File - Save As" command on Netscape) and then modify this ontology for your needs. Thing_needed_for_KADS_knowledge_engineering {(cf. our document on KADS1)} > Knowledge_engineering_with_KADS, KADS_model, KADS_Generic_task, KADS_Inference_task, Description_with_a_KADS_inference_structure, Description_role_in_KADS; Knowledge_engineering_with_KADS {making a knowledge based system using KADS methodology} > (Environment_analysis_with_KADS, Problem_analysis_with_KADS, Task_analysis_with_KADS, Function_analysis, Implementation_analysis); Environment_analysis_with_KADS {produces the KADS1 Organization Model}; Environment_analysis > Environment_analysis_with_KADS; Problem_analysis_with_KADS {produces the produces the KADS1 Application Model}; Problem_analysis > Problem_analysis_with_KADS; Task_analysis_with_KADS {produces the KADS1 Task Model}; Task_analysis > Task_analysis_with_KADS; Function_analysis_with_KADS {produces the KADS1 Conceptual Model}; Function_analysis > Function_analysis_with_KADS; Implementation_analysis_with_KADS {produces the KADS1 Design Model}; Implementation_analysis > Implementation_analysis_with_KADS; KADS_model {} > KADS1_model; KADS1_model {} > (KADS1_Organisational_model, KADS1_Application_model, KADS1_Task_model, KADS1_Conceptual_model, KADS1_Design_model, KADS1_Domain_layer, KADS1_Inference_layer, KADS1_Task_layer, KADS1_Strategy_layer) KADS1_Model_of_Expertise; KADS1_Organisational_model {}; KADS1_Application_model {}; KADS1_Task_model {}; KADS1_Conceptual_model {}; KADS1_Design_model {}; KADS1_Domain_layer {}; KADS1_Inference_layer {}; KADS1_Task_layer {}; KADS1_Strategy_layer {}; KADS1_Model_of_Expertise {the KADS Conceptual Model may be composed of one or several Model of Expertise} > (KADS1_Model_of_Problem_Solving_Expertise, KADS1_Model_of_Cooperation_Expertise, KADS1_Model_of_Communication_Expertise); KADS1_Model_of_Problem_Solving_Expertise {}; KADS1_Model_of_Cooperation_Expertise {}; KADS1_Model_of_Communication_Expertise {}; Task > KADS_Generic_task; KADS_Generic_task {a basic (or "generic") task which may be a component of a real life task} > (KADS_System_Analysis_task, KADS_System_Modification_task, KADS_System_Synthesis_task); KADS_System_Analysis_task {(cf. our document on KADS1)} > (KADS_Classification_task, KADS_Prediction_task); KADS_Classification_task {} > (KADS_Assessment_task, KADS_Monitoring_task, KADS_Diagnosis_task); KADS_Assessment_task {} > KADS1_Assessment_task; KADS1_Assessment_task {}; KADS_Monitoring_task {} > KADS1_Monitoring_task; KADS1_Monitoring_task {}; KADS_Diagnosis_task {} > KADS1_Systematic_diagnosis_task; KADS1_Systematic_diagnosis_task {}; KADS_Prediction_task {} > KADS1_Prediction_task; KADS1_Prediction_task {}; KADS_System_Modification_task {} > (KADS_Repair_task, KADS_Remedy_task); KADS_Repair_task {} > KADS1_Repair_task; KADS1_Repair_task {}; KADS_Remedy_task {} > KADS1_Remedy_task; KADS1_Remedy_task {}; KADS_System_Synthesis_task {} > (KADS_Assignment_task, KADS_Design_task, KADS_Planning_task, KADS_Reconstruction_task, KADS_Modelling_task); KADS_Assignment_task {} > (KADS1_Configuration_task, KADS1_Scheduling_task); KADS1_Configuration_task {(unknown structure, given elements)}; KADS1_Scheduling_task {(unknown structure, given elements)}; KADS_Design_task {} > (KADS1_Refinement_Design_task, KADS1_Transformational_Design_task, KADS1_Open_ended_Design_task); KADS1_Refinement_Design_task {(given structure, unknown elements)}; KADS1_Transformational_Design_task {(given structure, given elements)}; KADS1_Open_ended_Design_task {(unknown structure, unknown elements)}; KADS_Planning_task {} > KADS1_Planning_task; KADS1_Planning_task {(unknown structure, unknown elements)}; KADS_Reconstruction_task {}; KADS_Modelling_task {}; Task > KADS_Inference_task; KADS_Inference_task {e.g. Generalize, Specify, Compare, Modify} > (Collect, Generalize, Specialize, Compare, Modify, Determine_truth_or_relevance, Explore_option, Reduce_working_set); Collect {}; Generalize {find a superclass/superset for one or several instances/facts or classes} > (Classify, Cluster); Classify {(the class hierarchy is given)} > (Abstract_class, Identify); Abstract_class {class->superclass}; Identify {instance->class}; Cluster {(here classes are learnt from examples)}; Specialize {find a subclass/subset or an instance/fact} > (Refine, Instanciate, Select); Refine {class->subclass}; Instanciate {class->subclass/instance}; Select {set of instance->subset of instance}; Compare {in the sense given by KADS} > (Compare_Value, Match); Compare_Value {}; Match {compare structures}; Modify {in the sense given by KADS} > (Assign, Evaluate, Transform, Assemble, Decompose); Assign {a value to an attribute of something}; Evaluate {produces a concept regarding the structure of something}; Transform {e.g. sort, restructure}; Assemble {}; Decompose {}; Determine_truth_or_relevance {e.g. Establish (Cover, Verify)} > (Establish,Cover,Verify); Establish {}; Cover {}; Verify {}; Explore_option {e.g. Make_decision (Select), Propose_solution (Generate)} > (Make_decision, Propose_solution, Generate); Make_decision {}; Propose_solution {}; Generate {}; Reduce_working_set {e.g. Anticipate, Prefer, Rule_out} > (Anticipate, Prefer, Rule_out); Anticipate {}; Prefer {}; Rule_out {}; Description_with_a_KADS_inference_structure {dataflow graph of "inferences" (task) the inputs/outputs of which are described by "roles"}; Description_role_in_KADS {} > Hypothesis, Observable, Finding, Complaint, Norm, Difference, Discrepancy_class, Diagnosis_result, Parameter, System_model, Historical_data; Hypothesis {Situation imagined as a being a possible cause of something}; Observable {in the sense given by KADS} > Observable_behaviour; Observable_behaviour {in the sense given by KADS (it is a process description, not a process)}; Finding {in the sense given by KADS} > Observation; Observation {}; Complaint {in the sense given by KADS}; Norm {in the sense given by KADS}; Difference {in the sense given by KADS}; Discrepancy_class {in the sense given by KADS}; Diagnosis_result {in the sense given by KADS}; Parameter {in the sense given by KADS}; System_model {in the sense given by KADS}; Historical_data {in the sense given by KADS};