@prefix bibo: <http://purl.org/ontology/bibo/> .
@prefix cc: <http://creativecommons.org/ns#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix gsn: <https://w3id.org/OntoGSN/ontology#> .
@prefix gsnswrl: <https://w3id.org/OntoGSN/swrl#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix swrl: <http://www.w3.org/2003/11/swrl#> .
@prefix swrla: <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#> .
@prefix terms: <http://purl.org/dc/terms/> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

cc:license a owl:AnnotationProperty .

dc:contributor a owl:AnnotationProperty .

dc:creator a owl:AnnotationProperty .

dc:description a owl:AnnotationProperty .

dc:publisher a owl:AnnotationProperty .

dc:source a owl:AnnotationProperty .

dc:title a owl:AnnotationProperty .

terms:bibliographicCitation a owl:AnnotationProperty .

terms:created a owl:AnnotationProperty .

terms:issued a owl:AnnotationProperty .

terms:modified a owl:AnnotationProperty .

bibo:doi a owl:AnnotationProperty .

bibo:status a owl:AnnotationProperty .

vann:preferredNamespacePrefix a owl:AnnotationProperty .

vann:preferredNamespaceUri a owl:AnnotationProperty .

schema:disclaimer a owl:AnnotationProperty .

schema:includedInDataCatalog a owl:AnnotationProperty .

schema:logo a owl:AnnotationProperty .

schema:name a owl:AnnotationProperty .

schema:url a owl:AnnotationProperty .

swrla:isRuleEnabled a owl:AnnotationProperty .

skos:definition a owl:AnnotationProperty .

skos:note a owl:AnnotationProperty .

skos:scopeNote a owl:AnnotationProperty .

gsn:coreOrExtension a owl:AnnotationProperty .

gsn:renderedAs a owl:AnnotationProperty .

<https://w3id.org/OntoGSN/ontology/confidence> a owl:Ontology ;
    cc:license <https://creativecommons.org/licenses/by/4.0/> ;
    dc:contributor "Barbara Gallina"@en,
        "Dian Balta"@en,
        "Ingmar Kessler"@en,
        "Jule Hendricks"@en ;
    dc:creator "Tomas Bueno Momčilović"@en ;
    dc:description "The complete Confidence Argument Extension section of OntoGSN. Generated from ontogsn.ttl by development/dev_tools/build_separated.py. Includes the SWRL rules and every annotation."@en ;
    dc:publisher [ schema:name "fortiss GmbH" ;
            schema:url <https://www.fortiss.org/> ] ;
    dc:source "https://w3id.org/OntoGSN/ontology" ;
    dc:title "OntoGSN — Confidence Argument Extension"@en ;
    terms:bibliographicCitation "Bueno Momčilović, T. (2026). OntoGSN (Version 1.3.0) [Ontology]. https://doi.org/10.5281/zenodo.17808330" ;
    terms:created "2025-02-20"^^xsd:date ;
    terms:issued "2026-11-05"^^xsd:date ;
    terms:modified "2026-11-05"^^xsd:date ;
    bibo:doi "10.5281/zenodo.17808330" ;
    bibo:status <http://purl.org/ontology/bibo/status/published> ;
    vann:preferredNamespacePrefix "gsn" ;
    vann:preferredNamespaceUri "https://w3id.org/OntoGSN/ontology#" ;
    schema:disclaimer "[Disclaimer from the GSN Community Standard v3.0]: While the authors and the publishers have used reasonable endeavours to ensure that the information and guidance given in this work is correct, all parties must rely on their own skill and judgement when making use of this work and obtain professional or specialist advice before taking, or refraining from, any action on the basis of the content of this work. Neither the authors nor the publishers make any representations or warranties of any kind, express or implied, about the completeness, accuracy, reliability, suitability or availability with respect to such information and guidance for any purpose, and they will not be liable for any loss or damage including without limitation, indirect or consequential loss or damage, or any loss or damage whatsoever (including as a result of negligence) arising out of, or in connection with, the use of this work. The views and opinions expressed in this publication are those of the authors and do not necessarily reflect those of their employers, the SCSC1 or other organisations."@en ;
    schema:includedInDataCatalog <https://zenodo.org/> ;
    schema:logo <https://fortiss.github.io/OntoGSN/assets/images/ontogsn-banner.png> ;
    schema:url "https://w3id.org/OntoGSN/"^^xsd:anyURI ;
    rdfs:seeAlso <https://doi.org/10.48550/arXiv.2506.11023> ;
    owl:priorVersion <https://w3id.org/OntoGSN/ontology/1.2.3> ;
    owl:versionIRI <https://w3id.org/OntoGSN/ontology/1.3.0> ;
    owl:versionInfo "1.3.0" ;
    skos:definition "GSN is a graphical argument notation which can be used to document explicitly the elements and structure of an argument and the argument’s relationship to evidence."@en ;
    skos:scopeNote "A definition prefixed [OntoGSN] is this ontology’s wording, not the GSN Community Standard’s. Every definition, tagged or not, has a record in the design record under development/design/ naming the passage it rests on, or stating that it rests on none."@en ;
    gsn:coreOrExtension "Confidence Argument Extension"@en .

gsn:Context a owl:Class .

gsn:Relationship a owl:Class .

gsn:argumentType a owl:DatatypeProperty ;
    rdfs:label "argument type"@en ;
    rdfs:domain gsn:Argument ;
    rdfs:range [ a rdfs:Datatype ;
            owl:oneOf [ a rdf:List ;
                    rdf:first "confidence" ;
                    rdf:rest [ a rdf:List ;
                            rdf:first "dialectic" ;
                            rdf:rest [ a rdf:List ;
                                    rdf:first "risk" ;
                                    rdf:rest () ] ] ] ] ;
    skos:definition "[OntoGSN] Defines the kind of argument this is: a risk argument (i.e., the main content of assurance), a confidence argument for an assurance claim point, a compliance argument (undefined in the normative standard), or a dialectic argument."@en ;
    gsn:coreOrExtension "Confidence Argument Extension"@en .

gsn:statement a owl:DatatypeProperty .

gsn:contains a owl:ObjectProperty .

gsn:valid a owl:DatatypeProperty .

gsnswrl:N a swrl:Variable .

gsn:Solution a owl:Class .

gsn:Strategy a owl:Class .

schema:identifier a owl:DatatypeProperty .

gsn:ArtefactReference a owl:Class .

gsnswrl:B a swrl:Variable .

gsnswrl:R a swrl:Variable .

gsn:Argument a owl:Class .

gsnswrl:G1 a swrl:Variable .

gsn:supportedBy a owl:ObjectProperty .

gsnswrl:G2 a swrl:Variable .

gsnswrl:S1 a swrl:Variable .

rdf:object a owl:ObjectProperty .

rdf:subject a owl:ObjectProperty .

gsn:assuranceClaimPoint a owl:DatatypeProperty ;
    rdfs:label "assurance claim point"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:ArtefactReference gsn:RelationshipWithConfidence ) ] ;
    rdfs:range xsd:boolean ;
    skos:definition "An Assurance Claim Point (ACP) can be used in GSN to indicate that a confidence argument is associated with an assertion in a risk argument."@en ;
    gsn:coreOrExtension "Confidence Argument Extension"@en ;
    gsn:renderedAs "solid square" .

gsn:Goal a owl:Class .

gsn:associatedWith a owl:ObjectProperty ;
    rdfs:label "associated with"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:ArtefactReference gsn:RelationshipWithConfidence ) ] ;
    rdfs:range gsn:Argument ;
    skos:definition "[OntoGSN] Links a relationship or an artefact reference to the confidence argument provided for it."@en ;
    gsn:coreOrExtension "Confidence Argument Extension"@en .

gsnswrl:S2 a swrl:Variable .

gsn:RelationshipWithConfidence a owl:Class ;
    rdfs:label "Relationship with Confidence"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:intersectionOf ( gsn:Argument [ a owl:Restriction ;
                                owl:hasValue "confidence" ;
                                owl:onProperty gsn:argumentType ] ) ] ;
            owl:onProperty gsn:associatedWith ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Context gsn:Goal gsn:Solution gsn:Strategy ) ] ;
            owl:onProperty rdf:object ],
        [ a owl:Class ;
            owl:intersectionOf ( [ a owl:Restriction ;
                        owl:onProperty gsn:associatedWith ;
                        owl:someValuesFrom gsn:Argument ] [ a owl:Restriction ;
                        owl:onProperty gsn:assuranceClaimPoint ;
                        owl:someValuesFrom xsd:boolean ] ) ],
        [ a owl:Restriction ;
            owl:onDataRange xsd:string ;
            owl:onProperty schema:identifier ;
            owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ],
        [ a owl:Restriction ;
            owl:onProperty schema:identifier ;
            owl:someValuesFrom xsd:string ],
        gsn:Relationship ;
    skos:definition "[OntoGSN] A relationship carrying an assurance claim point, whose associated confidence argument documents the reasons for having confidence in the relationship between two elements."@en ;
    skos:note "The corresponding argument could be located in a paragraph of accompanying text, a goal in the local argument, or a goal in a separate module."@en ;
    gsn:coreOrExtension "Confidence Argument Extension"@en .

gsnswrl:G a swrl:Variable .

gsnswrl:S a swrl:Variable .

gsnswrl:A a swrl:Variable .

gsnswrl:R1 a swrl:Variable .

gsnswrl:R2 a swrl:Variable .

[] a swrl:Imp ;
    rdfs:label "Strategy Confidence Relation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:G1 ;
                    swrl:argument2 gsnswrl:S ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:S ;
                            swrl:argument2 gsnswrl:G2 ;
                            swrl:propertyPredicate gsn:supportedBy ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:R1 ;
                                    swrl:classPredicate gsn:RelationshipWithConfidence ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:BuiltinAtom ;
                                            swrl:arguments ( gsnswrl:R2 gsnswrl:S gsnswrl:G2 ) ;
                                            swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:ClassAtom ;
                                                    swrl:argument1 gsnswrl:S ;
                                                    swrl:classPredicate gsn:Strategy ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:ClassAtom ;
                                                            swrl:argument1 gsnswrl:G1 ;
                                                            swrl:classPredicate gsn:Goal ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:ClassAtom ;
                                                                    swrl:argument1 gsnswrl:G2 ;
                                                                    swrl:classPredicate gsn:Goal ] ;
                                                            rdf:rest [ a swrl:AtomList ;
                                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                            swrl:argument1 gsnswrl:R1 ;
                                                                            swrl:argument2 gsnswrl:S ;
                                                                            swrl:propertyPredicate rdf:object ] ;
                                                                    rdf:rest [ a swrl:AtomList ;
                                                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                                    swrl:argument1 gsnswrl:R1 ;
                                                                                    swrl:argument2 gsnswrl:A ;
                                                                                    swrl:propertyPredicate gsn:associatedWith ] ;
                                                                            rdf:rest [ a swrl:AtomList ;
                                                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                                            swrl:argument1 gsnswrl:R1 ;
                                                                                            swrl:argument2 gsnswrl:G1 ;
                                                                                            swrl:propertyPredicate rdf:subject ] ;
                                                                                    rdf:rest () ] ] ] ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:R2 ;
                    swrl:argument2 gsnswrl:S ;
                    swrl:propertyPredicate rdf:subject ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:R2 ;
                            swrl:classPredicate gsn:RelationshipWithConfidence ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R2 ;
                                    swrl:argument2 gsnswrl:G2 ;
                                    swrl:propertyPredicate rdf:object ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:R2 ;
                                            swrl:argument2 gsnswrl:A ;
                                            swrl:propertyPredicate gsn:associatedWith ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                                    swrl:argument1 gsnswrl:R2 ;
                                                    swrl:argument2 true ;
                                                    swrl:propertyPredicate gsn:assuranceClaimPoint ] ;
                                            rdf:rest () ] ] ] ] ] ;
    gsn:coreOrExtension "Confidence Argument Extension" .

[] a swrl:Imp ;
    rdfs:label "Confidence Relation Creation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:assuranceClaimPoint ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:classPredicate gsn:ArtefactReference ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:BuiltinAtom ;
                                    swrl:arguments ( gsnswrl:R gsnswrl:A ) ;
                                    swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:classPredicate gsn:RelationshipWithConfidence ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate rdf:subject ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 true ;
                                    swrl:propertyPredicate gsn:assuranceClaimPoint ] ;
                            rdf:rest () ] ] ] ;
    gsn:coreOrExtension "Confidence Argument Extension" .

[] a swrl:Imp ;
    rdfs:label "Duplicate ACP Identifier Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:assuranceClaimPoint ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:assuranceClaimPoint ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                    swrl:argument1 gsnswrl:A ;
                                    swrl:argument2 gsnswrl:N ;
                                    swrl:propertyPredicate schema:identifier ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                            swrl:argument1 gsnswrl:B ;
                                            swrl:argument2 gsnswrl:N ;
                                            swrl:propertyPredicate schema:identifier ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                    swrl:argument1 gsnswrl:A ;
                                                    swrl:argument2 gsnswrl:B ] ;
                                            rdf:rest () ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:argument2 false ;
                            swrl:propertyPredicate gsn:valid ] ;
                    rdf:rest () ] ] ;
    gsn:coreOrExtension "Confidence Argument Extension" .

[] a swrl:Imp ;
    rdfs:label "Goal-Strategy Confidence" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:G2 ;
                    swrl:argument2 gsnswrl:S ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:R1 ;
                            swrl:classPredicate gsn:RelationshipWithConfidence ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R1 ;
                                    swrl:argument2 gsnswrl:S ;
                                    swrl:propertyPredicate rdf:subject ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:S ;
                                            swrl:argument2 gsnswrl:G1 ;
                                            swrl:propertyPredicate gsn:supportedBy ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:BuiltinAtom ;
                                                    swrl:arguments ( gsnswrl:R2 gsnswrl:G2 gsnswrl:S ) ;
                                                    swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                            swrl:argument1 gsnswrl:R1 ;
                                                            swrl:argument2 gsnswrl:G1 ;
                                                            swrl:propertyPredicate rdf:object ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:ClassAtom ;
                                                                    swrl:argument1 gsnswrl:S ;
                                                                    swrl:classPredicate gsn:Strategy ] ;
                                                            rdf:rest [ a swrl:AtomList ;
                                                                    rdf:first [ a swrl:ClassAtom ;
                                                                            swrl:argument1 gsnswrl:G1 ;
                                                                            swrl:classPredicate gsn:Goal ] ;
                                                                    rdf:rest [ a swrl:AtomList ;
                                                                            rdf:first [ a swrl:ClassAtom ;
                                                                                    swrl:argument1 gsnswrl:G2 ;
                                                                                    swrl:classPredicate gsn:Goal ] ;
                                                                            rdf:rest [ a swrl:AtomList ;
                                                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                                            swrl:argument1 gsnswrl:R1 ;
                                                                                            swrl:argument2 gsnswrl:A ;
                                                                                            swrl:propertyPredicate gsn:associatedWith ] ;
                                                                                    rdf:rest () ] ] ] ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:R2 ;
                    swrl:classPredicate gsn:RelationshipWithConfidence ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:R2 ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate gsn:associatedWith ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                    swrl:argument1 gsnswrl:R2 ;
                                    swrl:argument2 true ;
                                    swrl:propertyPredicate gsn:assuranceClaimPoint ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:R2 ;
                                            swrl:argument2 gsnswrl:G2 ;
                                            swrl:propertyPredicate rdf:subject ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:R2 ;
                                                    swrl:argument2 gsnswrl:S ;
                                                    swrl:propertyPredicate rdf:object ] ;
                                            rdf:rest () ] ] ] ] ] ;
    gsn:coreOrExtension "Confidence Argument Extension" .

[] a owl:Axiom ;
    owl:annotatedProperty rdfs:subClassOf ;
    owl:annotatedSource gsn:Argument ;
    owl:annotatedTarget [ a owl:Class ;
            owl:unionOf ( [ a owl:Class ;
                        owl:intersectionOf ( [ a owl:Restriction ;
                                    owl:onProperty gsn:contains ;
                                    owl:someValuesFrom gsn:ArtefactReference ] [ a owl:Restriction ;
                                    owl:onProperty gsn:contains ;
                                    owl:someValuesFrom gsn:Goal ] ) ] [ a owl:Restriction ;
                        owl:onProperty gsn:statement ;
                        owl:someValuesFrom xsd:string ] ) ] ;
    skos:definition "The corresponding argument could be located in a paragraph of accompanying text, a goal in the local argument, or a goal in a separate module."@en ;
    gsn:coreOrExtension "Confidence Argument Extension" .

[] a swrl:Imp ;
    rdfs:label "Solution Confidence Relation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:G ;
                    swrl:argument2 gsnswrl:S2 ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:S1 ;
                            swrl:classPredicate gsn:Solution ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R1 ;
                                    swrl:argument2 gsnswrl:S1 ;
                                    swrl:propertyPredicate rdf:object ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:R1 ;
                                            swrl:classPredicate gsn:RelationshipWithConfidence ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:BuiltinAtom ;
                                                    swrl:arguments ( gsnswrl:R2 gsnswrl:G gsnswrl:S2 ) ;
                                                    swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                            swrl:argument1 gsnswrl:G ;
                                                            swrl:argument2 gsnswrl:S1 ;
                                                            swrl:propertyPredicate gsn:supportedBy ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:ClassAtom ;
                                                                    swrl:argument1 gsnswrl:G ;
                                                                    swrl:classPredicate gsn:Goal ] ;
                                                            rdf:rest [ a swrl:AtomList ;
                                                                    rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                                            swrl:argument1 gsnswrl:S1 ;
                                                                            swrl:argument2 gsnswrl:S2 ] ;
                                                                    rdf:rest [ a swrl:AtomList ;
                                                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                                    swrl:argument1 gsnswrl:R1 ;
                                                                                    swrl:argument2 gsnswrl:A ;
                                                                                    swrl:propertyPredicate gsn:associatedWith ] ;
                                                                            rdf:rest [ a swrl:AtomList ;
                                                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                                            swrl:argument1 gsnswrl:R1 ;
                                                                                            swrl:argument2 gsnswrl:G ;
                                                                                            swrl:propertyPredicate rdf:subject ] ;
                                                                                    rdf:rest [ a swrl:AtomList ;
                                                                                            rdf:first [ a swrl:ClassAtom ;
                                                                                                    swrl:argument1 gsnswrl:S2 ;
                                                                                                    swrl:classPredicate gsn:Solution ] ;
                                                                                            rdf:rest () ] ] ] ] ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:R2 ;
                    swrl:argument2 gsnswrl:S2 ;
                    swrl:propertyPredicate rdf:object ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:R2 ;
                            swrl:classPredicate gsn:RelationshipWithConfidence ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R2 ;
                                    swrl:argument2 gsnswrl:G ;
                                    swrl:propertyPredicate rdf:subject ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:R2 ;
                                            swrl:argument2 gsnswrl:A ;
                                            swrl:propertyPredicate gsn:associatedWith ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                                    swrl:argument1 gsnswrl:R2 ;
                                                    swrl:argument2 true ;
                                                    swrl:propertyPredicate gsn:assuranceClaimPoint ] ;
                                            rdf:rest () ] ] ] ] ] ;
    gsn:coreOrExtension "Confidence Argument Extension" .

[] a swrl:Imp ;
    rdfs:label "Goal Confidence Relation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:G ;
                    swrl:argument2 gsnswrl:S2 ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:S1 ;
                            swrl:classPredicate gsn:Goal ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R1 ;
                                    swrl:argument2 gsnswrl:S1 ;
                                    swrl:propertyPredicate rdf:object ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:R1 ;
                                            swrl:classPredicate gsn:RelationshipWithConfidence ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:BuiltinAtom ;
                                                    swrl:arguments ( gsnswrl:R2 gsnswrl:G gsnswrl:S2 ) ;
                                                    swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                            swrl:argument1 gsnswrl:G ;
                                                            swrl:argument2 gsnswrl:S1 ;
                                                            swrl:propertyPredicate gsn:supportedBy ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:ClassAtom ;
                                                                    swrl:argument1 gsnswrl:S2 ;
                                                                    swrl:classPredicate gsn:Goal ] ;
                                                            rdf:rest [ a swrl:AtomList ;
                                                                    rdf:first [ a swrl:ClassAtom ;
                                                                            swrl:argument1 gsnswrl:G ;
                                                                            swrl:classPredicate gsn:Goal ] ;
                                                                    rdf:rest [ a swrl:AtomList ;
                                                                            rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                                                    swrl:argument1 gsnswrl:S1 ;
                                                                                    swrl:argument2 gsnswrl:S2 ] ;
                                                                            rdf:rest [ a swrl:AtomList ;
                                                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                                            swrl:argument1 gsnswrl:R1 ;
                                                                                            swrl:argument2 gsnswrl:A ;
                                                                                            swrl:propertyPredicate gsn:associatedWith ] ;
                                                                                    rdf:rest [ a swrl:AtomList ;
                                                                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                                                    swrl:argument1 gsnswrl:R1 ;
                                                                                                    swrl:argument2 gsnswrl:G ;
                                                                                                    swrl:propertyPredicate rdf:subject ] ;
                                                                                            rdf:rest () ] ] ] ] ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:R2 ;
                    swrl:argument2 gsnswrl:S2 ;
                    swrl:propertyPredicate rdf:object ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:R2 ;
                            swrl:classPredicate gsn:RelationshipWithConfidence ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R2 ;
                                    swrl:argument2 gsnswrl:G ;
                                    swrl:propertyPredicate rdf:subject ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:R2 ;
                                            swrl:argument2 gsnswrl:A ;
                                            swrl:propertyPredicate gsn:associatedWith ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                                    swrl:argument1 gsnswrl:R2 ;
                                                    swrl:argument2 true ;
                                                    swrl:propertyPredicate gsn:assuranceClaimPoint ] ;
                                            rdf:rest () ] ] ] ] ] ;
    gsn:coreOrExtension "Confidence Argument Extension" .