document
  prefix method <http://www.java.com/>
  prefix user <http://loophabits.org/>
  prefix ex <http://example.com/#>
  
  wasGeneratedBy(user:HabitData, method:input, 2018-01-22T10:00:02+00:00)
  wasGeneratedBy(user:HabitSummary, method:aggregate, 2018-01-22T10:00:02+00:00)
  wasGeneratedBy(user:HabitReport, method:export, 2018-01-22T10:00:02+00:00)
  activity(method:aggregate, 2018-01-22T10:00:02+00:00, 2018-01-22T10:00:02+00:00, [prov:type="user:aggregate"])
  activity(method:input, 2018-01-22T10:00:02+00:00, 2018-01-22T10:00:02+00:00, [prov:type="user:input"])
  activity(method:export, 2018-01-22T10:00:02+00:00, 2018-01-22T10:00:02+00:00, [prov:type="user:export"])
  entity(user:HabitReport, [prov:label="Exported Userdata", prov:type='prov:UserData'])
  entity(user:HabitSummary, [prov:label="Aggregated Userdata", prov:type='prov:UserData'])
  entity(user:HabitData, [prov:label="Habit Userdata", prov:type='prov:UserData'])
  agent(user:s.mueller1995@gmail.com, [prov:label="Loop Tracking User", prov:type='prov:Person'])
  agent(ex:agent, [prov:label="Loop Habit Tracking", prov:type='prov:SoftwareAgent'])
  wasAttributedTo(user:HabitReport, user:s.mueller1995@gmail.com)
  wasAttributedTo(user:HabitSummary, user:s.mueller1995@gmail.com)
  wasAttributedTo(user:HabitData, user:s.mueller1995@gmail.com)
  used(method:export, user:HabitSummary, 2018-01-22T10:00:02+00:00)
  used(method:aggregate, user:HabitData, 2018-01-22T10:00:02+00:00)
  wasDerivedFrom(user:HabitReport, user:HabitSummary, -, -, -)
  wasAssociatedWith(method:aggregate, ex:agent, -)
  wasAssociatedWith(method:input, user:s.mueller1995@gmail.com, -)
  wasAssociatedWith(method:export, ex:agent, -)
  wasAssociatedWith(method:input, ex:agent, -)
endDocument