(full-reset) (in-knowledge-base GSN) (set-unique-name-assumption t) (in-tbox GSN) ;(racer-read-document "file:///home/adrian/Dropbox/BOC/racerpro-20-preview/aif.racer") ;(include-kb "file:///home/adrian/Dropbox/BOC/racerpro-20-preview/aif.racer") ;(racer-read-file "file://home/adrian/Dropbox/BOC/racerpro-20-preview/aif.racer") ;(all-atomic-concepts) (define-primitive-role has-colour :feature t) (define-primitive-role has-shape :feature t) ;SupportedBy, rendered as a line with a solid arrowhead, allows inferential or evidential relationships to be documented. ;Inferential relationships declare that there is an inference between goals in the argument. ;Evidential relationships declare the link between a goal and the evidence used to substantiate it. ;Permitted supported by connections are: goal-to-goal, goal-to-strategy, goal-to-solution, strategy to goal. (define-primitive-role supportedBy :domain (or Goal Strategy) :range (or Goal Strategy Solution) :inverse supports :transitive t) ;definitia de mai sus permite si strategy-tostrategy sau strategy-to-solution desi standardul nu specifica ;InContextOf, rendered as a line with a hollow arrowhead, declares a contextual relationship. Permitted connections are: ;goal-to-context, goal-to-assumption, goal-to-justification, ;strategy-to-context, strategy-to-assumption and strategy-tojustification. (define-primitive-role inContextOf :domain (or Goal Strategy) :range (or Context Justification Assumption)) ;Two kinds of GSN context statement exist. Where a context statement is a reference to an artefact of some kind, which informs the reasoning step, the context statement shall be expressed as a noun-phrase. Where a context statement draws attention to explanatory contextual information (such as the definition of some term), this information shall be stated briefly using complete sentences of a noun-phrase + verb-phrase structure. ;;Standford parser to check the claims if they are nouns or statements???? (implies ReferenceArtefactContext Context) (implies ExplanatoryContext Context) (define-primitive-role has-inference :parent supportedBy :domain Goal :range Goal) (define-primitive-role has-evidence :parent supportedBy :domain Goal :range Goal) (implies Claim Statement) ;Goals and Sub-Goals are shaded yellow. Goals and Sub-Goals are propositions that ;we wish to be true. They may be quantified or qualitative and they may be provable ;(e.g. quick release fasteners are used on the access cover). However when goals are ;applied in the R&M domain it is quite likely they will not be provable but will instead ;include an element of uncertainty (e.g. The analysis has shown that the item has a ;predicted reliability of 95%). ;The claims of the argument are documented as goals. (equivalent Goal (and Claim (some has-colour Yellow) (some has-shape Rectangular))) (instance g0 Goal) (attribute-filler g0 "System X can tolerate single component failures") (define-concrete-domain-attribute has-text :domain Statement :type string) (define-concrete-domain-attribute claims :domain Statement :type string) (implies QuantitativeGoal Goal) (implies QualitativeGoal Goal) (implies ProvableGoal Goal) (implies UncertaintyGoal Goal) (implies UndevelopedGoal Goal) (implies UndevelopedStrategy Strategy) (equivalent SupportGoal (and Goal (some supports *top*))) (equivalent TopLevelGoal (and Goal (not SupportGoal))) (disjoint SupportGoal TopLevelGoal) ;(instance gt TopLevelGoal) ;(attribute-filler gt "The system meets its R&M requirements") ;(instance g1 ProvableGoal) ;(attribute-filler g1 "Quick release fasteners are used on the access cover" has-text) ;(instance g2 UncertaintyGoal) ;(attribute-filler g2 "The analysis has shown that the item has a predicted reliability of 95%" has-text) (define-concept Color (or Yellow Grey Green Blue)) (define-concept Shape (or Rectangle Circle Parallelogram Oval RoundedRectangle)) ;Intermediate explanatory steps are shaded grey. Intermediate explanatory steps ;between goals and the evidence include statements, references, justifications and ;assumptions. (implies Explanation (some has-colour Grey)) (implies Explanation (or Statement Reference Justification Assumption)) ;The evidence or solutions are shaded green. The evidence or solutions form the ;foundation of the argument and will typically include the deliverables or documents in ;an engineering programme. These will be specific analysis or test results reports that ;provide evidence of an attribute of the system. (implies Evidence (some has-colour Green)) (implies Evidence (or Document Deliverable TestResults)) (implies system (some has-attribute Attribute)) ;Items of evidence are documented in solutions. ;A solution, rendered as a circle, presents a reference to an evidence item. (equivalent Solution (and (some has-reference Evidence) (some has-colour Green) (some has-shape Circle))) (equivalent Strategy (and aif#RA-node (some has-colour Blue) (some has-shape Parallelogram))) ;Strategy is similar with reasoning scheme in the AIF ontology (implies CompleteSentence Sentence) (implies NounPhrase Sentence) ;(define-concrete-domain-attribute number-of-copies-sold) ;(implies (and (min number-of-copies-sold 3000) computer-science-document) computer-science-best-seller) (in-abox example_page_5_GSN_1.0) (instance g1 Goal) (instance g2 Goal) (instance g3 Goal) (instance g4 Goal) (instance g5 Goal) (instance g6 Goal) (instance g7 Goal) (instance g8 Goal) (attribute-filler g1 "Control System is acceptably safe to operate" claims) (attribute-filler g2 "All identified hazards have been eliminated or sufficiently mitigated" claims) (attribute-filler g3 "Software in the Control System has been developed to SIL appropriate to hazards involved" claims) (attribute-filler g4 "Hazard H1 has been eliminated" claims) (attribute-filler g5 "Probability of Hazard H2 occuring < 1x10-6 per year" claims) (attribute-filler g6 "Probability of Hazard H3 occuring < 1x10-3 per year" claims) (attribute-filler g7 "Primary Protection System Developed to SIL 4" claims) (attribute-filler g8 "Secondary Protection System Development to SIL2" claims) (instance c1 Context) (instance c2 Context) (instance c3 Context) (instance c4 Context) (instance c5 Context) (instance c6 Context) (attribute-filler c1 "Operating Role and Context" claims) (attribute-filler c2 "Control System Definition" claims) (attribute-filler c3 "Tolerability targets (Ref Z)" claims) (attribute-filler c4 "Hazards identified from FHA (Ref Y)" claims) (attribute-filler c5 "SIL Guidelines and Processes" claims) (attribute-filler c6 "Identified software hazards" claims) (related g1 c1 inContextOf) (related g1 c2 inContextOf) (related g1 g2 supportedBy) (related g1 g3 supportedBy) (related g2 c3 inContextOf) (related g2 c4 inContextOf) (related g3 c4 inContextOf) (related g3 c5 inContextOf) (instance s1 Strategy) (instance s2 Strategy) (attribute-filler s1 "Argument over each identified hazard" claims) (attribute-filler s2 "Argument over allocated SIL for Primary and Secondary elements" claims) (instance a1 Assumption) (attribute-filler a1 "All hazards have been identified" claims) (instance j1 Justification) (attribute-filler j1 "SIL apportionment is correct and complete" claims) (related s2 j1 inContextOf) (related s1 a1 inContextOf) (related s2 c6 inContextOf) (related s2 g7 supportedBy) (related s2 g8 supportedBy) (related s1 g4 supportedBy) (related s1 g5 supportedBy) (related s1 g6 supportedBy) (instance sn1 Solution) (attribute-filler sn1 "Formal Verification" claims) (instance sn2 Solution) (attribute-filler sn2 "Fault Tree Analysis" claims) (instance sn3 Solution) (attribute-filler sn3 "Process Evidence for SIL4" claims) (instance sn4 Solution) (attribute-filler sn4 "Secondary Protection System Development to SIL2" claims) (related g4 sn1 supportedBy) (related g5 sn2 supportedBy) (related g6 sn2 supportedBy) (related g7 sn3 supportedBy) (related g8 sn4 supportedBy) (classify-tbox) (tbox-cyclic-p) (firerule (and (?x Goal) (neg (?x SupportGoal))) ((instance ?x TopLevelGoal))) (realize-abox) (abox-consistent?) (tbox-coherent?) (applicable-rules) (execute-all-rules) (concept-instances Goal) (concept-instances Context) (concept-instances Strategy) (concept-instances Assumption) (concept-instances Justification) (concept-instances Solution) (concept-instances SupportGoal) (concept-instances TopLevelGoal) ;Open World Assumption???? (concept-instances UndevelopedGoal) ;All contexts of a specific goal (individual-fillers g1 inContextOf) ;;racer is case sensitive ;Child nodes of g1 (individual-fillers g1 supportedBy) (in-tbox GSN-extension) (instance g1 Goal) (instance g2 Goal) (instance g3 Goal) (related g1 g2 supportedBy) (related g1 g3 supportedBy) ;This annotation can be applied to any GSN element type. (define-primitive-concept GSN-entity (or Goal Strategy Annotation Justification Context Assumption)) (define-primitive-role has-undeveloped-annotation :domain GSN-entity) ;This annotation can be applied to GSN goals and strategies. ;(define-primitive-role has-undeveloped-annotation :domain (or Goal Strategy) (equivalent UndevelopedEntity (some has-undeveloped-annotation Annotation)) (equivalent UninstantiatedEntity (some has-uninstantiated-annotation Annotation)) (equivalent UndevelopedGoal (and Goal UndevelopedEntity)) (equivalent UninstantiatedGoal (and Goal UninstantiatedEntity)) (instance gu1 Goal) (instance ui Annotation) (attribute-filler gu1 "{Hazard H} has been sufficiently mitigated" claims) (related g1 ui has-uninstantiated-annotation) (concept-instances UninstantiatedGoal) ;;;Quries ;(all-individuals) ;in terminal(get-tbox-version racer::GSN) ;(get-tbox-version GSN) ;(taxonomy) ;Safety Case Patterns (equivalent SafetyCasePattern (and (d-some has-PatternName string) (d-some has-Intent string) (d-some has-AlsoKnownAs string) (d-some has-Motivation string) (some has-Structure top) (some has-Participants top) (some has-Collaborations top) (d-some has-Applicability string) (some has-Consequences top) (d-some has-Implementation string) (d-some has-Known-Uses string) (all has-related-patterns SafetyCasePattern) ))