search

ge-high-assurance / RACK

DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)
BSD 3-Clause "New" or "Revised" License
20 stars 6 forks source link

Remove leading identical chars from generated URIs and test query performance #758

Closed cuddihyge closed 1 year ago

cuddihyge commented 2 years ago

getReplacementData 8/18 email from Dan was suggested as a good place to start, but is likely to be slowed by all the sub-properties and sub-types VALUES clauses.

prefix XMLSchema:<http://www.w3.org/2001/XMLSchema#>
prefix LM:<http://arcos.certgate/LM#>
prefix STR:<http://arcos.arbiter/STR#>
prefix generated:<http://semtk.research.ge.com/generated#>
prefix CONFIDENCE:<http://arcos.rack/CONFIDENCE#>
prefix BASELINE:<http://arcos.rack/BASELINE#>
prefix AGENTS:<http://arcos.rack/AGENTS#>
prefix SECURITY:<http://arcos.rack/SECURITY#>
prefix REQUIREMENTS:<http://arcos.rack/REQUIREMENTS#>
prefix HARDWARE:<http://arcos.rack/HARDWARE#>
prefix GE:<http://arcos.turnstile/GE#>
prefix rdfs:<http://www.w3.org/2000/01/rdf-schema#>
prefix SRI:<http://arcos.descert/SRI#>
prefix GrammaTech:<http://arcos.acert/GrammaTech#>
prefix HAZARD:<http://arcos.rack/HAZARD#>
prefix CPS:<http://arcos.rack/CPS#>
prefix REVIEW:<http://arcos.rack/REVIEW#>
prefix FILE:<http://arcos.rack/FILE#>
prefix rdf:<http://www.w3.org/1999/02/22-rdf-syntax-ns#>
prefix DOCUMENT:<http://arcos.rack/DOCUMENT#>
prefix SOFTWARE:<http://arcos.rack/SOFTWARE#>
prefix RTX:<http://arcos.aace/RTX#>
prefix SRI_SS:<http://arcos.descert/SRI-SS#>
prefix PROCESS:<http://arcos.rack/PROCESS#>
prefix Boeing:<http://arcos.AH-64D/Boeing#>
prefix MODEL:<http://arcos.rack/MODEL#>
prefix SYSTEM:<http://arcos.rack/SYSTEM#>
prefix PROV_S:<http://arcos.rack/PROV-S#>
prefix TESTING:<http://arcos.rack/TESTING#>
prefix ANALYSIS:<http://arcos.rack/ANALYSIS#>
CONSTRUCT {
    ?REQUIREMENT a ?REQUIREMENT_type .
    ?REQUIREMENT PROV_S:description ?description .
    ?REQUIREMENT PROV_S:entityURL ?entityURL .
    ?REQUIREMENT PROV_S:generatedAtTime ?generatedAtTime .
    ?REQUIREMENT PROV_S:identifier ?identifier .
    ?REQUIREMENT PROV_S:invalidatedAtTime ?invalidatedAtTime .
    ?REQUIREMENT PROV_S:title ?title .
    ?REQUIREMENT FILE:definedIn ?FILE .
        ?FILE a ?FILE_type .
        ?FILE PROV_S:identifier ?identifier_1 .
    ?REQUIREMENT PROV_S:dataInsertedBy ?ACTIVITY .
        ?ACTIVITY a ?ACTIVITY_type .
        ?ACTIVITY PROV_S:identifier ?identifier_0 .
    ?REQUIREMENT PROV_S:wasAttributedTo ?AGENT .
        ?AGENT a ?AGENT_type .
        ?AGENT PROV_S:identifier ?identifier_2 .
    ?REQUIREMENT ?_REQUIREMENT_http_arcos_rack_PROV_S_wasDerivedFrom_ENTITY ?ENTITY .
        ?ENTITY a ?ENTITY_type .
        ?ENTITY PROV_S:identifier ?identifier_3 .
    ?REQUIREMENT PROV_S:wasGeneratedBy ?REQUIREMENT_DEVELOPMENT .
        ?REQUIREMENT_DEVELOPMENT a ?REQUIREMENT_DEVELOPMENT_type .
        ?REQUIREMENT_DEVELOPMENT PROV_S:identifier ?identifier_4 .
    ?ENTITY_0 ?_ENTITY_0_http_arcos_rack_PROV_S_wasDerivedFrom_REQUIREMENT ?REQUIREMENT .
        ?ENTITY_0 a ?ENTITY_0_type .
        ?ENTITY_0 PROV_S:identifier ?identifier_5 .
    ?ACTIVITY_0 ?_ACTIVITY_0_http_arcos_rack_PROV_S_used_REQUIREMENT ?REQUIREMENT .
        ?ACTIVITY_0 a ?ACTIVITY_0_type .
        ?ACTIVITY_0 PROV_S:identifier ?identifier_6 .

}
        FROM <http://rack001/data>
        FROM <http://rack001/model>
 where {
    VALUES ?REQUIREMENT_type { REQUIREMENTS:REQUIREMENT Boeing:CSID_Req Boeing:SRS_Req Boeing:PIDS_Req SRI_SS:SecurityRequirement GE:LowLevelRequirement GE:HighLevelRequirement SRI:SoftwareHighLevelRequirement SRI_SS:SafetyRequirement SRI:SoftwareLowLevelRequirement GE:SystemRequirement Boeing:SubDD_Req SRI:SystemRequirement  } .
    ?REQUIREMENT a ?REQUIREMENT_type .
    optional{
        ?REQUIREMENT PROV_S:description ?description .
    } 
    optional{
        ?REQUIREMENT PROV_S:entityURL ?entityURL .
    } 
    optional{
        ?REQUIREMENT PROV_S:generatedAtTime ?generatedAtTime .
    } 
    ?REQUIREMENT PROV_S:identifier ?identifier .
    optional{
        ?REQUIREMENT PROV_S:invalidatedAtTime ?invalidatedAtTime .
    } 
    optional{
        ?REQUIREMENT PROV_S:title ?title .
    } 
    optional {
        ?REQUIREMENT FILE:definedIn ?FILE .
            VALUES ?FILE_type { FILE:FILE SRI:ObjectFile GE:RpmFile GE:SourceCode GE:ExecutableObject GE:ObjectFile SRI:ExecutableObject SRI:SourceCode  } .
            ?FILE a ?FILE_type .
            ?FILE PROV_S:identifier ?identifier_1 .
    }
    optional {
        ?REQUIREMENT PROV_S:dataInsertedBy ?ACTIVITY .
            VALUES ?ACTIVITY_type { PROV_S:ACTIVITY SOFTWARE:CODE_GEN SYSTEM:SYSTEM_DEVELOPMENT GE:SoftwareRequirementsDefinition GE:GenerateSoftwareReleaseDocumentation TESTING:TEST_DEVELOPMENT SRI:DesCertTestGeneration SRI_SS:Attack GE:ControlCouplingAnalysis SOFTWARE:COMPILE GE:SoftwareUnitTestExecution GE:SourceConfigurationManagement Boeing:DevelopSystemArchitecture SOFTWARE:CODE_DEVELOPMENT GE:DefineSystemInterfaces SECURITY:THREAT_IDENTIFICATION GE:DevelopUnitTests GE:SoftwareDesignReview ANALYSIS:ANALYSIS TESTING:TEST_EXECUTION Boeing:DevelopSystemConOps GE:SoftwareDesign GE:RequirementConfigurationManagement GrammaTech:AcertTestExecution GE:SoftwareCoding FILE:FILE_CREATION GE:ReviewConfigurationManagement GE:DevelopSystemArchitecture CONFIDENCE:ASSESSING_CONFIDENCE GE:SoftwareCodeReview GE:SystemRequirementsDefinition Boeing:SystemRequirementsDefinition REVIEW:REVIEW SRI:SallyTransitionSystemModelGeneration SRI:RadlerArchitectureAnalysis SOFTWARE:PACKAGE Boeing:SoftwareCoding GE:SoftwareRequirementsReview SOFTWARE:BUILD HAZARD:HAZARD_IDENTIFICATION Boeing:SoftwareDesign REQUIREMENTS:REQUIREMENT_DEVELOPMENT GE:Change_Authorization GE:SoftwareComponentTestExecution SRI:ClearRequirementAnalysis SRI:DesCertTestExecution SRI:RandoopJUnitTestGeneration SRI:SallyModelChecking SRI:SoftwareIntegration Boeing:SoftwareHighLevelRequirementsDefinition GE:SoftwareIntegration GE:StructuralCoverageAnalysis GE:Problem_Reporting GE:DevelopComponentTests SRI:DaikonInvariantDetection SRI:ClearTestAndOracleGeneration GE:DataCouplingAnalysis  } .
            ?ACTIVITY a ?ACTIVITY_type .
            ?ACTIVITY PROV_S:identifier ?identifier_0 .
    }
    optional {
        ?REQUIREMENT PROV_S:wasAttributedTo ?AGENT .
            VALUES ?AGENT_type { PROV_S:AGENT SRI:DesCert_Tool AGENTS:TOOL AGENTS:PERSON SRI_SS:Attacker GE:Engineer AGENTS:ORGANIZATION  } .
            ?AGENT a ?AGENT_type .
            ?AGENT PROV_S:identifier ?identifier_2 .
    }
    optional {
        ?REQUIREMENT ?_REQUIREMENT_http_arcos_rack_PROV_S_wasDerivedFrom_ENTITY ?ENTITY .
        VALUES ?_REQUIREMENT_http_arcos_rack_PROV_S_wasDerivedFrom_ENTITY { <http://arcos.rack/PROV-S#wasDerivedFrom>  <http://arcos.rack/PROV-S#wasImpactedBy>  <http://arcos.rack/REQUIREMENTS#mitigates>  <http://arcos.rack/REQUIREMENTS#satisfies>  <http://arcos.rack/REQUIREMENTS#governs>  <http://arcos.rack/PROV-S#wasRevisionOf>   } .
            VALUES ?ENTITY_type { PROV_S:ENTITY Boeing:CSID_Req SRI:RadlGenericProperty MODEL:MODEL SRI_SS:SoftwareComponent SECURITY:THREAT STR:StrPort SRI:ToolConfigurationInstance SRI:SourceCode DOCUMENT:SECTION SRI:RandoopTestsAndMetrics SYSTEM:INTERFACE GE:DataCoupleCoverageReport LM:ArtifactReference GE:SoftwareUnitTestResult LM:ExpressionLangString SRI_SS:RiskEvent SRI:SallyNotation LM:LangString LM:ArtifactAssetRelationship SRI:SoftwareLowLevelRequirement LM:AssuranceCasePackage LM:TerminologyGroup SRI:ClearNotation REQUIREMENTS:DATA_DICTIONARY_TERM GE:ControlCoupleCoverageReport HAZARD:HAZARD SRI:DataDictionary LM:ImplementationConstraint LM:Note SRI_SS:InterfaceGuarantee SRI:RadlNotation STR:StrOutPort LM:ArgumentationElement SRI:ClearGenericProperty GE:ChangeRequest SRI:SoftwareLowLevelRequirementSet SRI_SS:SecurityEnclave SRI_SS:Exploitation SRI:SystemRequirement DOCUMENT:SPECIFICATION SRI:ExecutableObject LM:Resource SRI_SS:HazardCondition TESTING:TEST_STEP Boeing:SRS_Req Boeing:Message SRI:SallyPropertyModel SRI:SoftwareHighLevelRequirement LM:ArgumentPackage LM:ArtifactElement SRI:PropertyResult DOCUMENT:REQUEST LM:MultiLangString LM:TerminologyAsset SRI:ObjectFile TESTING:TEST_LOG PROCESS:PROPERTY SRI_SS:PhysicalInterface LM:Expression TESTING:TEST TESTING:TEST_RESULT LM:Event GE:SoftwareComponentTest SRI_SS:Guarantee GE:SoftwareComponentTestResult Boeing:SystemConOps LM:ExpressionElement FILE:FILE GrammaTech:AcertRequirementModel SRI:SystemRequirementSet LM:Element LM:Assertion LM:SacmElement LM:ModelElement SRI:DaikonInvariantOutput SRI:LikelyInvariantModel DOCUMENT:PROCEDURE SYSTEM:FUNCTION BASELINE:BASELINE GE:LowLevelRequirement LM:Category SRI:SallyTransitionSystemModel LM:TerminologyElement STR:StrSystem Boeing:Signal SRI_SS:HardwareComponent STR:StrComponent GE:SystemComponent LM:AssertedContext LM:Claim Boeing:PIDS_Req Boeing:MessageSignal SRI_SS:VirtualChannel GE:DataDictionary GE:DataAndControlCouple GE:SoftwareAccomplishmentSummary GE:SoftwareUnitTest GE:HighLevelRequirement DOCUMENT:DESCRIPTION CPS:Cps SRI:GenerationInformation LM:ArtifactAsset SYSTEM:SYSTEM LM:Participant SRI_SS:SecurityPerimeter SRI_SS:DataFlow LM:ArgumentReasoning SRI:DesCertRequirementModel TESTING:TEST_PROCEDURE SRI_SS:SafetyRequirement PROCESS:OBJECTIVE GrammaTech:AcertTestResult DOCUMENT:DOCUMENT Boeing:SBVT_Test LM:Technique SRI_SS:ComponentGuarantee GE:ObjectFile LM:AssertedRelationship SRI:RequirementSet GE:SoftwareDesignReviewArtifacts LM:Property Boeing:SubDD_Req GE:SourceCode SYSTEM:OP_PROCEDURE CPS:Connection PROV_S:COLLECTION LM:TaggedValue GE:StructuralCoverageReport SRI:RadlArchitectureModel TESTING:TEST_RECORD SRI_SS:AttackAccessVectors SRI_SS:SecurityViolation STR:StrEarsModel GE:SystemRequirement LM:Term SRI_SS:ThreatCondition LM:TerminologyPackage GE:SoftwareRequirementReviewArtifacts SOFTWARE:SWCOMPONENT SRI:SpecificProperty SRI_SS:SecurityRequirementSet GE:SoftwareModule SRI_SS:Control DOCUMENT:REPORT Boeing:SystemArchitecture SRI:ClearTestingTheory Boeing:SubDD_Doc SRI_SS:Vulnerability LM:Description HARDWARE:HWCOMPONENT GE:SoftwareCodeReviewArtifacts GE:RpmFile GE:ExecutableObject STR:StrInPort ANALYSIS:ANALYSIS_OUTPUT SRI:TestOracle RTX:RtxAnalysisOutput SRI_SS:Port SECURITY:CONTROL DOCUMENT:PLAN REVIEW:REVIEW_LOG Boeing:IDD LM:Artifact HARDWARE:PARTITION SRI_SS:SecurityRequirement LM:UtilityElement SRI:ToolQualificationData LM:AssertedEvidence GE:SystemInterfaceDefinition GE:ProblemReport Boeing:SRS_Doc SRI_SS:SafetyRequirementSet Boeing:IDD_Test SECURITY:CONTROLSET Boeing:PIDS_Doc LM:SacmActivity LM:ArgumentAsset SRI:ClearTest REQUIREMENTS:REQUIREMENT SRI:SoftwareHighLevelRequirementSet SRI_SS:ArchitectureTouchPoints Boeing:SBVT_Result SRI_SS:SafetyAccident GE:SoftwareThread LM:ArtifactPackage  } .
            ?ENTITY a ?ENTITY_type .
            ?ENTITY PROV_S:identifier ?identifier_3 .
    }
    optional {
        ?REQUIREMENT PROV_S:wasGeneratedBy ?REQUIREMENT_DEVELOPMENT .
            VALUES ?REQUIREMENT_DEVELOPMENT_type { REQUIREMENTS:REQUIREMENT_DEVELOPMENT Boeing:SoftwareHighLevelRequirementsDefinition GE:SoftwareRequirementsDefinition GE:SystemRequirementsDefinition GE:SoftwareDesign Boeing:SystemRequirementsDefinition Boeing:SoftwareDesign  } .
            ?REQUIREMENT_DEVELOPMENT a ?REQUIREMENT_DEVELOPMENT_type .
            ?REQUIREMENT_DEVELOPMENT PROV_S:identifier ?identifier_4 .
    }
    optional {
        ?ENTITY_0 ?_ENTITY_0_http_arcos_rack_PROV_S_wasDerivedFrom_REQUIREMENT ?REQUIREMENT .
        VALUES ?_ENTITY_0_http_arcos_rack_PROV_S_wasDerivedFrom_REQUIREMENT { <http://arcos.rack/PROV-S#wasDerivedFrom>  <http://arcos.descert/SRI#verifiesRequirement>  <http://arcos.rack/ANALYSIS#analyzes>  <http://arcos.rack/REQUIREMENTS#consumedBy>  <http://arcos.rack/REVIEW#reviews>  <http://arcos.rack/DOCUMENT#references>  <http://arcos.rack/SYSTEM#destination>  <http://arcos.rack/PROV-S#wasImpactedBy>  <http://arcos.descert/SRI#propertyBasis>  <http://arcos.descert/SRI-SS#capecReference>  <http://arcos.descert/SRI-SS#enhancedBy>  <http://arcos.descert/SRI-SS#nist_800_53Reference>  <http://arcos.descert/SRI-SS#exploits>  <http://arcos.certgate/LM#hasElement>  <http://arcos.rack/REQUIREMENTS#providedBy>  <http://arcos.rack/REQUIREMENTS#mitigates>  <http://arcos.descert/SRI#radlArchitectureNotation>  <http://arcos.descert/SRI-SS#uses>  <http://arcos.rack/SYSTEM#function>  <http://arcos.rack/TESTING#confirms>  <http://arcos.certgate/LM#source>  <http://arcos.descert/SRI#sourceCode>  <http://arcos.rack/PROCESS#mitigates>  <http://arcos.rack/FILE#satisfies>  <http://arcos.certgate/LM#reasoning>  <http://arcos.descert/SRI#sallyPropertyNotation>  <http://arcos.descert/SRI#generationConfiguration>  <http://arcos.descert/SRI-SS#recoveredBy>  <http://arcos.rack/TESTING#logs>  <http://arcos.AH-64D/Boeing#isArchitectureOf>  <http://arcos.descert/SRI#requirementNotation>  <http://arcos.descert/SRI-SS#cweReference>  <http://arcos.rack/REQUIREMENTS#governs>  <http://arcos.rack/PROV-S#wasRevisionOf>  <http://arcos.descert/SRI#sallyModelNotation>  <http://arcos.rack/HAZARD#source>  <http://arcos.rack/SECURITY#source>  <http://arcos.certgate/LM#target>  <http://arcos.descert/SRI-SS#mitgatedBy>  <http://arcos.rack/PROCESS#scopeOf>  <http://arcos.rack/REQUIREMENTS#satisfies>  <http://arcos.rack/TESTING#verifies>  <http://arcos.rack/SYSTEM#source>   } .
            VALUES ?ENTITY_0_type { PROV_S:ENTITY Boeing:CSID_Req SRI:RadlGenericProperty MODEL:MODEL SRI_SS:SoftwareComponent SECURITY:THREAT STR:StrPort SRI:ToolConfigurationInstance SRI:SourceCode DOCUMENT:SECTION SRI:RandoopTestsAndMetrics SYSTEM:INTERFACE GE:DataCoupleCoverageReport LM:ArtifactReference GE:SoftwareUnitTestResult LM:ExpressionLangString SRI_SS:RiskEvent SRI:SallyNotation LM:LangString LM:ArtifactAssetRelationship SRI:SoftwareLowLevelRequirement LM:AssuranceCasePackage LM:TerminologyGroup SRI:ClearNotation REQUIREMENTS:DATA_DICTIONARY_TERM GE:ControlCoupleCoverageReport HAZARD:HAZARD SRI:DataDictionary LM:ImplementationConstraint LM:Note SRI_SS:InterfaceGuarantee SRI:RadlNotation STR:StrOutPort LM:ArgumentationElement SRI:ClearGenericProperty GE:ChangeRequest SRI:SoftwareLowLevelRequirementSet SRI_SS:SecurityEnclave SRI_SS:Exploitation SRI:SystemRequirement DOCUMENT:SPECIFICATION SRI:ExecutableObject LM:Resource SRI_SS:HazardCondition TESTING:TEST_STEP Boeing:SRS_Req Boeing:Message SRI:SallyPropertyModel SRI:SoftwareHighLevelRequirement LM:ArgumentPackage LM:ArtifactElement SRI:PropertyResult DOCUMENT:REQUEST LM:MultiLangString LM:TerminologyAsset SRI:ObjectFile TESTING:TEST_LOG PROCESS:PROPERTY SRI_SS:PhysicalInterface LM:Expression TESTING:TEST TESTING:TEST_RESULT LM:Event GE:SoftwareComponentTest SRI_SS:Guarantee GE:SoftwareComponentTestResult Boeing:SystemConOps LM:ExpressionElement FILE:FILE GrammaTech:AcertRequirementModel SRI:SystemRequirementSet LM:Element LM:Assertion LM:SacmElement LM:ModelElement SRI:DaikonInvariantOutput SRI:LikelyInvariantModel DOCUMENT:PROCEDURE SYSTEM:FUNCTION BASELINE:BASELINE GE:LowLevelRequirement LM:Category SRI:SallyTransitionSystemModel LM:TerminologyElement STR:StrSystem Boeing:Signal SRI_SS:HardwareComponent STR:StrComponent GE:SystemComponent LM:AssertedContext LM:Claim Boeing:PIDS_Req Boeing:MessageSignal SRI_SS:VirtualChannel GE:DataDictionary GE:DataAndControlCouple GE:SoftwareAccomplishmentSummary GE:SoftwareUnitTest GE:HighLevelRequirement DOCUMENT:DESCRIPTION CPS:Cps SRI:GenerationInformation LM:ArtifactAsset SYSTEM:SYSTEM LM:Participant SRI_SS:SecurityPerimeter SRI_SS:DataFlow LM:ArgumentReasoning SRI:DesCertRequirementModel TESTING:TEST_PROCEDURE SRI_SS:SafetyRequirement PROCESS:OBJECTIVE GrammaTech:AcertTestResult DOCUMENT:DOCUMENT Boeing:SBVT_Test LM:Technique SRI_SS:ComponentGuarantee GE:ObjectFile LM:AssertedRelationship SRI:RequirementSet GE:SoftwareDesignReviewArtifacts LM:Property Boeing:SubDD_Req GE:SourceCode SYSTEM:OP_PROCEDURE CPS:Connection PROV_S:COLLECTION LM:TaggedValue GE:StructuralCoverageReport SRI:RadlArchitectureModel TESTING:TEST_RECORD SRI_SS:AttackAccessVectors SRI_SS:SecurityViolation STR:StrEarsModel GE:SystemRequirement LM:Term SRI_SS:ThreatCondition LM:TerminologyPackage GE:SoftwareRequirementReviewArtifacts SOFTWARE:SWCOMPONENT SRI:SpecificProperty SRI_SS:SecurityRequirementSet GE:SoftwareModule SRI_SS:Control DOCUMENT:REPORT Boeing:SystemArchitecture SRI:ClearTestingTheory Boeing:SubDD_Doc SRI_SS:Vulnerability LM:Description HARDWARE:HWCOMPONENT GE:SoftwareCodeReviewArtifacts GE:RpmFile GE:ExecutableObject STR:StrInPort ANALYSIS:ANALYSIS_OUTPUT SRI:TestOracle RTX:RtxAnalysisOutput SRI_SS:Port SECURITY:CONTROL DOCUMENT:PLAN REVIEW:REVIEW_LOG Boeing:IDD LM:Artifact HARDWARE:PARTITION SRI_SS:SecurityRequirement LM:UtilityElement SRI:ToolQualificationData LM:AssertedEvidence GE:SystemInterfaceDefinition GE:ProblemReport Boeing:SRS_Doc SRI_SS:SafetyRequirementSet Boeing:IDD_Test SECURITY:CONTROLSET Boeing:PIDS_Doc LM:SacmActivity LM:ArgumentAsset SRI:ClearTest REQUIREMENTS:REQUIREMENT SRI:SoftwareHighLevelRequirementSet SRI_SS:ArchitectureTouchPoints Boeing:SBVT_Result SRI_SS:SafetyAccident GE:SoftwareThread LM:ArtifactPackage  } .
            ?ENTITY_0 a ?ENTITY_0_type .
            ?ENTITY_0 PROV_S:identifier ?identifier_5 .
    }
    optional {
        ?ACTIVITY_0 ?_ACTIVITY_0_http_arcos_rack_PROV_S_used_REQUIREMENT ?REQUIREMENT .
        VALUES ?_ACTIVITY_0_http_arcos_rack_PROV_S_used_REQUIREMENT { <http://arcos.rack/PROV-S#used>  <http://arcos.descert/SRI#testGenInput>  <http://arcos.rack/REQUIREMENTS#governedBy>  <http://arcos.rack/ANALYSIS#analysisConfiguration>  <http://arcos.rack/ANALYSIS#analysisInput>  <http://arcos.rack/REQUIREMENTS#referenced>  <http://arcos.rack/SOFTWARE#governedBy>  <http://arcos.rack/REVIEW#governedBy>  <http://arcos.rack/SOFTWARE#referenced>  <http://arcos.rack/SOFTWARE#packageInput>  <http://arcos.rack/REVIEW#reviewed>  <http://arcos.descert/SRI#testEnvironment>  <http://arcos.rack/TESTING#testProcedure>  <http://arcos.descert/SRI#sallyModelGenInfo>  <http://arcos.descert/SRI#testGenInfo>  <http://arcos.rack/SOFTWARE#compileInput>   } .
            VALUES ?ACTIVITY_0_type { PROV_S:ACTIVITY SOFTWARE:CODE_GEN SYSTEM:SYSTEM_DEVELOPMENT GE:SoftwareRequirementsDefinition GE:GenerateSoftwareReleaseDocumentation TESTING:TEST_DEVELOPMENT SRI:DesCertTestGeneration SRI_SS:Attack GE:ControlCouplingAnalysis SOFTWARE:COMPILE GE:SoftwareUnitTestExecution GE:SourceConfigurationManagement Boeing:DevelopSystemArchitecture SOFTWARE:CODE_DEVELOPMENT GE:DefineSystemInterfaces SECURITY:THREAT_IDENTIFICATION GE:DevelopUnitTests GE:SoftwareDesignReview ANALYSIS:ANALYSIS TESTING:TEST_EXECUTION Boeing:DevelopSystemConOps GE:SoftwareDesign GE:RequirementConfigurationManagement GrammaTech:AcertTestExecution GE:SoftwareCoding FILE:FILE_CREATION GE:ReviewConfigurationManagement GE:DevelopSystemArchitecture CONFIDENCE:ASSESSING_CONFIDENCE GE:SoftwareCodeReview GE:SystemRequirementsDefinition Boeing:SystemRequirementsDefinition REVIEW:REVIEW SRI:SallyTransitionSystemModelGeneration SRI:RadlerArchitectureAnalysis SOFTWARE:PACKAGE Boeing:SoftwareCoding GE:SoftwareRequirementsReview SOFTWARE:BUILD HAZARD:HAZARD_IDENTIFICATION Boeing:SoftwareDesign REQUIREMENTS:REQUIREMENT_DEVELOPMENT GE:Change_Authorization GE:SoftwareComponentTestExecution SRI:ClearRequirementAnalysis SRI:DesCertTestExecution SRI:RandoopJUnitTestGeneration SRI:SallyModelChecking SRI:SoftwareIntegration Boeing:SoftwareHighLevelRequirementsDefinition GE:SoftwareIntegration GE:StructuralCoverageAnalysis GE:Problem_Reporting GE:DevelopComponentTests SRI:DaikonInvariantDetection SRI:ClearTestAndOracleGeneration GE:DataCouplingAnalysis  } .
            ?ACTIVITY_0 a ?ACTIVITY_0_type .
            ?ACTIVITY_0 PROV_S:identifier ?identifier_6 .
    }
}
cuddihyge commented 2 years ago

I can't see much/any difference in query performance, but it seems like a good enough idea to have a shorter prefix so I checked the change in. @kquick might have a query to test (??)