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 our (nice but brittle) hierarchy browser to visualize and navigate it.

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 {<a href="http://meganesia.int.gu.edu.au/%7Ephmartin/WebKB/kb/KADS1.html">(cf. our document on KADS1)</a>} > 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 {<a href="http://meganesia.int.gu.edu.au/%7Ephmartin/WebKB/kb/KADS1.html#modelsToBuild">making a knowledge based system using KADS methodology</a>} > (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 {<a href="http://meganesia.int.gu.edu.au/%7Ephmartin/WebKB/kb/KADS1.html#conceptualModel">the KADS Conceptual Model may be composed of one or several Model of Expertise</a>} > (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 href="http://meganesia.int.gu.edu.au/%7Ephmartin/WebKB/kb/KADS1.html#genericTaskModels">a basic (or "generic") task which may be a component of a real life task</a>} > (KADS_System_Analysis_task, KADS_System_Modification_task, KADS_System_Synthesis_task); KADS_System_Analysis_task {<a href="http://meganesia.int.gu.edu.au/%7Ephmartin/WebKB/kb/KADS1.html#systemAnalysisTasks">(cf. our document on KADS1)</a>} > (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};