[ { "@id": "_:genid0003", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#AssuranceCase" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" }, { "@id": "https://w3id.org/OntoGSN/ontology#Relationship" } ] } ] }, { "@id": "_:genid0006", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution" } ] } ] }, { "@id": "_:genid0007", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#unionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution" } ] } ] }, { "@id": "_:genid0009", "@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": "_:genid0013", "@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": "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/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://schema.org/description", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty", "http://www.w3.org/2002/07/owl#DatatypeProperty" ] }, { "@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": "https://w3id.org/OntoGSN/ontology#AssuranceCase", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Defeater", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Defeater" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0007" } ], "http://www.w3.org/2004/02/skos/core#altLabel": [ { "@language": "en", "@value": "Dialectic Element" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@value": "The source of challenge being applied; can be directed at any part of an argument. A defeater (goal or solution) can challenge any element in a goal structure, e.g. goal, solution, strategy, context, assumption, justification." } ], "http://www.w3.org/2004/02/skos/core#note": [ { "@language": "en", "@value": "Membership of this class is only meant to be inferred, not asserted! Please do not add individuals to this class manually (i.e., assertions)." }, { "@language": "en", "@value": "The goal and solution statements should be clearly expressed such that the crux of the challenge is unequivocally communicated. Thus, the link between the part of the argument that is being challenged (target) and the dialectic element (source) is self-evident." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Goal", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Relationship", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#challenges", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0006" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "challenges" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "_:genid0009" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "Allows a Challenge to any GSN entity to be documented. A goal, (core element) can be used in a dialectic context to assert a challenge to part of the argument. A solution, (core element) can be used to present a reference to an evidence item that asserts a challenge to part of the argument." } ], "http://www.w3.org/2004/02/skos/core#note": [ { "@language": "en", "@value": "A challenge must be levied against the appropriate aspect of the goal structure." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "dashed line with an open arrowhead" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#coreOrExtension", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#defeated", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://schema.org/description": [ { "@language": "en", "@value": "Defeated Relationship indicates that the relationship is defeated. The Defeated decorator can be applied to any of the GSN relationships." } ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0013" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "defeated" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#boolean" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "This decorator symbol indicates that the element is defeated. The Defeated decorator can be applied to any of the GSN elements." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "cross (‘X’) superimposed on a GSN element or relationship" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#inDoubt", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0003" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "in doubt" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#boolean" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "The dialectic challenge within this structure asserts that if the claim presented in Goal CG1 is true then this is sufficient to establish that the claim in Goal G1 in the original structure is in doubt." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#renderedAs", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology/dialectic", "@type": [ "http://www.w3.org/2002/07/owl#Ontology" ], "http://purl.org/dc/elements/1.1/description": [ { "@language": "en", "@value": "The pruned Dialectic Extension section of OntoGSN. Generated from ontogsn.ttl by development/dev_tools/build_separated.py. Excludes the SWRL rules and the inferred-only properties; the term annotations are kept." } ], "http://purl.org/dc/elements/1.1/source": [ { "@value": "https://w3id.org/OntoGSN/ontology" } ], "http://purl.org/dc/elements/1.1/title": [ { "@language": "en", "@value": "OntoGSN — Dialectic Extension" } ], "http://www.w3.org/2002/07/owl#versionInfo": [ { "@value": "1.3.0" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Dialectic Extension" } ] } ]