[ { "@id": "_:genid0001", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0019" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0002", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0098" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0020" } ] }, { "@id": "_:genid0003", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": false } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#valid" } ] }, { "@id": "_:genid0004", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#D" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0005", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0008" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0006", "@type": [ "http://www.w3.org/2003/11/swrl#Imp" ], "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Challenge Cycle Relationship Invalidation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0002" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0001" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Dialectic Extension" } ] }, { "@id": "_:genid0007", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0108" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0021" } ] }, { "@id": "_:genid0008", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#S" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Solution" } ] }, { "@id": "_:genid0009", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0035" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0010", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0056" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0012", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0030" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0013", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0099" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0014", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0015", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" } ] }, { "@id": "_:genid0016", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Defeater" } ] }, { "@id": "_:genid0017", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": false } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#valid" } ] }, { "@id": "_:genid0018", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#inDoubt" } ] }, { "@id": "_:genid0019", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": false } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#valid" } ] }, { "@id": "_:genid0020", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0097" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0038" } ] }, { "@id": "_:genid0021", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0059" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0032" } ] }, { "@id": "_:genid0022", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#true" } ] }, { "@id": "_:genid0023", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#S" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#valid" } ] }, { "@id": "_:genid0024", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": false } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#undeveloped" } ] }, { "@id": "_:genid0025", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#transitivelyChallenges" } ] }, { "@id": "_:genid0028", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0017" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0029", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0058" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0125" } ] }, { "@id": "_:genid0030", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@value": "dialectic" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#relationshipType" } ] }, { "@id": "_:genid0031", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0023" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0034" } ] }, { "@id": "_:genid0032", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0106" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0047" } ] }, { "@id": "_:genid0034", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0078" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0005" } ] }, { "@id": "_:genid0035", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#S" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Strategy" } ] }, { "@id": "_:genid0036", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0014" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0076" } ] }, { "@id": "_:genid0038", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0131" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0139" } ] }, { "@id": "_:genid0039", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G3" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#S" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy" } ] }, { "@id": "_:genid0040", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#AssuranceCase" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" }, { "@id": "https://w3id.org/OntoGSN/ontology#Relationship" } ] } ] }, { "@id": "_:genid0041", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0042", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#G3" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#subject" } ] }, { "@id": "_:genid0043", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" } ] }, { "@id": "_:genid0044", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G2" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" } ] }, { "@id": "_:genid0045", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0074" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0047", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0128" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0049" } ] }, { "@id": "_:genid0049", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0044" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0084" } ] }, { "@id": "_:genid0050", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0004" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0093" } ] }, { "@id": "_:genid0052", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0111" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0053", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0122" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0054", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution" } ] } ] }, { "@id": "_:genid0055", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#D" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#S" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0056", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0057", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0115" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0058", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#S" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#G2" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy" } ] }, { "@id": "_:genid0059", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G1" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" } ] }, { "@id": "_:genid0062", "@type": [ "http://www.w3.org/2003/11/swrl#Imp" ], "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Challenge Defeat" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0031" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0052" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Dialectic Extension" } ] }, { "@id": "_:genid0063", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution" } ] } ] }, { "@id": "_:genid0064", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0022" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0103" } ] }, { "@id": "_:genid0065", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0066", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" }, { "@id": "https://w3id.org/OntoGSN/ontology#Relationship" } ] } ] }, { "@id": "_:genid0068", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0135" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0120" } ] }, { "@id": "_:genid0069", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0018" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0070", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": false } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#valid" } ] }, { "@id": "_:genid0071", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" }, { "@id": "https://w3id.org/OntoGSN/ontology#Relationship" } ] } ] }, { "@id": "_:genid0072", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#S" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": false } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#valid" } ] }, { "@id": "_:genid0073", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0055" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0129" } ] }, { "@id": "_:genid0074", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#transitivelyChallenges" } ] }, { "@id": "_:genid0075", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0076", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0015" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0069" } ] }, { "@id": "_:genid0078", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#S" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0079", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#transitivelyChallenges" } ] }, { "@id": "_:genid0080", "@type": [ "http://www.w3.org/2003/11/swrl#Imp" ], "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Defeater Declaration" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0057" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0130" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Dialectic Extension" } ] }, { "@id": "_:genid0082", "@type": [ "http://www.w3.org/2003/11/swrl#Imp" ], "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Challenge Cycle Invalidation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0102" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0028" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Dialectic Extension" } ] }, { "@id": "_:genid0083", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0003" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0084", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0101" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0089" } ] }, { "@id": "_:genid0085", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0112" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0137" } ] }, { "@id": "_:genid0086", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0075" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0064" } ] }, { "@id": "_:genid0087", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0133" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0068" } ] }, { "@id": "_:genid0088", "@type": [ "http://www.w3.org/2003/11/swrl#Imp" ], "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Challenge Doubt" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0086" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0053" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Dialectic Extension" } ] }, { "@id": "_:genid0089", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0104" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0116" } ] }, { "@id": "_:genid0090", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#S" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#G1" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy" } ] }, { "@id": "_:genid0091", "@type": [ "http://www.w3.org/2003/11/swrl#Imp" ], "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Challenge Closure" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0010" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0136" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Dialectic Extension" } ] }, { "@id": "_:genid0092", "@type": [ "http://www.w3.org/2003/11/swrl#Imp" ], "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Undeveloped Defeat" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0119" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0124" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Dialectic Extension" } ] }, { "@id": "_:genid0093", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0042" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0007" } ] }, { "@id": "_:genid0097", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#subject" } ] }, { "@id": "_:genid0098", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Relationship" } ] }, { "@id": "_:genid0099", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#defeated" } ] }, { "@id": "_:genid0100", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" }, { "@id": "https://w3id.org/OntoGSN/ontology#Relationship" } ] } ] }, { "@id": "_:genid0101", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G3" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#G1" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy" } ] }, { "@id": "_:genid0102", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0025" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0103", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0043" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0104", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G3" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#G2" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy" } ] }, { "@id": "_:genid0106", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G3" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" } ] }, { "@id": "_:genid0108", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#G1" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#object" } ] }, { "@id": "_:genid0109", "@type": [ "http://www.w3.org/2003/11/swrl#Imp" ], "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Defeated Invalidation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0013" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0083" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Dialectic Extension" } ] }, { "@id": "_:genid0110", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#defeated" } ] }, { "@id": "_:genid0111", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#defeated" } ] }, { "@id": "_:genid0112", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#D" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": false } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#valid" } ] }, { "@id": "_:genid0114", "@type": [ "http://www.w3.org/2003/11/swrl#Imp" ], "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Challenge Chain Invalidation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0050" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0029" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Dialectic Extension" } ] }, { "@id": "_:genid0115", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0116", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0117" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0117", "@type": [ "http://www.w3.org/2003/11/swrl#DifferentIndividualsAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#G1" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#G2" } ] }, { "@id": "_:genid0118", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#object" } ] }, { "@id": "_:genid0119", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0024" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0036" } ] }, { "@id": "_:genid0120", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0118" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0012" } ] }, { "@id": "_:genid0122", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#E" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#inDoubt" } ] }, { "@id": "_:genid0123", "http://schema.org/name": [ { "@value": "fortiss GmbH" } ], "http://schema.org/url": [ { "@id": "https://www.fortiss.org/" } ] }, { "@id": "_:genid0124", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0110" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0125", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0039" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0085" } ] }, { "@id": "_:genid0126", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0065" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0134" } ] }, { "@id": "_:genid0127", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" }, { "@id": "https://w3id.org/OntoGSN/ontology#Relationship" } ] } ] }, { "@id": "_:genid0128", "@type": [ "http://www.w3.org/2003/11/swrl#BuiltinAtom" ], "http://www.w3.org/2003/11/swrl#arguments": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/swrl#S" }, { "@id": "https://w3id.org/OntoGSN/swrl#G3" } ] } ], "http://www.w3.org/2003/11/swrl#builtin": [ { "@id": "http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing" } ] }, { "@id": "_:genid0129", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0072" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0140" } ] }, { "@id": "_:genid0130", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0016" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0131", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#object" } ] }, { "@id": "_:genid0132", "@type": [ "http://www.w3.org/2003/11/swrl#Imp" ], "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@value": "Challenge Relation Creation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0126" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0087" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Dialectic Extension" } ] }, { "@id": "_:genid0133", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#argument2": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#subject" } ] }, { "@id": "_:genid0134", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0138" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0135", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Relationship" } ] }, { "@id": "_:genid0136", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0079" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0137", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0090" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0073" } ] }, { "@id": "_:genid0138", "@type": [ "http://www.w3.org/2003/11/swrl#BuiltinAtom" ], "http://www.w3.org/2003/11/swrl#arguments": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/swrl#R" }, { "@id": "https://w3id.org/OntoGSN/swrl#A" }, { "@id": "https://w3id.org/OntoGSN/swrl#B" } ] } ], "http://www.w3.org/2003/11/swrl#builtin": [ { "@id": "http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing" } ] }, { "@id": "_:genid0139", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0041" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0045" } ] }, { "@id": "_:genid0140", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0070" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0009" } ] }, { "@id": "http://creativecommons.org/ns#license", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/dc/elements/1.1/contributor", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/dc/elements/1.1/creator", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/dc/elements/1.1/description", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/dc/elements/1.1/publisher", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/dc/elements/1.1/source", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/dc/elements/1.1/title", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/dc/terms/bibliographicCitation", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/dc/terms/created", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/dc/terms/issued", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/dc/terms/modified", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/ontology/bibo/doi", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/ontology/bibo/status", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/vocab/vann/preferredNamespacePrefix", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://purl.org/vocab/vann/preferredNamespaceUri", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://schema.org/description", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty", "http://www.w3.org/2002/07/owl#DatatypeProperty" ] }, { "@id": "http://schema.org/disclaimer", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://schema.org/includedInDataCatalog", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://schema.org/logo", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://schema.org/name", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://schema.org/url", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#object", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ] }, { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#subject", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ] }, { "@id": "http://www.w3.org/2004/02/skos/core#altLabel", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://www.w3.org/2004/02/skos/core#definition", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://www.w3.org/2004/02/skos/core#note", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://www.w3.org/2004/02/skos/core#scopeNote", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#AssuranceCase", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Defeater", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Defeater" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0063" } ], "http://www.w3.org/2004/02/skos/core#altLabel": [ { "@language": "en", "@value": "Dialectic Element" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@value": "The source of challenge being applied; can be directed at any part of an argument. A defeater (goal or solution) can challenge any element in a goal structure, e.g. goal, solution, strategy, context, assumption, justification." } ], "http://www.w3.org/2004/02/skos/core#note": [ { "@language": "en", "@value": "Membership of this class is only meant to be inferred, not asserted! Please do not add individuals to this class manually (i.e., assertions)." }, { "@language": "en", "@value": "The goal and solution statements should be clearly expressed such that the crux of the challenge is unequivocally communicated. Thus, the link between the part of the argument that is being challenged (target) and the dialectic element (source) is self-evident." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Goal", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Relationship", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Strategy", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#challenges", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0054" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "challenges" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "_:genid0071" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "Allows a Challenge to any GSN entity to be documented. A goal, (core element) can be used in a dialectic context to assert a challenge to part of the argument. A solution, (core element) can be used to present a reference to an evidence item that asserts a challenge to part of the argument." } ], "http://www.w3.org/2004/02/skos/core#note": [ { "@language": "en", "@value": "A challenge must be levied against the appropriate aspect of the goal structure." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "dashed line with an open arrowhead" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#coreOrExtension", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#defeated", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://schema.org/description": [ { "@language": "en", "@value": "Defeated Relationship indicates that the relationship is defeated. The Defeated decorator can be applied to any of the GSN relationships." } ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0100" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "defeated" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#boolean" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "This decorator symbol indicates that the element is defeated. The Defeated decorator can be applied to any of the GSN elements." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "cross (‘X’) superimposed on a GSN element or relationship" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#inDoubt", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0040" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "in doubt" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#boolean" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "The dialectic challenge within this structure asserts that if the claim presented in Goal CG1 is true then this is sufficient to establish that the claim in Goal G1 in the original structure is in doubt." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#inferredOnly", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#relationshipType", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#renderedAs", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#transitivelyChallenges", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty", "http://www.w3.org/2002/07/owl#TransitiveProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0127" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "transitively challenges" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "_:genid0066" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "[OntoGSN] Relates an element to every element that it reaches through a chain of one or more challenges." } ], "http://www.w3.org/2004/02/skos/core#note": [ { "@language": "en", "@value": "Inferred, never authored. It is derived by the Challenge Closure rule, and the Challenge Cycle rules read it." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ], "https://w3id.org/OntoGSN/ontology#inferredOnly": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#true", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#undeveloped", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#valid", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology/dialectic", "@type": [ "http://www.w3.org/2002/07/owl#Ontology" ], "http://creativecommons.org/ns#license": [ { "@id": "https://creativecommons.org/licenses/by/4.0/" } ], "http://purl.org/dc/elements/1.1/contributor": [ { "@language": "en", "@value": "Barbara Gallina" }, { "@language": "en", "@value": "Dian Balta" }, { "@language": "en", "@value": "Ingmar Kessler" }, { "@language": "en", "@value": "Jule Hendricks" } ], "http://purl.org/dc/elements/1.1/creator": [ { "@language": "en", "@value": "Tomas Bueno Momčilović" } ], "http://purl.org/dc/elements/1.1/description": [ { "@language": "en", "@value": "The complete Dialectic Extension section of OntoGSN. Generated from ontogsn.ttl by development/dev_tools/build_separated.py. Includes the SWRL rules and every annotation." } ], "http://purl.org/dc/elements/1.1/publisher": [ { "@id": "_:genid0123" } ], "http://purl.org/dc/elements/1.1/source": [ { "@value": "https://w3id.org/OntoGSN/ontology" } ], "http://purl.org/dc/elements/1.1/title": [ { "@language": "en", "@value": "OntoGSN — Dialectic Extension" } ], "http://purl.org/dc/terms/bibliographicCitation": [ { "@value": "Bueno Momčilović, T. (2026). OntoGSN (Version 1.3.0) [Ontology]. https://doi.org/10.5281/zenodo.17808330" } ], "http://purl.org/dc/terms/created": [ { "@type": "http://www.w3.org/2001/XMLSchema#date", "@value": "2025-02-20" } ], "http://purl.org/dc/terms/issued": [ { "@type": "http://www.w3.org/2001/XMLSchema#date", "@value": "2026-11-05" } ], "http://purl.org/dc/terms/modified": [ { "@type": "http://www.w3.org/2001/XMLSchema#date", "@value": "2026-11-05" } ], "http://purl.org/ontology/bibo/doi": [ { "@value": "10.5281/zenodo.17808330" } ], "http://purl.org/ontology/bibo/status": [ { "@id": "http://purl.org/ontology/bibo/status/published" } ], "http://purl.org/vocab/vann/preferredNamespacePrefix": [ { "@value": "gsn" } ], "http://purl.org/vocab/vann/preferredNamespaceUri": [ { "@value": "https://w3id.org/OntoGSN/ontology#" } ], "http://schema.org/disclaimer": [ { "@language": "en", "@value": "[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." } ], "http://schema.org/includedInDataCatalog": [ { "@id": "https://zenodo.org/" } ], "http://schema.org/logo": [ { "@id": "https://fortiss.github.io/OntoGSN/assets/images/ontogsn-banner.png" } ], "http://schema.org/url": [ { "@type": "http://www.w3.org/2001/XMLSchema#anyURI", "@value": "https://w3id.org/OntoGSN/" } ], "http://www.w3.org/2000/01/rdf-schema#seeAlso": [ { "@id": "https://doi.org/10.48550/arXiv.2506.11023" } ], "http://www.w3.org/2002/07/owl#priorVersion": [ { "@id": "https://w3id.org/OntoGSN/ontology/1.2.3" } ], "http://www.w3.org/2002/07/owl#versionIRI": [ { "@id": "https://w3id.org/OntoGSN/ontology/1.3.0" } ], "http://www.w3.org/2002/07/owl#versionInfo": [ { "@value": "1.3.0" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "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." } ], "http://www.w3.org/2004/02/skos/core#scopeNote": [ { "@language": "en", "@value": "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." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ] }, { "@id": "https://w3id.org/OntoGSN/swrl#A", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#B", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#D", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#E", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#G", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#G1", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#G2", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#G3", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#R", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#S", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] } ]