Previous: Domain ontology Up: Domain knowledge Next: Case models

Domain ontology requirements

This is a list of the Domain Model Ontology requirements of the generic C&D:

0pt 0pt

• `There is an identifiable set of problem states or events.' (from original text [Eshelman, 1988]) This means that all problems states that this approach is going to recognise should be listed exhaustively.
• All possible symptoms can be enumerated.
• `Static pre-enumeration of candidate explanations that cover events'. (from original text) This means that the covering operators can be listed for all possible symptoms.
• `There is information to differentiate the candidate explanations for each event' (original). This means that there should be enough observable and available symptoms to separate the different covering explanations. This is a requirements both on the events and on the type of explanations.
• `One candidate explanation is applicable at any given time for each event' (the single fault assumption, from original text).