adding example2

eyereasoner · Dec 6, 2024 · 8010ee8 · 8010ee8
1 parent bf5c435
commit 8010ee8
Show file tree

Hide file tree

Showing 4 changed files with 781 additions and 0 deletions.
diff --git a/reasoning/deontic/example2-answer.n3s b/reasoning/deontic/example2-answer.n3s
@@ -0,0 +1,43 @@
+@prefix : <urn:example:>.
+@prefix log: <http://www.w3.org/2000/10/swap/log#>.
+
+{
+    :alcoholicBeverage :sellingTo :adult.
+} log:isPermittedIn :normativeWorld1.
+{
+    () log:onNegativeSurface {
+        :alcoholicBeverage :sellingTo :nonAdult.
+    }.
+} log:isPermittedIn :normativeWorld1.
+{
+    () log:onNegativeSurface {
+        :alcoholicBeverage :sellingTo :nonAdult.
+    }.
+} log:isPermittedIn :normativeWorld2.
+{
+    :alcoholicBeverage :sellingTo :adult.
+} log:isPermittedIn :normativeWorld2.
+{
+    :alcoholicBeverage :sellingTo :adult.
+} log:isPermittedIn :observedWorld.
+{
+    () log:onNegativeSurface {
+        :alcoholicBeverage :sellingTo :nonAdult.
+    }.
+} log:isPermittedIn :observedWorld.
+{
+    () log:onNegativeSurface {
+        :alcoholicBeverage :sellingTo :nonAdult.
+    }.
+} log:isObligatoryIn :normativeWorld1.
+{
+    () log:onNegativeSurface {
+        :alcoholicBeverage :sellingTo :nonAdult.
+    }.
+} log:isObligatoryIn :normativeWorld2.
+{
+    :alcoholicBeverage :sellingTo :nonAdult.
+} log:isForbiddenIn :normativeWorld1.
+{
+    :alcoholicBeverage :sellingTo :nonAdult.
+} log:isForbiddenIn :normativeWorld2.