WHAT STEPS DESCRIBE THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?step WHERE { a ep-plan:Plan; ep-plan:includesStep ?step. ?step a ep-plan:Step. } ---------------------------------------------------------- | step | ========================================================== | | | | | | | | | | ---------------------------------------------------------- WHAT VARIABLES ARE PART OF THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?variable WHERE { a ep-plan:Plan; ep-plan:includesVariable ?variable. ?variable a ep-plan:Variable. } ---------------------------------------------------------- | variable | ========================================================== | | | | | | | | | | | | ---------------------------------------------------------- WHICH STEP PRECEEDS WHICH STEP IN THIS PLAN ? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?step ?nextStep WHERE { a ep-plan:Plan; ep-plan:includesStep ?step; ep-plan:includesStep ?nextStep. ?step ep-plan:precedes ?nextStep; a ep-plan:Step. ?nextStep a ep-plan:Step. } ---------------------------------------------------------------------------------------------------------------- | step | nextStep | ================================================================================================================ | | | | | | | | | | | | | | | | | | | | | | | | | | | ---------------------------------------------------------------------------------------------------------------- WHICH STEPS USE WHICH VARIABLES IN THIS PLAN ? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?step ?variableUsed WHERE { a ep-plan:Plan; ep-plan:includesStep ?step; ep-plan:includesVariable ?variableUsed. ?step a ep-plan:Step; ep-plan:hasInputVariable ?variableUsed. ?variableUsed a ep-plan:Variable. } ----------------------------------------------------------------------------------------------------------------- | step | variableUsed | ================================================================================================================= | | | | | | | | | | | | | | | ----------------------------------------------------------------------------------------------------------------- WHICH STEPS PRODUCE WHICH VARIABLES IN THIS PLAN ? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?step ?variableProduced WHERE { a ep-plan:Plan; ep-plan:includesStep ?step; ep-plan:includesVariable ?variableProduced. ?step a ep-plan:Step; ep-plan:hasOutputVariable ?variableProduced. ?variableProduced a ep-plan:Variable. } ----------------------------------------------------------------------------------------------------------------- | step | variableProduced | ================================================================================================================= | | | | | | | | | | | | ----------------------------------------------------------------------------------------------------------------- WHICH VARIABLES OF THIS PLAN HAD CORRESPONDING EXECUTION TRACE ELEMENTS DURING WHICH EXECUTION ACTIVITY? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?executionActivity ?entity WHERE { a ep-plan:Plan; ep-plan:includesVariable ?variable. ?variable a ep-plan:Variable. ?executionTrace a ep-plan:ExecutionTraceBundle; prov:wasGeneratedBy ?executionActivity; prov:wasDerivedFrom ; ep-plan:hasTraceElement ?entity. ?executionActivity a ep-plan:MultiActivity. ?entity a ep-plan:Entity; ep-plan:correspondsToVariable ?variable. } ---------------------------------------------------------------------------------------------------------------------------------- | executionActivity | entity | ================================================================================================================================== | | | | | | | | | | | | | | | | | | ---------------------------------------------------------------------------------------------------------------------------------- WHICH STEPS OF THIS PLAN WERE EXECUTED DURING WHICH EXECUTION PROCESS? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?executionActivity ?step WHERE { a ep-plan:Plan; ep-plan:includesStep ?failedStep. ?failedStep a ep-plan:Step. ?executionTrace a ep-plan:ExecutionTraceBundle; prov:wasGeneratedBy ?executionActivity; prov:wasDerivedFrom ; ep-plan:hasTraceElement ?activity. ?executionActivity a ep-plan:MultiActivity. ?activity a ep-plan:Activity; ep-plan:correspondsToStep ?step. } ---------------------------------------------------------------------------------------------------------------------------- | executionActivity | step | ============================================================================================================================ | | | | | | | | | | | | | | | | | | ---------------------------------------------------------------------------------------------------------------------------- WHICH STEPS OF THIS PLAN FAILED TO EXECUTE DURING EXECUTION ACTIVITY? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?executionActivity ?failedStep WHERE { a ep-plan:Plan; ep-plan:includesStep ?failedStep. ?failedStep a ep-plan:Step. ?executionTrace a ep-plan:ExecutionTraceBundle; prov:wasGeneratedBy ?executionActivity; prov:wasDerivedFrom ; ep-plan:hasTraceElement ?activity. ?executionActivity a ep-plan:MultiActivity. ?activity a ep-plan:FailedActivity; ep-plan:correspondsToStep ?failedStep. } ---------------------------------------------------------------------------------------------------------------------- | executionActivity | failedStep | ====================================================================================================================== | | | ---------------------------------------------------------------------------------------------------------------------- WHICH STEPS OF THIS PLAN ARE COMPOSITE STEPS? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?step WHERE { a ep-plan:Plan; ep-plan:includesStep ?step. ?step a ep-plan:MultiStep. } ---------------------------------------------------- | step | ==================================================== | | ---------------------------------------------------- WHICH VARIABLES OF THIS PLAN ARE COMPOSITE VARIABLES? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?variable WHERE { a ep-plan:Plan; ep-plan:includesVariable ?variable. ?variable a ep-plan:MultiVariable. } ------------------------------------------------------ | variable | ====================================================== | | ------------------------------------------------------ WHICH SUB-PLAN OF THIS PLAN DESCRIBE WHICH COMPOSITE STEP OF THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?subPlan ?step WHERE { a ep-plan:Plan; ep-plan:includesStep ?step. ?step a ep-plan:MultiStep; ep-plan:isDecomposedAsPlan ?subPlan. ?subPlan a ep-plan:Plan; ep-plan:isSubPlanOfPlan . } ------------------------------------------------------------------------------------------------------------ | subPlan | step | ============================================================================================================ | | | ------------------------------------------------------------------------------------------------------------ WHICH VARIABLE OF A SUB-PLAN OF THIS PLAN DESCRIBE A COMPOSITE VARIABLE OF THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?compositeVar ?atomicVar WHERE { a ep-plan:Plan; ep-plan:includesVariable ?compositeVar. ?subPlan a ep-plan:Plan; ep-plan:isSubPlanOfPlan ; ep-plan:includesVariable ?atomicVar. ?atomicVar a ep-plan:Variable. ?compositeVar a ep-plan:MultiVariable; ep-plan:hasPart ?atomicVar. } -------------------------------------------------------------------------------------------------------------- | compositeVar | atomicVar | ============================================================================================================== | | | | | | -------------------------------------------------------------------------------------------------------------- WHICH EXECUTION TRACE ELEMENTS CORRESPONDING TO VARIABLES OF A SUB-PLAN ARE PART OF EXECUTION TRACE LEMENTS CORRESPONDING TO COMPOSITE VARIABLES OF THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?compositeEntity ?atomicEntity WHERE { a ep-plan:Plan; ep-plan:includesVariable ?compositeVar. ?subPlan a ep-plan:Plan; ep-plan:isSubPlanOfPlan ; ep-plan:includesVariable ?atomicVar. ?atomicVar a ep-plan:Variable. ?compositeVar a ep-plan:MultiVariable; ep-plan:hasPart ?atomicVar. ?mainExecutionTrace a ep-plan:ExecutionTraceBundle; prov:wasDerivedFrom ; ep-plan:hasTraceElement ?compositeEntity; ep-plan:hasTraceElement ?subPlanExecutionTrace. ?subPlanExecutionTrace a ep-plan:ExecutionTraceBundle; ep-plan:hasTraceElement ?atomicEntity; prov:wasDerivedFrom ?subPlan. ?compositeEntity a ep-plan:EntityCollection; ep-plan:correspondsToVariable ?compositeVar; prov:hadMember ?atomicEntity. ?atomicEntity a ep-plan:Entity; ep-plan:correspondsToVariable ?atomicVar. } ------------------------------------------------------------------------------------------------------------------------- | compositeEntity | atomicEntity | ========================================================================================================================= | | | | | | ------------------------------------------------------------------------------------------------------------------------- WHICH WHICH GENERATED WHICH EXECUTION TRACE OF THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?agent ?executionTrace WHERE { a ep-plan:Plan. ?executionTrace a ep-plan:ExecutionTraceBundle; prov:wasGeneratedBy ?executionActivity. ?executionActivity prov:wasAssociatedWith ?agent; a ep-plan:MultiActivity. ?executionTrace prov:wasDerivedFrom . } ----------------------------------------------------------------------------------------------------------------- | agent | executionTrace | ================================================================================================================= | | | | | | | | | | | | ----------------------------------------------------------------------------------------------------------------- WHICH AGENTS ARE ALLOWED TO PARTICIPATE IN THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?agent WHERE { a ep-plan:Plan; ep-plan:includesResponsibleAgent ?agent. } ------------------------------------------------------- | agent | ======================================================= | | | | | | | | ------------------------------------------------------- WHICH AGENTS ARE ALLOWED TO PARTICIPATE IN THIS PLAN (SEARCH ALL ABSTRACTION LAYERS)? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?agent WHERE { { a ep-plan:Plan; ep-plan:includesResponsibleAgent ?agent. } UNION { ?subPlan ep-plan:isSubPlanOfPlan* ; ep-plan:includesResponsibleAgent ?agent. } } -------------------------------------------------------- | agent | ======================================================== | | | | | | | | | | | | | | | | -------------------------------------------------------- WHICH AGENTS ARE ALLOWED TO PARTICIPATE IN EXECUTION OF THIS STEP? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?agent WHERE { a ep-plan:Step; ep-plan:hasPermittedAgent ?agent. } ------------------------------------------------------- | agent | ======================================================= | | ------------------------------------------------------- WHICH AGENTS ARE ALLOWED TO PARTICIPATE IN EXECUTION OF THIS COMPOSITE STEP (SEARCH ALL ABSTRACTION LAYERS)? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?agent WHERE { { a ep-plan:MultiStep; ep-plan:hasPermittedAgent ?agent. } UNION { ep-plan:isDecomposedAsPlan ?plan. { ?plan a ep-plan:Plan; ep-plan:includesResponsibleAgent ?agent. } Union { ?subPlan ep-plan:isSubPlanOfPlan* ?plan; ep-plan:includesResponsibleAgent ?agent. } } } -------------------------------------------------------- | agent | ======================================================== | | | | | | | | -------------------------------------------------------- WHICH AGENTS THAT WERE ALLOWED TO PARTICIPATE IN EXECUTION OF THIS STEP WERE RECORDED AS PART OF THE EXECUTION TRACE? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?agent ?activity WHERE { a ep-plan:Step; ep-plan:hasPermittedAgent ?agent. ?agent a ep-plan:ResponsibleAgent; a ep-plan:Agent. ?activity a ep-plan:Activity; ep-plan:correspondsToStep ; prov:wasAssociatedWith ?agent. } ------------------------------------------------------------------------------------------------------------------- | agent | activity | =================================================================================================================== | | | | | | ------------------------------------------------------------------------------------------------------------------- WHAT CONSTRAINTS ARE ASSOCIATED WITH WHICH STEPS OF THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?constraint ?step WHERE { a ep-plan:Plan; ep-plan:includesConstraint ?constraint; ep-plan:includesStep ?step. ?step ep-plan:hasConstraint ?constraint; a ep-plan:Step. ?constraint a ep-plan:Constraint. } --------------------------------------------------------------------------------------------------------------------- | constraint | step | ===================================================================================================================== | | | --------------------------------------------------------------------------------------------------------------------- WHICH EXECUTIONS OF THIS STEP SATISFIED WHICH CONSTRAINTS? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?constraint ?activity WHERE { ep-plan:includesConstraint ?constraint; ep-plan:includesStep ?step. ?step ep-plan:hasConstraint ?constraint; a ep-plan:Step. ?constraint a ep-plan:Constraint. ?activity ep-plan:correspondsToStep ?step; a ep-plan:Activity. ?activity ep-plan:satisfied ?constraint. ?execTraceBundle prov:wasDerivedFrom ; ep-plan:hasTraceElement ?activity. } ------------------------------------------------------------------------------------------------------------------------------ | constraint | activity | ============================================================================================================================== | | | ------------------------------------------------------------------------------------------------------------------------------ WHICH EXECUTIONS OF WHICH STEP VIOLATED WHICH CONSTRAINTS? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?constraint ?activity WHERE { ep-plan:includesConstraint ?constraint; ep-plan:includesStep ?step. ?step ep-plan:hasConstraint ?constraint; a ep-plan:Step. ?constraint a ep-plan:Constraint. ?activity ep-plan:correspondsToStep ?step; a ep-plan:Activity. ?activity ep-plan:violated ?constraint. ?execTraceBundle prov:wasDerivedFrom ; ep-plan:hasTraceElement ?activity. } ------------------------------------------------------------------------------------------------------------------------------ | constraint | activity | ============================================================================================================================== | | | ------------------------------------------------------------------------------------------------------------------------------ WHICH CONSTRAINTS ARE RESTRICTING THE EXCHANGE OF DATA BETWEEN STEPS IN THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?constraint ?commsSpec WHERE { a ep-plan:Plan; ep-plan:includesCommunicationSpecification ?commsSpec; ep-plan:includesStep ?step. ?commsSpec ep-plan:hasConstraint ?constraint; a ep-plan:CommunicationSpecification. ?constraint a ep-plan:Constraint. } ----------------------------------------------------------------------------------------------------------------------- | constraint | commsSpec | ======================================================================================================================= | | | ----------------------------------------------------------------------------------------------------------------------- EXCHANGE OF WHICH DATA VARIABLE BETWEEN WHICH STEPS IS RESTRICTED WHICH CONSTRAINT IN THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?constraint ?variable WHERE { a ep-plan:Plan; ep-plan:includesCommunicationSpecification ?commsSpec; ep-plan:includesStep ?step1; ep-plan:includesStep ?step2; ep-plan:includesVariable ?variable. ?commsSpec ep-plan:hasConstraint ?constraint; a ep-plan:CommunicationSpecification. ?constraint a ep-plan:Constraint. ?commsSpec ep-plan:hasSender ?step1; ep-plan:hasRecipient?step2; ep-plan:hasPayload ?variable. ?variable a ep-plan:Variable. ?step1 a ep-plan:Step. ?step2 a ep-plan:Step. } ----------------------------------------------------------------------------------------------------------- | constraint | variable | =========================================================================================================== | | | ----------------------------------------------------------------------------------------------------------- WHICH STEP EXECUTIONS SATISFIED CONSTRAINTS RESTRICTING THE EXCHANGE OF DATA IN THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?constraint ?senderActivity ?recipientActivity ?exchangedData WHERE { a ep-plan:Plan; ep-plan:includesCommunicationSpecification ?commsSpec; ep-plan:includesStep ?sender; ep-plan:includesStep ?recipient; ep-plan:includesVariable ?variable. ?senderActivity a ep-plan:Activity; ep-plan:correspondsToStep ?sender. ?exchangedData a ep-plan:Entity; prov:wasGeneratedBy ?senderActivity; ep-plan:correspondsToVariable ?variable. ?recipientActivity a ep-plan:Activity; prov:used ?exchangedData; prov:qualifiedCommunication ?communication;ep-plan:correspondsToStep ?recipient. ?communication a ep-plan:Communication; ep-plan:correspondsToCommunicationSpecification ?commsSpec; prov:activity ?senderActivity. ?commsSpec ep-plan:hasConstraint ?constraint; a ep-plan:CommunicationSpecification. ?commsSpec ep-plan:hasSender ?sender; ep-plan:hasRecipient ?recipient; ep-plan:hasPayload ?variable. ?communication ep-plan:satisfied ?constraint. } ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | constraint | senderActivity | recipientActivity | exchangedData | ============================================================================================================================================================================================================================================== | | | | | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- WHAT ARE THE POLICIES ASSOCIATED WITH THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?policy WHERE { a ep-plan:Plan; ep-plan:includesPolicy ?policy. ?policy a ep-plan:Policy. } ------------------------------------------------------------- | policy | ============================================================= | | | | ------------------------------------------------------------- WHICH PLAN ELEMENTS WERE INCLUDED IN THIS PLAN AS A RESULT OF WHICH POLICY? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?policy ?planElement WHERE { a ep-plan:Plan; ep-plan:includesPolicy ?policy; ep-plan:includesPlanElement ?planElement. ?policy a ep-plan:Policy; a ep-plan:Rationale. ?planElement ep-plan:hasRationale ?policy. } ------------------------------------------------------------------------------------------------------------------------------ | policy | planElement | ============================================================================================================================== | | | | | | ------------------------------------------------------------------------------------------------------------------------------ WHAT IS THE RATIONALE FOR INCLUDING WHICH PLAN ELEMENTS? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?rationale ?planElement WHERE { a ep-plan:Plan; ep-plan:includesPlanElement ?planElement. ?planElement ep-plan:hasRationale ?rationale. ?rationale a ep-plan:Rationale. } ---------------------------------------------------------------------------------------------------------------------------------------------------------------- | rationale | planElement | ================================================================================================================================================================ | | | | | | | | | | | | | | | ---------------------------------------------------------------------------------------------------------------------------------------------------------------- WHAT ARE THE OBJECTIVES OF THIS PLAN AND WHAT IS THEIR RATIONALE ? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?objective ?rationale ?objectiveDescription WHERE { a ep-plan:Plan; ep-plan:includesObjective ?objective. ?objective a ep-plan:Objective; rdfs:comment ?objectiveDescription; ep-plan:hasRationale ?rationale. } ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | objective | rationale | objectiveDescription | ===================================================================================================================================================================================================================================================== | | | "A city council wants to monitor occupancy levels in properties they manage" | | | | "A city council will contribute anonymased data readings collected from social housing to national statistics archive." | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- WHICH PLAN ELEMENTS ARE EXPECTED TO ACHIEVE WHICH OBJECTIVE OF THIS PLAN? PREFIX ep-plan: PREFIX prov: PREFIX rdfs: SELECT DISTINCT ?objective ?objectiveDescription ?achievedBy WHERE { a ep-plan:Plan; ep-plan:includesObjective ?objective. ?objective a ep-plan:Objective; rdfs:comment ?objectiveDescription; ep-plan:isAchievedBy ?achievedBy. } -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | objective | objectiveDescription | achievedBy | ============================================================================================================================================================================================================================================ | | "A city council wants to monitor occupancy levels in properties they manage" | | | | "A city council will contribute anonymased data readings collected from social housing to national statistics archive." | | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------