[ { "@id": "_:genid0003", "@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#inContextOf" } ] }, { "@id": "_:genid0004", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "_:genid0308" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#subject" } ] }, { "@id": "_:genid0005", "@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": [ { "@id": "_:genid0012" } ] }, { "@id": "_:genid0006", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0296" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0005" } ] }, { "@id": "_:genid0007", "@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#transitivelySupportedBy" } ] }, { "@id": "_:genid0008", "@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": "Support Closure" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0050" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0260" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0009", "@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": "_:genid0011", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0176" } ], "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": "_:genid0122" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0013", "@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": "Inferential Relation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0136" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0290" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0014", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#inContextOf" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "https://w3id.org/OntoGSN/ontology#Context" } ] }, { "@id": "_:genid0015", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0275" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0061" } ] }, { "@id": "_:genid0016", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0141" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0017", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0164" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0150" } ] }, { "@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#B" } ], "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": "_:genid0019", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "_:genid0225" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#inContextOf" } ] }, { "@id": "_:genid0020", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Argument" }, { "@id": "https://w3id.org/OntoGSN/ontology#Artefact" } ] } ] }, { "@id": "_:genid0022", "@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": "_:genid0023", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0154" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0058" } ] }, { "@id": "_:genid0024", "http://schema.org/name": [ { "@value": "fortiss GmbH" } ], "http://schema.org/url": [ { "@id": "https://www.fortiss.org/" } ] }, { "@id": "_:genid0025", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "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": "_:genid0026", "@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": "_:genid0028", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0163" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0251" } ] }, { "@id": "_:genid0029", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0289" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0030", "@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#inContextOf" } ] }, { "@id": "_:genid0032", "@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": "Support Cycle Invalidation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0284" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0053" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0037", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#C" } ], "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#supportedBy" } ] }, { "@id": "_:genid0038", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0257" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0040", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0073" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0059" } ] }, { "@id": "_:genid0041", "@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": "_:genid0042", "@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": "Context Inheritance" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0112" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0175" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0044", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0178" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0046" } ] }, { "@id": "_:genid0045", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "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": "_:genid0046", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0200" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0103" } ] }, { "@id": "_:genid0048", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0192" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0050", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0172" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0052", "@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": "_:genid0053", "@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": [ { "@list": [] } ] }, { "@id": "_:genid0054", "@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#Solution" } ] }, { "@id": "_:genid0055", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0287" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0285" } ] }, { "@id": "_:genid0057", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "_:genid0020" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#contains" } ] }, { "@id": "_:genid0058", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0095" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0059", "@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": [ { "@list": [] } ] }, { "@id": "_:genid0060", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0167" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0016" } ] }, { "@id": "_:genid0061", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0288" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0028" } ] }, { "@id": "_:genid0063", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#contains" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "https://w3id.org/OntoGSN/ontology#Artefact" } ] }, { "@id": "_:genid0064", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Argument" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" }, { "@id": "https://w3id.org/OntoGSN/ontology#Pattern" }, { "@id": "https://w3id.org/OntoGSN/ontology#Relationship" } ] } ] }, { "@id": "_:genid0066", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0166" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0067", "http://www.w3.org/2002/07/owl#inverseOf": [ { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy" } ] }, { "@id": "_:genid0068", "@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": "inferential" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#relationshipType" } ] }, { "@id": "_:genid0070", "@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": "_:genid0071", "@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": [ { "@id": "_:genid0262" } ] }, { "@id": "_:genid0072", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#ArtefactReference" }, { "@id": "https://w3id.org/OntoGSN/ontology#InstantiationDataReference" } ] } ] }, { "@id": "_:genid0073", "@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#supportedBy" } ] }, { "@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#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": "_:genid0075", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Argument" }, { "@id": "https://w3id.org/OntoGSN/ontology#AssuranceCase" }, { "@id": "https://w3id.org/OntoGSN/ontology#Catalogue" }, { "@id": "https://w3id.org/OntoGSN/ontology#Module" }, { "@id": "https://w3id.org/OntoGSN/ontology#Pattern" } ] } ] }, { "@id": "_:genid0077", "@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#Strategy" } ] } ] }, { "@id": "_:genid0078", "@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": "contextual" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#relationshipType" } ] }, { "@id": "_:genid0079", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Strategy" } ] }, { "@id": "_:genid0080", "@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#Goal" } ] }, { "@id": "_:genid0081", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Assumption" }, { "@id": "https://w3id.org/OntoGSN/ontology#Context" }, { "@id": "https://w3id.org/OntoGSN/ontology#Justification" }, { "@id": "https://w3id.org/OntoGSN/ontology#Module" } ] } ] }, { "@id": "_:genid0082", "@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#transitivelySupportedBy" } ] }, { "@id": "_:genid0085", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Argument" }, { "@id": "https://w3id.org/OntoGSN/ontology#Artefact" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" }, { "@id": "https://w3id.org/OntoGSN/ontology#Pattern" } ] } ] }, { "@id": "_:genid0086", "@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#supportedBy" } ] }, { "@id": "_:genid0087", "@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": [ { "@list": [] } ] }, { "@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": "Relation False Propagation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0293" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0191" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0089", "@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#Assumption" } ] }, { "@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": "Contradictory Goal Truth" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0148" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0131" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0093", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#statement" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ] }, { "@id": "_:genid0095", "@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": "_:genid0097", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy" } ] }, { "@id": "_:genid0099", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0129" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0101", "@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": "Support Relation Creation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0291" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0055" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0103", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0037" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0029" } ] }, { "@id": "_:genid0104", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "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": "_:genid0105", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#contains" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "https://w3id.org/OntoGSN/ontology#ArtefactReference" } ] }, { "@id": "_:genid0106", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0281" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0109", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0009" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0110", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0306" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0194" } ] }, { "@id": "_:genid0112", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0282" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0017" } ] }, { "@id": "_:genid0113", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "_:genid0300" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#inContextOf" } ] }, { "@id": "_:genid0114", "@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": "_:genid0115", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0267" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0116", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "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": "_:genid0117", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#statement" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ] }, { "@id": "_:genid0118", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onDataRange": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "http://schema.org/identifier" } ], "http://www.w3.org/2002/07/owl#qualifiedCardinality": [ { "@type": "http://www.w3.org/2001/XMLSchema#nonNegativeInteger", "@value": "1" } ] }, { "@id": "_:genid0120", "@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": "Support Cycle Relationship Invalidation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0294" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0109" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0121", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0168" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0274" } ] }, { "@id": "_:genid0122", "@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": "_:genid0123", "@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": "Solution Propagation (False)" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0198" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0099" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0124", "@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": "_:genid0125", "@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": "Goal Top Flag" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0139" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0137" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0127", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0190" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0071" } ] }, { "@id": "_:genid0128", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#X" } ], "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#supportedBy" } ] }, { "@id": "_:genid0129", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "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#true" } ] }, { "@id": "_:genid0130", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "_:genid0124" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0131", "@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": "_:genid0133", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0311" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0307" } ] }, { "@id": "_:genid0134", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#statement" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ] }, { "@id": "_:genid0135", "@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": "_: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": [ { "@id": "_:genid0292" } ] }, { "@id": "_:genid0137", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0305" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0138", "@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#transitivelySupportedBy" } ] }, { "@id": "_:genid0139", "@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": "_:genid0159" } ] }, { "@id": "_:genid0140", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "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#true" } ] }, { "@id": "_:genid0141", "@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": "_:genid0145", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#complementOf": [ { "@id": "_:genid0215" } ] }, { "@id": "_:genid0148", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0286" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0133" } ] }, { "@id": "_:genid0149", "@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#Module" }, { "@id": "https://w3id.org/OntoGSN/ontology#Strategy" } ] } ] }, { "@id": "_:genid0150", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0245" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0038" } ] }, { "@id": "_:genid0151", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0206" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0179" } ] }, { "@id": "_:genid0152", "@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": "Inferential Relation (Goal)" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0015" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0211" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0154", "@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": "_:genid0155", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "http://schema.org/identifier" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ] }, { "@id": "_:genid0156", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "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#true" } ] }, { "@id": "_:genid0157", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0140" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0115" } ] }, { "@id": "_:genid0158", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0156" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0159", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0080" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0160", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#C" } ], "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": "_:genid0162", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#statement" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ] }, { "@id": "_:genid0163", "@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": "_:genid0164", "@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#inContextOf" } ] }, { "@id": "_:genid0165", "@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": "Evidential Relation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0121" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0011" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0166", "@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#inContextOf" } ] }, { "@id": "_:genid0167", "@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#inContextOf" } ] }, { "@id": "_:genid0168", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Solution" } ] }, { "@id": "_:genid0169", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0221" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0171", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "_:genid0273" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#object" } ] }, { "@id": "_:genid0172", "@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#supportedBy" } ] }, { "@id": "_:genid0173", "@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": "_:genid0174", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0045" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0175", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0196" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0176", "@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": "evidential" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#relationshipType" } ] }, { "@id": "_:genid0178", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "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": "_:genid0179", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0246" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0230" } ] }, { "@id": "_:genid0183", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#contains" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "https://w3id.org/OntoGSN/ontology#Argument" } ] }, { "@id": "_:genid0184", "@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": "_:genid0185", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "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#true" } ] }, { "@id": "_:genid0187", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "_:genid0259" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy" } ] }, { "@id": "_:genid0188", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0184" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0218" } ] }, { "@id": "_:genid0190", "@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": "_:genid0191", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0252" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0192", "@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": "_:genid0194", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0116" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0066" } ] }, { "@id": "_:genid0195", "@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": "_:genid0196", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#C" } ], "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#inContextOf" } ] }, { "@id": "_:genid0197", "@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#true" } ] }, { "@id": "_:genid0198", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0226" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0234" } ] }, { "@id": "_:genid0199", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#statement" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ] }, { "@id": "_:genid0200", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "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": "_:genid0201", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0173" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0151" } ] }, { "@id": "_:genid0203", "@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": "Context Relation Creation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0060" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0232" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0204", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0114" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0106" } ] }, { "@id": "_:genid0205", "@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": "Assumption False Propagation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0263" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0158" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0206", "@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": "_:genid0207", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0238" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0208", "@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": "inferential" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#relationshipType" } ] }, { "@id": "_:genid0211", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0068" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0213", "@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#supportedBy" } ] }, { "@id": "_:genid0214", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onDataRange": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "http://schema.org/identifier" } ], "http://www.w3.org/2002/07/owl#qualifiedCardinality": [ { "@type": "http://www.w3.org/2001/XMLSchema#nonNegativeInteger", "@value": "1" } ] }, { "@id": "_:genid0215", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "_:genid0067" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "_:genid0077" } ] }, { "@id": "_:genid0218", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0222" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0219", "@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#Module" }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution" }, { "@id": "https://w3id.org/OntoGSN/ontology#Strategy" } ] } ] }, { "@id": "_:genid0220", "@type": [ "http://www.w3.org/2000/01/rdf-schema#Datatype" ], "http://www.w3.org/2002/07/owl#oneOf": [ { "@list": [ { "@value": "contextual" }, { "@value": "dialectic" }, { "@value": "evidential" }, { "@value": "inferential" } ] } ] }, { "@id": "_:genid0221", "@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#supportedBy" } ] }, { "@id": "_:genid0222", "@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": "_:genid0225", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Assumption" }, { "@id": "https://w3id.org/OntoGSN/ontology#Context" }, { "@id": "https://w3id.org/OntoGSN/ontology#Justification" }, { "@id": "https://w3id.org/OntoGSN/ontology#Module" } ] } ] }, { "@id": "_:genid0226", "@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#Solution" } ] }, { "@id": "_:genid0228", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "_:genid0272" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#contains" } ] }, { "@id": "_:genid0229", "@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#supportedBy" } ] }, { "@id": "_:genid0230", "@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": "_:genid0231", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0301" } ], "http://www.w3.org/2002/07/owl#intersectionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" }, { "@id": "_:genid0145" }, { "@id": "_:genid0278" } ] } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "_:genid0232", "@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": [ { "@id": "_:genid0188" } ] }, { "@id": "_:genid0233", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0195" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0234", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0185" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0169" } ] }, { "@id": "_:genid0236", "@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": "Assumption Invalidation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0110" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0174" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0238", "@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#Goal" } ] }, { "@id": "_:genid0240", "@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": "_:genid0241", "@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": "Mixed Support Invalidation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0044" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0261" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0242", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "http://www.w3.org/2002/07/owl#Thing" } ] }, { "@id": "_:genid0243", "@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#supportedBy" } ] }, { "@id": "_:genid0245", "@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#Assumption" } ] }, { "@id": "_:genid0246", "@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#supportedBy" } ] }, { "@id": "_:genid0249", "@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": "Solution Propagation (True)" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0277" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0041" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0250", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "_:genid0313" }, { "@id": "_:genid0162" } ] } ] }, { "@id": "_:genid0251", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0256" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0252", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "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#true" } ] }, { "@id": "_:genid0253", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0026" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0254", "@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#Module" }, { "@id": "https://w3id.org/OntoGSN/ontology#Strategy" } ] } ] }, { "@id": "_:genid0256", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" } ] }, { "@id": "_:genid0257", "@type": [ "http://www.w3.org/2003/11/swrl#ClassAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#C" } ], "http://www.w3.org/2003/11/swrl#classPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" } ] }, { "@id": "_:genid0258", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Argument" }, { "@id": "https://w3id.org/OntoGSN/ontology#AssuranceCase" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" } ] } ] }, { "@id": "_:genid0259", "@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#Module" }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution" }, { "@id": "https://w3id.org/OntoGSN/ontology#Strategy" } ] } ] }, { "@id": "_:genid0260", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0007" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0261", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0160" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0262", "@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": "_:genid0233" } ] }, { "@id": "_:genid0263", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0089" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0157" } ] }, { "@id": "_:genid0264", "@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": "_:genid0265", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "http://schema.org/identifier" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ] }, { "@id": "_:genid0267", "@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#inContextOf" } ] }, { "@id": "_:genid0270", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#contains" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" } ] }, { "@id": "_:genid0272", "@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#Pattern" } ] } ] }, { "@id": "_:genid0273", "@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": "_:genid0274", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0243" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0023" } ] }, { "@id": "_:genid0275", "@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#supportedBy" } ] }, { "@id": "_:genid0276", "@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": "Contextual Relation" } ], "http://www.w3.org/2003/11/swrl#body": [ { "@id": "_:genid0006" } ], "http://www.w3.org/2003/11/swrl#head": [ { "@id": "_:genid0087" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@value": "Core GSN" } ] }, { "@id": "_:genid0277", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0054" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0040" } ] }, { "@id": "_:genid0278", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#complementOf": [ { "@id": "_:genid0242" } ] }, { "@id": "_:genid0281", "@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": "_:genid0282", "@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#C" } ], "http://www.w3.org/2003/11/swrl#propertyPredicate": [ { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy" } ] }, { "@id": "_:genid0283", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "_:genid0022" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#challenges" } ] }, { "@id": "_:genid0284", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0082" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0285", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0052" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0253" } ] }, { "@id": "_:genid0286", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "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#true" } ] }, { "@id": "_:genid0287", "@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": "_:genid0288", "@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": "_:genid0289", "@type": [ "http://www.w3.org/2003/11/swrl#IndividualPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#C" } ], "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#supportedBy" } ] }, { "@id": "_:genid0290", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0208" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@list": [] } ] }, { "@id": "_:genid0291", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0229" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0048" } ] }, { "@id": "_:genid0292", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0213" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0204" } ] }, { "@id": "_:genid0293", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0197" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0127" } ] }, { "@id": "_:genid0294", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0240" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0201" } ] }, { "@id": "_:genid0296", "@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": "_:genid0298", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#statement" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ] }, { "@id": "_:genid0300", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Assumption" }, { "@id": "https://w3id.org/OntoGSN/ontology#Context" }, { "@id": "https://w3id.org/OntoGSN/ontology#Justification" }, { "@id": "https://w3id.org/OntoGSN/ontology#Module" } ] } ] }, { "@id": "_:genid0301", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#hasValue": [ { "@type": "http://www.w3.org/2001/XMLSchema#boolean", "@value": true } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#top" } ] }, { "@id": "_:genid0305", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#A" } ], "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#top" } ] }, { "@id": "_:genid0306", "@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#Assumption" } ] }, { "@id": "_:genid0307", "@type": [ "http://www.w3.org/2003/11/swrl#AtomList" ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#first": [ { "@id": "_:genid0086" } ], "http://www.w3.org/1999/02/22-rdf-syntax-ns#rest": [ { "@id": "_:genid0207" } ] }, { "@id": "_:genid0308", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Defeater" }, { "@id": "https://w3id.org/OntoGSN/ontology#Goal" }, { "@id": "https://w3id.org/OntoGSN/ontology#Module" }, { "@id": "https://w3id.org/OntoGSN/ontology#Pattern" }, { "@id": "https://w3id.org/OntoGSN/ontology#Strategy" } ] } ] }, { "@id": "_:genid0309", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#statement" } ], "http://www.w3.org/2002/07/owl#someValuesFrom": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ] }, { "@id": "_:genid0311", "@type": [ "http://www.w3.org/2003/11/swrl#DatavaluedPropertyAtom" ], "http://www.w3.org/2003/11/swrl#argument1": [ { "@id": "https://w3id.org/OntoGSN/swrl#B" } ], "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": "_:genid0313", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#intersectionOf": [ { "@list": [ { "@id": "_:genid0105" }, { "@id": "_:genid0270" } ] } ] }, { "@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/abstract", "@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/citation", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://schema.org/disclaimer", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://schema.org/identifier", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ] }, { "@id": "http://schema.org/includedInDataCatalog", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "http://schema.org/license", "@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#Statement", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@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#predicate", "@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/2001/XMLSchema#date", "@type": [ "http://www.w3.org/2000/01/rdf-schema#Datatype" ] }, { "@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#Argument", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Argument" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0155" }, { "@id": "_:genid0214" }, { "@id": "_:genid0228" }, { "@id": "_:genid0250" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "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." }, { "@language": "en", "@value": "A connected series of claims intended to establish an overall claim." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Artefact", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Artefact" } ], "http://www.w3.org/2004/02/skos/core#altLabel": [ { "@language": "en", "@value": "Evidence" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "[OntoGSN] Information or objective artefacts (e.g., files) being offered in support or context of one or more claims." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#ArtefactReference", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Artefact Reference" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "[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." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Assumption", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Assumption" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0199" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "An assumption, rendered as an oval with the letter 'A' at the top- or bottom-right, presents an intentionally unsubstantiated statement." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@language": "en", "@value": "oval" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#AssuranceCase", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Assurance Case" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0057" }, { "@id": "_:genid0063" }, { "@id": "_:genid0183" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "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." }, { "@language": "en", "@value": "Arguments and evidence intended to demonstrate that a system meets its assurance requirements." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Catalogue", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Context", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Context" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0117" }, { "@id": "https://w3id.org/OntoGSN/ontology#ArtefactReference" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "A context, rendered as shown left, presents a contextual artefact. This can be a reference to contextual information, or a statement." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@language": "en", "@value": "rounded rectangle" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Defeater", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "GSN Element" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0118" }, { "@id": "_:genid0265" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "Goals, solutions, strategies, contexts, assumptions and justifications form the principal elements of GSN." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Goal", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Goal" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0014" }, { "@id": "_:genid0093" }, { "@id": "_:genid0113" }, { "@id": "_:genid0187" }, { "@id": "_:genid0283" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" } ], "http://www.w3.org/2004/02/skos/core#altLabel": [ { "@language": "en", "@value": "Claim" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "(Claim is) A proposition being asserted by the author that is a true or false statement." }, { "@language": "en", "@value": "A goal, rendered as a rectangle, presents a claim forming part of the argument." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@language": "en", "@value": "rectangle" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#InstantiationDataReference", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Justification", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Justification" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0134" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "A justification, rendered as an oval with the letter 'J' at the top- or bottom-right, presents a statement of rationale." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@language": "en", "@value": "oval" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Module", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Pattern", "@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" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Relationship" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0004" }, { "@id": "_:genid0171" }, { "@id": "http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "[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." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Solution" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0130" }, { "@id": "_:genid0298" }, { "@id": "https://w3id.org/OntoGSN/ontology#ArtefactReference" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "A solution, rendered as a circle, presents a reference to an evidence item." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@language": "en", "@value": "circle" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Strategy", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Strategy" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0019" }, { "@id": "_:genid0097" }, { "@id": "_:genid0309" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "A strategy, rendered as a parallelogram, describes the inference that exists between a goal and its supporting goal(s)." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@language": "en", "@value": "parallelogram" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#challenges", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#contains", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0075" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "contains" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "_:genid0085" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "[OntoGSN] Relates a container (e.g., an assurance case, argument, module, catalogue or pattern) to its components (e.g., elements, arguments, patterns or artefacts)." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#coreOrExtension", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "core or extension" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "Indicator of the sourcing section in the GSN Community Standard v3." } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#inContextOf", "@type": [ "http://www.w3.org/2002/07/owl#AsymmetricProperty", "http://www.w3.org/2002/07/owl#IrreflexiveProperty", "http://www.w3.org/2002/07/owl#ObjectProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0254" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "in context of" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "_:genid0081" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "InContextOf, rendered as a line with a hollow arrowhead, declares a contextual relationship." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "line with a hollow arrowhead" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#inferredOnly", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "inferred only" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "[OntoGSN] Marks a property that a rule derives and that a case never asserts." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#offDiagram", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "off-diagram" } ], "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": "[OntoGSN] Determines whether the argument at this element continues in, or is a continuation from, a separate diagram." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#refersTo", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0072" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "refers to" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "https://w3id.org/OntoGSN/ontology#Artefact" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "[OntoGSN] Relates an artefact reference or an instantiation data reference to the artefact it points at." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#relationshipType", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "https://w3id.org/OntoGSN/ontology#Relationship" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "relationship type" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "_:genid0220" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "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." }, { "@language": "en", "@value": "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." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#renderedAs", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "rendered as" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#statement", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0258" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "statement" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#string" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "[OntoGSN] The text the element asserts, written to the grammatical rules the standard sets for GSN statements." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#structured", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "https://w3id.org/OntoGSN/ontology#Argument" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "structured" } ], "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": "A particular kind of argument where the relationships between the asserted claims, and from the evidence to the claims, are explicitly represented." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy", "@type": [ "http://www.w3.org/2002/07/owl#AsymmetricProperty", "http://www.w3.org/2002/07/owl#IrreflexiveProperty", "http://www.w3.org/2002/07/owl#ObjectProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0149" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "supported by" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "_:genid0219" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "SupportedBy, rendered as a line with a solid arrowhead, allows support relationships between elements to be documented." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "line with a solid arrowhead" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#top", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "top (goal)" } ], "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": "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." }, { "@language": "en", "@value": "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." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#transitivelySupportedBy", "@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": "https://w3id.org/OntoGSN/ontology#GSNElement" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "transitively supported by" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" } ], "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 supported-by links." } ], "http://www.w3.org/2004/02/skos/core#note": [ { "@language": "en", "@value": "Inferred, never authored. It is derived by the Support Closure rule, and the Support Cycle rules read it." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ], "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" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0264" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "true" } ], "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": "[OntoGSN] Marks whether the claim in the element or relationship is determined (e.g., by the auditor or some process) as correct or not." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#valid", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0064" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "valid" } ], "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": "[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." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Core GSN" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology/core", "@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 Core GSN 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": "_:genid0024" } ], "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 — Core GSN" } ], "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": "Core GSN" } ] }, { "@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#C", "@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#M3", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#P", "@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#R3", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] }, { "@id": "https://w3id.org/OntoGSN/swrl#X", "@type": [ "http://www.w3.org/2003/11/swrl#Variable" ] } ]