@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix : <https://eyereasoner.github.io/ns#>.

# Define basic deontic predicates
:workplace_policy :obliged :log_off_at_end_of_shift.
:workplace_policy :permitted :work_related_task.
:workplace_policy :forbidden :access_social_media.

# Rules to check if an action complies with deontic logic
{
    ?Person :does :work_related_task.
    ?Person :does :log_off_at_end_of_shift.
} => {
    ?Person :complies true
}.

{
    ?Person :does :work_related_task.
    ?SCOPE log:notIncludes {
        ?Person :does :log_off_at_end_of_shift.
    }.
} => {
    ?Person :complies false
}.

{
    ?Person :does :log_off_at_end_of_shift.
} => {
    ?Person :complies true
}.

{
    ?Person :does :access_social_media.
} => {
    ?Person :complies false
}.
