@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 xsd: <http://www.w3.org/2001/XMLSchema#> .

dc:description a owl:AnnotationProperty .

dc:source a owl:AnnotationProperty .

dc:title a owl:AnnotationProperty .

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

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: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:inDoubt a owl:DatatypeProperty ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:AssuranceCase gsn:GSNElement gsn:Relationship ) ] ;
    rdfs:range xsd:boolean .

<https://w3id.org/OntoGSN/ontology/dialectic> a owl:Ontology ;
    dc:description "The skeletal Dialectic Extension section 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 — Dialectic Extension"@en ;
    owl:versionInfo "1.3.0" ;
    gsn:coreOrExtension "Dialectic Extension"@en .

gsn:AssuranceCase a owl:Class .

gsn:Goal a owl:Class .

gsn:Solution a owl:Class .

gsn:GSNElement a owl:Class .

gsn:Relationship a owl:Class .