Problèmes négations

Les modalités avec des négations ne sont pas toutes bien gérées.

Je ne sais pas comment sont gérées les négations dans Tenet mais voilà les règles de réécriture que j'avais trouvé pour simplifier les négations (où P = permission, O = obligation, I = interdiction, A = action) :

• I(¬A) -> O(A)
• O(¬A) -> I(A)
• ¬P(A) -> I(A)
• ¬I(A) -> P(A)

Exemple 1

Phrase : "John is prohibited not to reproduce the Work" (John must reproduce the Work)

AMR (Problème : le not n'apparaît pas) :

(p / prohibit-01
      :ARG1 (r / reproduce-01
            :ARG0 (p2 / person
                  :name (n / name
                        :op1 "John"))
            :ARG1 (w / work-01))
      :ARG2 p2)

ODRL obtenu :

@base <http://https://tenet.tetras-libre.fr/demo/clara/03//factoid> .

Exemple 2

Phrase : "John is not allowed not to reproduce the Work" (John must reproduce the Work)

AMR :

(a / allow-01
      :polarity -
      :ARG1 (r / reproduce-01
            :polarity -
            :ARG0 (p / person
                  :name (n / name
                        :op1 "John"))
            :ARG1 (w / work-01)))

ODRL obtenu :

@base <http://https://tenet.tetras-libre.fr/demo/clara/03//factoid> .
@prefix ns1: <http://www.w3.org/ns/odrl/2/> .

<https://tenet.tetras-libre.fr/extract-result#policy_truc-01> ns1:prohibition """[  
        odrl:assignee <http://example.com/asset:John.person> ; 
        odrl:action cc:Reproduction ]""" .

Exemple 3

Phrase : "John is obligated not to reproduce the Work" (John is prohibited to reproduce the Work)

AMR :

(o / obligate-01
      :ARG1 (p / person
            :name (n / name
                  :op1 "John"))
      :ARG2 (r / reproduce-01
            :polarity -
            :ARG0 p
            :ARG1 (w / work-01)))

ODRL obtenu :

@base <http://https://tenet.tetras-libre.fr/demo/clara/03//factoid> .
@prefix ns1: <http://www.w3.org/ns/odrl/2/> .

<https://tenet.tetras-libre.fr/extract-result#policy_truc-01> ns1:obligation """[  
        odrl:assignee <http://example.com/asset:John.person> ; 
        odrl:action cc:Reproduction ]""" .