PriArg Scenario 3

Bob: I want to share this picture. Would it be okay for you?

Alice: I think the picture is in the family union context. I do not want to show any pictures in the family union context.

  • FamilyUnion (?context), isInContext(?postRequest, ?context) → rejects( :alice , ?postRequest)

Bob: I think the picture is taken on a conference date (e,g,. march 1st) and in the conference place (e.g., Antalya). So, it is not in the family union context.

  • isInContext(?postRequest, ?context), hasMedium(?postRequest, ?medium), includesLocation(?medium, Antalya), City (Antalya),
    hasDateTaken(?medium, ?date), dateTime (date), equal (?date, “2016-03-01T00:00:00Z”) → Conference (?context)

Alice: The picture does not indicate the conference place. It has the geotag of a different city (e.g., İzmir).

  • differFrom(?location1, ?location2), hasGeoTag(?medium, ?location1) → notIncludeLocation(?medium, ?location2)

THE POST IS NOT SHARED!

scenario3_bob_alice_abagraph