SELECT ?lStartTime ?lEndTime ?lDescription
WHERE
{
  ?nAction
    a case-investigation:InvestigativeAction ;
    uco-core:hasFacet ?nActionReferences ;
    uco-core:description ?lDescription ;
    .

  ?nActionReferences
    a uco-action:ActionReferences ;
    uco-action:endTime ?lEndTime ;
    .

  OPTIONAL
  {
    ?nActionReferences
      uco-action:startTime ?lStartTime ;
      .
  }
}
ORDER BY ?lEndTime

SELECT DISTINCT ?nLocation ?lRoomId ?lDescription
WHERE
{
  ?nAction
    a case-investigation:InvestigativeAction ;
    uco-core:hasFacet [
      a uco-action:ActionReferences ;
      uco-action:location ?nLocation ;
    ] ;
    .

  ?nLocation
    a uco-location:Location ;
    uco-core:description ?lDescription ;
    uco-core:hasFacet [
      a uco-location:SimpleAddress ;
      drafting:roomId ?lRoomId ;
    ]
    .

}
ORDER BY ?nLocation

SELECT DISTINCT ?lLastName
WHERE
{
  # Many actions involve the exhibit's device.
  # Look up the exhibit-device based on its exhibit number.
  ?nOriginalProvenanceRecord
    a case-investigation:ProvenanceRecord ;
    case-investigation:exhibitNumber "EXH-20190101-7" ;
    uco-core:object ?nExhibitDevice ;
    .

  # Then, look up the people that produced other provenance records for this device.
  ?nInvestigativeAction
    a case-investigation:InvestigativeAction ;
    uco-core:hasFacet ?nActionReferences ;
    .

  ?nActionReferences
    a uco-action:ActionReferences ;
    uco-action:performer ?nPerformer ;
    uco-action:result ?nActionProvenanceRecord ;
    .

  # This query component ties the provenance records together
  # by object-reference to the device.
  ?nActionProvenanceRecord
    a case-investigation:ProvenanceRecord ;
    uco-core:object ?nExhibitDevice ;
    .

  ?nPerformer
    a uco-identity:Identity ;
    uco-core:hasFacet ?nSimpleName ;
    .

  ?nSimpleName
    a uco-identity:SimpleName ;
    uco-identity:familyName ?lLastName ;
    .
}
ORDER BY ?lLastName

SELECT ?lExhibitNumber ?lFileName ?lModifiedTime ?lHashValue
WHERE {

  # This query uses sub-queries to prevent unnecessary joins.
  # The first sub-query identifies for which graph nodes we will retrieve
  # annotating properties.

  # The files being returned are photographs that were created as the
  # results of investigative actions, and are recorded in the generated
  # provenance records.
  # Retrieve the exhibit devices' nodes and the file objects' nodes.

  {
    SELECT ?nExhibitDevice ?nPictureFile
    WHERE {
      ?nPictureFile
        a uco-observable:ObservableObject ;
        uco-core:hasFacet ?nRasterPictureFacet ;
        .

      ?nInvestigativeAction
        a case-investigation:InvestigativeAction ;
        uco-core:hasFacet ?nActionReferencesFacet ;
        .

      ?nActionReferencesFacet
        a uco-action:ActionReferences ;
        uco-action:instrument ?nCameraDevice ;
        uco-action:object ?nExhibitDevice ;
        uco-action:result ?nPictureFile ;
        uco-action:result ?nProvenanceRecord ;
        .

      # To avoid confusing pictures taken of evidence with pictures
      # extracted from evidence, identify the investigator's camera by
      # merit of it being an analytic tool.
      {
        SELECT ?nCameraDevice
        WHERE {
          ?nCameraDevice
            a uco-observable:ObservableObject ;
            a uco-tool:AnalyticTool ;
            uco-core:hasFacet ?nCameraDeviceDeviceFacet ;
            .

          ?nCameraDeviceDeviceFacet
            a uco-observable:DeviceFacet ;
            uco-observable:deviceType "camera" ;
            .
        }
      }  # Ends sub-query: SELECT ?nCameraDevice

      # The provenance record confirms the picture file was recorded in
      # the provenance chain.

      ?nProvenanceRecord
        a case-investigation:ProvenanceRecord ;
        uco-core:object ?nPictureFile ;
        .

      # The raster picture facet distinguishes these files as picture
      # files.

      ?nRasterPictureFacet
        a uco-observable:RasterPictureFacet ;
        .

      # Because provenance records are input to some actions, confirm
      # that the exhibit device node has a Device facet, to prevent
      # accidentally returning provenance records in this inner query's
      # results.
      # (These two blocks retrieving the facet can cause a Cartesian
      # product if not run in a sub-, or at this point sub-sub-, query.)

      {
        SELECT ?nExhibitDevice
        WHERE {
          ?nExhibitDevice
            a uco-observable:ObservableObject ;
            uco-core:hasFacet ?nExhibitDeviceDeviceFacet ;
            .

          ?nExhibitDeviceDeviceFacet
            a uco-observable:DeviceFacet ;
            .
        }
      }  # Ends sub-query: SELECT ?nExhibitDevice
    }
  }  # Ends sub-query: SELECT ?nExhibitDevice ?nPictureFile

  # The first returned property for the outer query is the label of the
  # subject device, which must be retrieved by one of the provenance
  # records that is not a result of taking the pictures.
  # This is run in a SELECT DISTINCT sub-query because multiple
  # provenance records of the subject device attach the exhibit number
  # redundantly.
  {
    SELECT DISTINCT ?nExhibitDevice ?lExhibitNumber
    WHERE {
      ?nLabellingProvenanceRecord
        a case-investigation:ProvenanceRecord ;
        case-investigation:exhibitNumber ?lExhibitNumber ;
        uco-core:object ?nExhibitDevice ;
        .
    }
  }

  # The other properties being returned are characteristics of the
  # files.  Retrieve those properties once the sub-query has returned
  # which files.

  ?nPictureFile
    uco-core:hasFacet ?nContentDataFacet ;
    uco-core:hasFacet ?nFileFacet ;
    .

  ?nContentDataFacet
    a uco-observable:ContentDataFacet ;
    uco-observable:hash ?nHash ;
    .

  ?nHash
    uco-types:hashValue ?lHashValue ;
    .

  ?nFileFacet
    a uco-observable:FileFacet ;
    uco-observable:fileName ?lFileName ;
    uco-observable:modifiedTime ?lModifiedTime ;
    .

}
ORDER BY ?lExhibitNumber ?lFileName