[ { "@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": "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#subClassOf": [ { "@id": "_:genid0003" }, { "@id": "_:genid0013" }, { "@id": "_:genid0029" }, { "@id": "_:genid0030" }, { "@id": "https://w3id.org/OntoGSN/ontology#GSNElement" } ] }, { "@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" ] }, { "@id": "https://w3id.org/OntoGSN/ontology#away", "@type": [ "http://www.w3.org/2002/07/owl#DatatypeProperty" ], "http://www.w3.org/2000/01/rdf-schema#domain": [ { "@id": "_:genid0025" } ], "http://www.w3.org/2000/01/rdf-schema#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#boolean" } ] }, { "@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#range": [ { "@id": "_:genid0007" } ] }, { "@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#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#boolean" } ], "http://www.w3.org/2002/07/owl#propertyDisjointWith": [ { "@id": "https://w3id.org/OntoGSN/ontology#undeveloped" } ] }, { "@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#range": [ { "@id": "https://w3id.org/OntoGSN/ontology#Module" } ] }, { "@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#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#boolean" } ] }, { "@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#range": [ { "@id": "_:genid0020" } ] }, { "@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#range": [ { "@id": "http://www.w3.org/2001/XMLSchema#boolean" } ], "http://www.w3.org/2002/07/owl#propertyDisjointWith": [ { "@id": "https://w3id.org/OntoGSN/ontology#undeveloped" } ] }, { "@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#range": [ { "@id": "_:genid0014" } ] }, { "@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 skeletal Modular Extension section of OntoGSN. Generated from ontogsn.ttl by development/dev_tools/build_separated.py. Declarations and logical axioms only - no rules, no prose." } ], "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" } ] } ]