@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 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 .

<https://w3id.org/OntoGSN/ontology> a owl:Ontology ;
    dc:description "The skeletal ontology of OntoGSN. Generated from ontogsn.ttl by development/dev_tools/build_separated.py. Declarations and logical axioms only - no rules, no prose."@en ;
    dc:source "https://w3id.org/OntoGSN/ontology" ;
    dc:title "OntoGSN"@en ;
    rdfs:seeAlso <https://w3id.org/OntoGSN/ontology/confidence>,
        <https://w3id.org/OntoGSN/ontology/core>,
        <https://w3id.org/OntoGSN/ontology/dialectic>,
        <https://w3id.org/OntoGSN/ontology/modular>,
        <https://w3id.org/OntoGSN/ontology/pattern> ;
    owl:versionInfo "1.3.0" .

gsn:applicability a owl:AnnotationProperty ;
    rdfs:domain gsn:Pattern .

gsn:attachedTo a owl:ObjectProperty ;
    rdfs:domain gsn:InstantiationDataReference ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Template ) ] .

gsn:choice a owl:DatatypeProperty ;
    rdfs:domain gsn:Relationship ;
    rdfs:range xsd:boolean .

gsn:collaboration a owl:AnnotationProperty ;
    rdfs:domain gsn:Pattern .

gsn:consequences a owl:AnnotationProperty ;
    rdfs:domain gsn:Pattern .

gsn:consistentWith a owl:ObjectProperty,
        owl:SymmetricProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Assumption gsn:Context ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:Assumption gsn:Context ) ] .

gsn:contract a owl:DatatypeProperty ;
    rdfs:domain gsn:Module ;
    rdfs:range xsd:boolean ;
    owl:propertyDisjointWith gsn:undeveloped .

gsn:coreOrExtension a owl:AnnotationProperty .

gsn:defeated a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
    rdfs:range xsd:boolean .

gsn:depicts a owl:ObjectProperty ;
    rdfs:domain gsn:View ;
    rdfs:range gsn:Module .

gsn:examples a owl:AnnotationProperty ;
    rdfs:domain gsn:Pattern .

gsn:final a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:Pattern ) ] ;
    rdfs:range xsd:boolean .

gsn:implementation a owl:AnnotationProperty ;
    rdfs:domain gsn:Pattern .

gsn:inDoubt a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:AssuranceCase gsn:GSNElement gsn:Relationship ) ] ;
    rdfs:range xsd:boolean .

gsn:inferredOnly a owl:AnnotationProperty .

gsn:instantiationOf a owl:ObjectProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:GSNElement ) ] ;
    rdfs:range gsn:Pattern .

gsn:intent a owl:AnnotationProperty ;
    rdfs:domain gsn:Pattern .

gsn:knownUses a owl:AnnotationProperty ;
    rdfs:domain gsn:Pattern .

gsn:maxCardinality a owl:DatatypeProperty ;
    rdfs:domain gsn:Relationship ;
    rdfs:range xsd:nonNegativeInteger .

gsn:minCardinality a owl:DatatypeProperty ;
    rdfs:domain gsn:Relationship ;
    rdfs:range xsd:nonNegativeInteger .

gsn:motivation a owl:AnnotationProperty ;
    rdfs:domain gsn:Pattern .

gsn:multiple a owl:DatatypeProperty ;
    rdfs:domain gsn:Relationship ;
    rdfs:range xsd:boolean .

gsn:offDiagram a owl:DatatypeProperty ;
    rdfs:domain gsn:GSNElement ;
    rdfs:range xsd:boolean .

gsn:optional a owl:DatatypeProperty ;
    rdfs:domain gsn:Relationship ;
    rdfs:range xsd:boolean .

gsn:participants a owl:AnnotationProperty ;
    rdfs:domain gsn:Pattern .

gsn:public a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Assumption gsn:Context gsn:Goal gsn:Justification gsn:Solution ) ] ;
    rdfs:range xsd:boolean .

gsn:published a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:Pattern ) ] ;
    rdfs:range xsd:boolean .

gsn:refersTo a owl:ObjectProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:ArtefactReference gsn:InstantiationDataReference ) ] ;
    rdfs:range gsn:Artefact .

gsn:relatedTo a owl:ObjectProperty ;
    rdfs:domain gsn:Pattern ;
    rdfs:range gsn:Pattern .

gsn:relationshipType a owl:DatatypeProperty ;
    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 () ] ] ] ] ] .

gsn:renderedAs a owl:AnnotationProperty .

gsn:structure a owl:AnnotationProperty ;
    rdfs:domain gsn:Pattern .

gsn:structured a owl:DatatypeProperty ;
    rdfs:domain gsn:Argument ;
    rdfs:range xsd:boolean .

gsn:substitutedBy a owl:ObjectProperty ;
    rdfs:domain gsn:Justification ;
    rdfs:range [ a owl:Class ;
            owl:intersectionOf ( gsn:Goal [ a owl:Restriction ;
                        owl:hasValue true ;
                        owl:onProperty gsn:away ] ) ] .

gsn:toBeSupportedByContract a owl:DatatypeProperty ;
    rdfs:domain gsn:Goal ;
    rdfs:range xsd:boolean ;
    owl:propertyDisjointWith gsn:undeveloped .

gsn:top a owl:DatatypeProperty ;
    rdfs:domain gsn:Goal ;
    rdfs:range xsd:boolean .

gsn:true a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
    rdfs:range xsd:boolean .

gsn:uninstantiated a owl:DatatypeProperty ;
    rdfs:domain gsn:GSNElement ;
    rdfs:range xsd:boolean .

gsn:valid a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:GSNElement gsn:Pattern gsn:Relationship ) ] ;
    rdfs:range xsd:boolean .

gsn:viewType a owl:DatatypeProperty ;
    rdfs:domain gsn:View ;
    rdfs:range [ a rdfs:Datatype ;
            owl:oneOf [ a rdf:List ;
                    rdf:first "architecture" ;
                    rdf:rest [ a rdf:List ;
                            rdf:first "argument" ;
                            rdf:rest () ] ] ] .

schema:description a owl:AnnotationProperty,
        owl:DatatypeProperty .

rdf:Statement a owl:Class .

rdf:subject a owl:ObjectProperty .

gsn:Catalogue a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom gsn:Pattern ;
            owl:onProperty gsn:contains ] .

gsn:Defeater a owl:Class ;
    rdfs:subClassOf [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Solution ) ] .

gsn:Template a owl:Class ;
    rdfs:subClassOf gsn:Pattern .

gsn:argumentType a owl:DatatypeProperty ;
    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 () ] ] ] ] .

gsn:assuranceClaimPoint a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:ArtefactReference gsn:RelationshipWithConfidence ) ] ;
    rdfs:range xsd:boolean .

gsn:away a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Assumption gsn:Context gsn:Goal gsn:Justification gsn:Solution ) ] ;
    rdfs:range xsd:boolean .

rdf:object a owl:ObjectProperty .

gsn:InstantiationDataReference a owl:Class .

gsn:RelationshipWithConfidence a owl:Class ;
    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 .

gsn:View a owl:Class .

gsn:associatedWith a owl:ObjectProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:ArtefactReference gsn:RelationshipWithConfidence ) ] ;
    rdfs:range gsn:Argument .

gsn:challenges a owl:ObjectProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Solution ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] .

gsn:undeveloped a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Relationship gsn:Strategy ) ] ;
    rdfs:range xsd:boolean .

gsn:AssuranceCase a owl:Class ;
    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 ] .

gsn:supportedBy a owl:AsymmetricProperty,
        owl:IrreflexiveProperty,
        owl:ObjectProperty ;
    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 ) ] .

gsn:Artefact a owl:Class .

gsn:inContextOf a owl:AsymmetricProperty,
        owl:IrreflexiveProperty,
        owl:ObjectProperty ;
    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 ) ] .

schema:identifier a owl:DatatypeProperty .

gsn:ArtefactReference a owl:Class ;
    rdfs:subClassOf gsn:GSNElement .

gsn:Justification a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:GSNElement .

gsn:Assumption a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:GSNElement .

gsn:Solution a owl:Class ;
    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 .

gsn:Strategy a owl:Class ;
    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 .

gsn:statement a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:AssuranceCase gsn:GSNElement ) ] ;
    rdfs:range xsd:string .

gsn:Context a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:ArtefactReference .

gsn:contains a owl:ObjectProperty ;
    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 ) ] .

gsn:Module a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Argument gsn:Module ) ] ;
            owl:onProperty gsn:contains ],
        [ a owl:Restriction ;
            owl:allValuesFrom gsn:Module ;
            owl:onProperty gsn:inContextOf ],
        [ a owl:Restriction ;
            owl:allValuesFrom gsn:Module ;
            owl:onProperty gsn:supportedBy ],
        [ a owl:Restriction ;
            owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onClass gsn:Argument ;
            owl:onProperty gsn:contains ],
        gsn:GSNElement .

gsn:Argument a owl:Class ;
    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 ] ) ] .

gsn:Goal a owl:Class ;
    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 .

gsn:Relationship a owl:Class ;
    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 .

gsn:GSNElement a owl:Class ;
    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 ] .

gsn:Pattern a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty schema:description ;
            owl:someValuesFrom rdfs:Literal ] .