@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix gsn: <https://w3id.org/OntoGSN/ontology#> .
@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 terms: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

dc:description a owl:AnnotationProperty .

dc:source a owl:AnnotationProperty .

dc:title a owl:AnnotationProperty .

terms:abstract a owl:AnnotationProperty .

schema:citation a owl:AnnotationProperty .

schema:license a owl:AnnotationProperty .

rdf:predicate a owl:ObjectProperty .

xsd:date a rdfs:Datatype .

skos:altLabel a owl:AnnotationProperty .

skos:definition a owl:AnnotationProperty .

gsn:coreOrExtension a owl:AnnotationProperty ;
    rdfs:label "core or extension"@en ;
    skos:definition "Indicator of the sourcing section in the GSN Community Standard v3."@en .

gsn:inferredOnly a owl:AnnotationProperty ;
    rdfs:label "inferred only"@en ;
    skos:definition "[OntoGSN] Marks a property that a rule derives and that a case never asserts."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:offDiagram a owl:DatatypeProperty ;
    rdfs:label "off-diagram"@en ;
    rdfs:domain gsn:GSNElement ;
    rdfs:range xsd:boolean ;
    skos:definition "[OntoGSN] Determines whether the argument at this element continues in, or is a continuation from, a separate diagram."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:refersTo a owl:ObjectProperty ;
    rdfs:label "refers to"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:ArtefactReference gsn:InstantiationDataReference ) ] ;
    rdfs:range gsn:Artefact ;
    skos:definition "[OntoGSN] Relates an artefact reference or an instantiation data reference to the artefact it points at."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:relationshipType a owl:DatatypeProperty ;
    rdfs:label "relationship type"@en ;
    rdfs:domain gsn:Relationship ;
    rdfs:range [ a rdfs:Datatype ;
            owl:oneOf [ a rdf:List ;
                    rdf:first "contextual" ;
                    rdf:rest [ a rdf:List ;
                            rdf:first "dialectic" ;
                            rdf:rest [ a rdf:List ;
                                    rdf:first "evidential" ;
                                    rdf:rest [ a rdf:List ;
                                            rdf:first "inferential" ;
                                            rdf:rest () ] ] ] ] ] ;
    skos:definition "An evidential relationship is a declared relationship between a claim and an evidence item by which the claim is substantiated. An inferential relationship is a declared inference between claims in the argument. A contextual relationship draws attention to explanatory contextual information."@en,
        "SupportedBy relationships – represented by lines with solid arrowheads – indicate inferential or evidential relationships between elements. InContextOf relationships – represented as lines with hollow arrowheads – declare contextual relationships."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:renderedAs a owl:AnnotationProperty ;
    rdfs:label "rendered as"@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:structured a owl:DatatypeProperty ;
    rdfs:label "structured"@en ;
    rdfs:domain gsn:Argument ;
    rdfs:range xsd:boolean ;
    skos:definition "A particular kind of argument where the relationships between the asserted claims, and from the evidence to the claims, are explicitly represented."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:top a owl:DatatypeProperty ;
    rdfs:label "top (goal)"@en ;
    rdfs:domain gsn:Goal ;
    rdfs:range xsd:boolean ;
    skos:definition "A GSN Goal that presents the pinnacle claim in an argument. It is ‘top’ in terms of the argument hierarchy, rather than necessarily its physical layout. There may be more than one top goal in a GSN structure."@en,
        "The top goal presents the overall claim asserted by the author and it is up to the reader to determine their belief that it is adequately supported."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:true a owl:DatatypeProperty ;
    rdfs:label "true"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
    rdfs:range xsd:boolean ;
    skos:definition "[OntoGSN] Marks whether the claim in the element or relationship is determined (e.g., by the auditor or some process) as correct or not."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:valid a owl:DatatypeProperty ;
    rdfs:label "valid"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:GSNElement gsn:Pattern gsn:Relationship ) ] ;
    rdfs:range xsd:boolean ;
    skos:definition "[OntoGSN] Marks whether the element is determined (e.g., by a rule or a manual evaluation) to be consistent with the argument, or otherwise correct with respect to the GSN argument syntax."@en ;
    gsn:coreOrExtension "Core GSN"@en .

<https://w3id.org/OntoGSN/ontology/core> a owl:Ontology ;
    dc:description "The pruned Core GSN section of OntoGSN. Generated from ontogsn.ttl by development/dev_tools/build_separated.py. Excludes the SWRL rules and the inferred-only properties; the term annotations are kept."@en ;
    dc:source "https://w3id.org/OntoGSN/ontology" ;
    dc:title "OntoGSN — Core GSN"@en ;
    owl:versionInfo "1.3.0" ;
    gsn:coreOrExtension "Core GSN"@en .

rdf:Statement a owl:Class .

rdf:object a owl:ObjectProperty .

rdf:subject a owl:ObjectProperty .

gsn:Catalogue a owl:Class .

gsn:Defeater a owl:Class .

gsn:InstantiationDataReference a owl:Class .

gsn:AssuranceCase a owl:Class ;
    rdfs:label "Assurance Case"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Argument gsn:Artefact ) ] ;
            owl:onProperty gsn:contains ],
        [ a owl:Restriction ;
            owl:onProperty gsn:contains ;
            owl:someValuesFrom gsn:Artefact ],
        [ a owl:Restriction ;
            owl:onProperty gsn:contains ;
            owl:someValuesFrom gsn:Argument ] ;
    skos:definition "A reasoned and compelling argument, supported by a body of evidence, that a system, service or organisation will operate as intended for a defined application in a defined environment."@en,
        "Arguments and evidence intended to demonstrate that a system meets its assurance requirements."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:Solution a owl:Class ;
    rdfs:label "Solution"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
            owl:onProperty gsn:challenges ],
        [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:ArtefactReference ;
    skos:definition "A solution, rendered as a circle, presents a reference to an evidence item."@en ;
    gsn:coreOrExtension "Core GSN"@en ;
    gsn:renderedAs "circle"@en .

gsn:challenges a owl:ObjectProperty .

gsn:supportedBy a owl:AsymmetricProperty,
        owl:IrreflexiveProperty,
        owl:ObjectProperty ;
    rdfs:label "supported by"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Module gsn:Strategy ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Module gsn:Solution gsn:Strategy ) ] ;
    skos:definition "SupportedBy, rendered as a line with a solid arrowhead, allows support relationships between elements to be documented."@en ;
    gsn:coreOrExtension "Core GSN"@en ;
    gsn:renderedAs "line with a solid arrowhead" .

gsn:Assumption a owl:Class ;
    rdfs:label "Assumption"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:GSNElement ;
    skos:definition "An assumption, rendered as an oval with the letter 'A' at the top- or bottom-right, presents an intentionally unsubstantiated statement."@en ;
    gsn:coreOrExtension "Core GSN"@en ;
    gsn:renderedAs "oval"@en .

gsn:Justification a owl:Class ;
    rdfs:label "Justification"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:GSNElement ;
    skos:definition "A justification, rendered as an oval with the letter 'J' at the top- or bottom-right, presents a statement of rationale."@en ;
    gsn:coreOrExtension "Core GSN"@en ;
    gsn:renderedAs "oval"@en .

gsn:inContextOf a owl:AsymmetricProperty,
        owl:IrreflexiveProperty,
        owl:ObjectProperty ;
    rdfs:label "in context of"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Module gsn:Strategy ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:Assumption gsn:Context gsn:Justification gsn:Module ) ] ;
    skos:definition "InContextOf, rendered as a line with a hollow arrowhead, declares a contextual relationship."@en ;
    gsn:coreOrExtension "Core GSN"@en ;
    gsn:renderedAs "line with a hollow arrowhead" .

schema:identifier a owl:DatatypeProperty .

gsn:Artefact a owl:Class ;
    rdfs:label "Artefact"@en ;
    skos:altLabel "Evidence"@en ;
    skos:definition "[OntoGSN] Information or objective artefacts (e.g., files) being offered in support or context of one or more claims."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:ArtefactReference a owl:Class ;
    rdfs:label "Artefact Reference"@en ;
    rdfs:subClassOf gsn:GSNElement ;
    skos:definition "[OntoGSN] An element that makes no claim of its own and instead points at an artefact, such as a solution or a context expressed as a noun phrase."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:Context a owl:Class ;
    rdfs:label "Context"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:ArtefactReference ;
    skos:definition "A context, rendered as shown left, presents a contextual artefact. This can be a reference to contextual information, or a statement."@en ;
    gsn:coreOrExtension "Core GSN"@en ;
    gsn:renderedAs "rounded rectangle"@en .

gsn:Pattern a owl:Class .

gsn:Strategy a owl:Class ;
    rdfs:label "Strategy"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Assumption gsn:Context gsn:Justification gsn:Module ) ] ;
            owl:onProperty gsn:inContextOf ],
        [ a owl:Restriction ;
            owl:allValuesFrom gsn:Goal ;
            owl:onProperty gsn:supportedBy ],
        [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:GSNElement ;
    skos:definition "A strategy, rendered as a parallelogram, describes the inference that exists between a goal and its supporting goal(s)."@en ;
    gsn:coreOrExtension "Core GSN"@en ;
    gsn:renderedAs "parallelogram"@en .

gsn:Relationship a owl:Class ;
    rdfs:label "Relationship"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Defeater gsn:Goal gsn:Module gsn:Pattern gsn:Strategy ) ] ;
            owl:onProperty rdf:subject ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
            owl:onProperty rdf:object ],
        rdf:Statement ;
    skos:definition "[OntoGSN] A link between GSN elements treated as an individual in its own right, carrying its subject, object and type, so that the link itself can be decorated and described."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:contains a owl:ObjectProperty ;
    rdfs:label "contains"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:AssuranceCase gsn:Catalogue gsn:Module gsn:Pattern ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:Artefact gsn:GSNElement gsn:Pattern ) ] ;
    skos:definition "[OntoGSN] Relates a container (e.g., an assurance case, argument, module, catalogue or pattern) to its components (e.g., elements, arguments, patterns or artefacts)."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:Argument a owl:Class ;
    rdfs:label "Argument"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty schema:identifier ;
            owl:someValuesFrom xsd:string ],
        [ a owl:Restriction ;
            owl:onDataRange xsd:string ;
            owl:onProperty schema:identifier ;
            owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:GSNElement gsn:Pattern ) ] ;
            owl:onProperty gsn:contains ],
        [ 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 "A body of information presented with the intention to establish one or more claims through the presentation of related supporting claims, evidence and contextual information."@en,
        "A connected series of claims intended to establish an overall claim."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:statement a owl:DatatypeProperty ;
    rdfs:label "statement"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:AssuranceCase gsn:GSNElement ) ] ;
    rdfs:range xsd:string ;
    skos:definition "[OntoGSN] The text the element asserts, written to the grammatical rules the standard sets for GSN statements."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:Goal a owl:Class ;
    rdfs:label "Goal"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:inContextOf ;
            owl:someValuesFrom gsn:Context ],
        [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Assumption gsn:Context gsn:Justification gsn:Module ) ] ;
            owl:onProperty gsn:inContextOf ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Goal gsn:Module gsn:Solution gsn:Strategy ) ] ;
            owl:onProperty gsn:supportedBy ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
            owl:onProperty gsn:challenges ],
        gsn:GSNElement ;
    skos:altLabel "Claim"@en ;
    skos:definition "(Claim is) A proposition being asserted by the author that is a true or false statement."@en,
        "A goal, rendered as a rectangle, presents a claim forming part of the argument."@en ;
    gsn:coreOrExtension "Core GSN"@en ;
    gsn:renderedAs "rectangle"@en .

gsn:Module a owl:Class .

gsn:GSNElement a owl:Class ;
    rdfs:label "GSN Element"@en ;
    rdfs:subClassOf [ 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 ] ;
    skos:definition "Goals, solutions, strategies, contexts, assumptions and justifications form the principal elements of GSN."@en ;
    gsn:coreOrExtension "Core GSN"@en .