[ { "@id": "_:genid0002", "@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#away" } ] }, { "@id": "_:genid0003", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "_:genid0005" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#contains" } ] }, { "@id": "_:genid0005", "@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#Module" } ] } ] }, { "@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#Assumption" }, { "@id": "https://w3id.org/OntoGSN/ontology#Context" } ] } ] }, { "@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#Assumption" }, { "@id": "https://w3id.org/OntoGSN/ontology#Context" }, { "@id": "https://w3id.org/OntoGSN/ontology#Goal" }, { "@id": "https://w3id.org/OntoGSN/ontology#Justification" }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution" } ] } ] }, { "@id": "_:genid0013", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "https://w3id.org/OntoGSN/ontology#Module" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#inContextOf" } ] }, { "@id": "_:genid0014", "@type": [ "http://www.w3.org/2000/01/rdf-schema#Datatype" ], "http://www.w3.org/2002/07/owl#oneOf": [ { "@list": [ { "@value": "architecture" }, { "@value": "argument" } ] } ] }, { "@id": "_:genid0017", "@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": "_:genid0020", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2002/07/owl#intersectionOf": [ { "@list": [ { "@id": "https://w3id.org/OntoGSN/ontology#Goal" }, { "@id": "_:genid0002" } ] } ] }, { "@id": "_:genid0025", "@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#Goal" }, { "@id": "https://w3id.org/OntoGSN/ontology#Justification" }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution" } ] } ] }, { "@id": "_:genid0029", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#allValuesFrom": [ { "@id": "https://w3id.org/OntoGSN/ontology#Module" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy" } ] }, { "@id": "_:genid0030", "@type": [ "http://www.w3.org/2002/07/owl#Restriction" ], "http://www.w3.org/2002/07/owl#minQualifiedCardinality": [ { "@type": "http://www.w3.org/2001/XMLSchema#nonNegativeInteger", "@value": "1" } ], "http://www.w3.org/2002/07/owl#onClass": [ { "@id": "https://w3id.org/OntoGSN/ontology#Argument" } ], "http://www.w3.org/2002/07/owl#onProperty": [ { "@id": "https://w3id.org/OntoGSN/ontology#contains" } ] }, { "@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#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#Argument", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Assumption", "@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" ] }, { "@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#Justification", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Module", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "Module" } ], "http://www.w3.org/2000/01/rdf-schema#subClassOf": [ { "@id": "_:genid0003" }, { "@id": "_:genid0013" }, { "@id": "_:genid0029" }, { "@id": "_:genid0030" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "Goal structures can be partitioned into separate, but interrelated, modules. This can allow the division of an overall goal structure into separate goal structures focusing on particular aspects of the overall argument. A module may contain one or more arguments and may contain other modules." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "a rectangle with a second smaller rectangle adjoining at the top left" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#Solution", "@type": [ "http://www.w3.org/2002/07/owl#Class" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#View", "@type": [ "http://www.w3.org/2002/07/owl#Class" ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "View" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "The argument view depicts the argument inside an individual module." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#away", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://schema.org/description": [ { "@language": "en", "@value": "An away assumption repeats an assumption presented in another argument module and is typically used only in Contract Modules. An away context repeats a reference to context presented in another argument module. An away goal reference repeats a claim presented in another argument module. An away justification repeats a justification presented in another argument module and is typically used only in Contract Modules. An away solution repeats a reference to evidence items presented in another argument module." } ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0025" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "away" } ], "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": "An away element reference repeats a claim or evidence presented in another argument module." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "bisecting line in the lower half" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#consistentWith", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty", "http://www.w3.org/2002/07/owl#SymmetricProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0017" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "consistent with" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "_:genid0007" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@value": "By making the relationship to the away goal the author is asserting not only the inference of support for the parent goal, but also that the context in which the away goal is declared is consistent with the context and assumptions in scope for the parent goal." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#contains", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#contract", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "https://w3id.org/OntoGSN/ontology#Module" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "contract" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#boolean" } ], "http://www.w3.org/2002/07/owl#propertyDisjointWith": [ { "@id": "https://w3id.org/OntoGSN/ontology#undeveloped" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "A contract module is a special type of module that controls the relationship between argument module interfaces using arguments to define how a goal in one module is supported by one or more goals in one or more other modules." } ], "http://www.w3.org/2004/02/skos/core#note": [ { "@language": "en", "@value": "A contract may be described in textual form (e.g. as a table) or for more complex relationships may be described within a contract module using GSN." }, { "@language": "en", "@value": "Contract modules can be used in the support relationship between modules to aid decoupling. The de-coupling by use of a contract permits argument module construction in cases where the eventual source of support for an argument is unknown at the time of authoring or can be changed for example through re-use or planned product improvement or reconfiguration." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "a rectangle with two smaller rectangles (of equal size to each other) adjoining at the top left and bottom right" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#coreOrExtension", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#depicts", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "https://w3id.org/OntoGSN/ontology#View" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "depicts" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "https://w3id.org/OntoGSN/ontology#Module" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "The argument view depicts the argument inside an individual module." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#inContextOf", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#public", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0009" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "public" } ], "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 indicates that the element is publicly visible in one or more interfaces of the module and can be referenced as an away element." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "miniature module symbol superimposed on an element at the top right" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#renderedAs", "@type": [ "http://www.w3.org/2002/07/owl#AnnotationProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#substitutedBy", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "https://w3id.org/OntoGSN/ontology#Justification" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "substituted by" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "_:genid0020" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "There may be occasions when a goal or strategy requires fuller justification than can be provided within the confines of a GSN justification element. In such cases, an away goal can be substituted for the justification." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#supportedBy", "@type": [ "http://www.w3.org/2002/07/owl#ObjectProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#toBeSupportedByContract", "@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": "to be supported by contract" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#boolean" } ], "http://www.w3.org/2002/07/owl#propertyDisjointWith": [ { "@id": "https://w3id.org/OntoGSN/ontology#undeveloped" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "Support for the claim presented by the attached goal is intended to be provided from an argument in another module linked by an as-yet-undisclosed contract." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ], "https://w3id.org/OntoGSN/ontology#renderedAs": [ { "@value": "attached centrally immediately below the goal to which it relates" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology#undeveloped", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#viewType", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "https://w3id.org/OntoGSN/ontology#View" } ], "http://www.w3.org/2000/01/rdf-schema#label": [ { "@language": "en", "@value": "view type" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "_:genid0014" } ], "http://www.w3.org/2004/02/skos/core#definition": [ { "@language": "en", "@value": "[OntoGSN] Determines whether the view shows the argument or the module architecture." } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ] }, { "@id": "https://w3id.org/OntoGSN/ontology/modular", "@type": [ "http://www.w3.org/2002/07/owl#Ontology" ], "http://purl.org/dc/elements/1.1/description": [ { "@language": "en", "@value": "The pruned Modular 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 — Modular Extension" } ], "http://www.w3.org/2002/07/owl#versionInfo": [ { "@value": "1.3.0" } ], "https://w3id.org/OntoGSN/ontology#coreOrExtension": [ { "@language": "en", "@value": "Modular Extension" } ] } ]