@prefix bibo: .
@prefix cc: .
@prefix dc: .
@prefix gsn: .
@prefix gsnswrl: .
@prefix owl: .
@prefix rdf: .
@prefix rdfs: .
@prefix schema: .
@prefix skos: .
@prefix swrl: .
@prefix swrla: .
@prefix terms: .
@prefix vann: .
@prefix xsd: .
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:abstract 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:citation a owl:AnnotationProperty .
schema:disclaimer a owl:AnnotationProperty .
schema:includedInDataCatalog a owl:AnnotationProperty .
schema:license a owl:AnnotationProperty .
schema:logo a owl:AnnotationProperty .
schema:name a owl:AnnotationProperty .
schema:url a owl:AnnotationProperty .
swrla:isRuleEnabled a owl:AnnotationProperty .
rdf:predicate a owl:ObjectProperty .
xsd:date a rdfs:Datatype .
skos:altLabel a owl:AnnotationProperty .
skos:definition a owl:AnnotationProperty .
skos:note a owl:AnnotationProperty .
skos:scopeNote 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: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 .
a owl:Ontology ;
cc:license ;
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 Core GSN 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 ] ;
dc:source "https://w3id.org/OntoGSN/ontology" ;
dc:title "OntoGSN — Core GSN"@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 ;
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 ;
schema:logo ;
schema:url "https://w3id.org/OntoGSN/"^^xsd:anyURI ;
rdfs:seeAlso ;
owl:priorVersion ;
owl:versionIRI ;
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 "Core GSN"@en .
gsnswrl:M3 a swrl:Variable .
gsnswrl:P a swrl:Variable .
gsnswrl:R3 a swrl:Variable .
rdf:Statement a owl:Class .
gsn:Catalogue a owl:Class .
gsn:Defeater a owl:Class .
gsn:InstantiationDataReference a owl:Class .
gsnswrl:X a swrl:Variable .
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: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: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:challenges a owl:ObjectProperty .
gsn:transitivelySupportedBy a owl:ObjectProperty,
owl:TransitiveProperty ;
rdfs:label "transitively supported by"@en ;
rdfs:domain gsn:GSNElement ;
rdfs:range gsn:GSNElement ;
skos:definition "[OntoGSN] Relates an element to every element that it reaches through a chain of one or more supported-by links."@en ;
skos:note "Inferred, never authored. It is derived by the Support Closure rule, and the Support Cycle rules read it."@en ;
gsn:coreOrExtension "Core GSN"@en ;
gsn:inferredOnly true .
gsnswrl:E a swrl:Variable .
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: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:Pattern a owl:Class .
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: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: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 .
gsnswrl:C a swrl:Variable .
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: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: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: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 .
rdf:object a owl:ObjectProperty .
rdf:subject a owl:ObjectProperty .
gsn:Module a owl:Class .
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: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" .
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: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: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 .
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" .
gsnswrl:R a swrl:Variable .
gsnswrl:B a swrl:Variable .
gsnswrl:A a swrl:Variable .
[] a swrl:Imp ;
rdfs:label "Support Closure" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:supportedBy ] ;
rdf:rest () ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:transitivelySupportedBy ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Inferential Relation" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:B ;
swrl:classPredicate gsn:Strategy ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:supportedBy ] ;
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:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate rdf:object ] ;
rdf:rest () ] ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 "inferential" ;
swrl:propertyPredicate gsn:relationshipType ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Support Cycle Invalidation" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:E ;
swrl:argument2 gsnswrl:E ;
swrl:propertyPredicate gsn:transitivelySupportedBy ] ;
rdf:rest () ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:E ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:valid ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Context Inheritance" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 gsnswrl:C ;
swrl:propertyPredicate gsn:supportedBy ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 gsnswrl:A ;
swrl:propertyPredicate gsn:inContextOf ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:A ;
swrl:classPredicate gsn:Assumption ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:C ;
swrl:classPredicate gsn:Goal ] ;
rdf:rest () ] ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:C ;
swrl:argument2 gsnswrl:A ;
swrl:propertyPredicate gsn:inContextOf ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Relation False Propagation" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:true ] ;
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:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:inContextOf ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:R ;
swrl:classPredicate gsn:Relationship ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate rdf:object ] ;
rdf:rest () ] ] ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:true ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Contradictory Goal Truth" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:true ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 true ;
swrl:propertyPredicate gsn:true ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 gsnswrl:A ;
swrl:propertyPredicate gsn:supportedBy ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:A ;
swrl:classPredicate gsn:Goal ] ;
rdf:rest () ] ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:valid ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Support Relation Creation" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:supportedBy ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:BuiltinAtom ;
swrl:arguments ( gsnswrl:R gsnswrl:A gsnswrl:B ) ;
swrl:builtin ] ;
rdf:rest () ] ] ;
swrl:head [ 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:ClassAtom ;
swrl:argument1 gsnswrl:R ;
swrl:classPredicate gsn:Relationship ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate rdf:object ] ;
rdf:rest () ] ] ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Support Cycle Relationship Invalidation" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:R ;
swrl:classPredicate gsn:Relationship ] ;
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:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate rdf:object ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:supportedBy ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 gsnswrl:A ;
swrl:propertyPredicate gsn:transitivelySupportedBy ] ;
rdf:rest () ] ] ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:valid ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Solution Propagation (False)" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:A ;
swrl:classPredicate gsn:Solution ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:true ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 gsnswrl:A ;
swrl:propertyPredicate gsn:supportedBy ] ;
rdf:rest () ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:true ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Goal Top Flag" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:X ;
swrl:argument2 gsnswrl:A ;
swrl:propertyPredicate gsn:supportedBy ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:A ;
swrl:classPredicate gsn:Goal ] ;
rdf:rest () ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:top ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Inferential Relation (Goal)" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:supportedBy ] ;
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:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate rdf:object ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:B ;
swrl:classPredicate gsn:Goal ] ;
rdf:rest () ] ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 "inferential" ;
swrl:propertyPredicate gsn:relationshipType ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Evidential Relation" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:B ;
swrl:classPredicate gsn:Solution ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:supportedBy ] ;
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:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate rdf:object ] ;
rdf:rest () ] ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 "evidential" ;
swrl:propertyPredicate gsn:relationshipType ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Context Relation Creation" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:inContextOf ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:BuiltinAtom ;
swrl:arguments ( gsnswrl:R gsnswrl:A gsnswrl:B ) ;
swrl:builtin ] ;
rdf:rest () ] ] ;
swrl:head [ 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:ClassAtom ;
swrl:argument1 gsnswrl:R ;
swrl:classPredicate gsn:Relationship ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate rdf:object ] ;
rdf:rest () ] ] ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Assumption False Propagation" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:A ;
swrl:classPredicate gsn:Assumption ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:true ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 gsnswrl:A ;
swrl:propertyPredicate gsn:inContextOf ] ;
rdf:rest () ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:true ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a owl:Class ;
rdfs:subClassOf [ a owl:Restriction ;
owl:hasValue true ;
owl:onProperty gsn:top ] ;
owl:intersectionOf ( gsn:Goal [ a owl:Class ;
owl:complementOf [ a owl:Restriction ;
owl:onProperty [ owl:inverseOf gsn:supportedBy ] ;
owl:someValuesFrom [ a owl:Class ;
owl:unionOf ( gsn:Goal gsn:Strategy ) ] ] ] [ a owl:Class ;
owl:complementOf [ a owl:Restriction ;
owl:onProperty gsn:challenges ;
owl:someValuesFrom owl:Thing ] ] ) ;
gsn:coreOrExtension "Core GSN"@en .
[] a swrl:Imp ;
rdfs:label "Assumption Invalidation" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:A ;
swrl:classPredicate gsn:Assumption ] ;
rdf:rest [ 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:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 gsnswrl:A ;
swrl:propertyPredicate gsn:inContextOf ] ;
rdf:rest () ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:valid ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Mixed Support Invalidation" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:valid ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 true ;
swrl:propertyPredicate gsn:valid ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:C ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:supportedBy ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:C ;
swrl:argument2 gsnswrl:A ;
swrl:propertyPredicate gsn:supportedBy ] ;
rdf:rest () ] ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:C ;
swrl:argument2 false ;
swrl:propertyPredicate gsn:valid ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Solution Propagation (True)" ;
swrla:isRuleEnabled true ;
swrl:body [ a swrl:AtomList ;
rdf:first [ a swrl:ClassAtom ;
swrl:argument1 gsnswrl:A ;
swrl:classPredicate gsn:Solution ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 gsnswrl:A ;
swrl:propertyPredicate gsn:supportedBy ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 true ;
swrl:propertyPredicate gsn:true ] ;
rdf:rest () ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:B ;
swrl:argument2 true ;
swrl:propertyPredicate gsn:true ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .
[] a swrl:Imp ;
rdfs:label "Contextual Relation" ;
swrla:isRuleEnabled true ;
swrl:body [ 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:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:A ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate gsn:inContextOf ] ;
rdf:rest [ a swrl:AtomList ;
rdf:first [ a swrl:IndividualPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 gsnswrl:B ;
swrl:propertyPredicate rdf:object ] ;
rdf:rest () ] ] ] ;
swrl:head [ a swrl:AtomList ;
rdf:first [ a swrl:DatavaluedPropertyAtom ;
swrl:argument1 gsnswrl:R ;
swrl:argument2 "contextual" ;
swrl:propertyPredicate gsn:relationshipType ] ;
rdf:rest () ] ;
gsn:coreOrExtension "Core GSN" .