From 5b38cd3a4427f59834426f59d975fb8f6513c7a4 Mon Sep 17 00:00:00 2001 From: josd Date: Thu, 12 Dec 2024 23:13:38 +0100 Subject: [PATCH] refreshing --- reasoning/deontic/deontic-query.n3 | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/reasoning/deontic/deontic-query.n3 b/reasoning/deontic/deontic-query.n3 index ab8493cdf..44d066b02 100644 --- a/reasoning/deontic/deontic-query.n3 +++ b/reasoning/deontic/deontic-query.n3 @@ -3,6 +3,6 @@ @prefix log: . # query -{ ?Q log:isObligatoryIn ?W } log:query { ?Q log:isObligatoryIn ?W }. -{ ?Q log:isPermittedIn ?W } log:query { ?Q log:isPermittedIn ?W }. -{ ?Q log:isForbiddenIn ?W } log:query { ?Q log:isForbiddenIn ?W }. +{ ?Q log:isObligatoryIn ?W } => { ?Q log:isObligatoryIn ?W }. +{ ?Q log:isPermittedIn ?W } => { ?Q log:isPermittedIn ?W }. +{ ?Q log:isForbiddenIn ?W } => { ?Q log:isForbiddenIn ?W }.