refreshing

eyereasoner · Dec 6, 2024 · 59c104c · 59c104c
1 parent 879a0e0
commit 59c104c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/reasoning/deontic/example1.n3s b/reasoning/deontic/example1.n3s
@@ -1,3 +1,5 @@
+# deontic logic example
+
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix : <urn:example:>.
 

diff --git a/reasoning/deontic/example2.n3s b/reasoning/deontic/example2.n3s
@@ -1,3 +1,5 @@
+# deontic logic example about not selling alcoholic beverages to non adults
+
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.
 @prefix : <urn:example:>.