refreshing

reasoning/nand/README

@@ -4,10 +4,10 @@ NAND
 
 Expressing nand as { triples } => false.
 
-We express the NAND logic in nand.n3 just like we do for instance for
-RDFS, OWL, Fuzzy logic, ... The exception is RDF Surfaces where we 
-embedded those rules inside the reasoner and we should take them out
-again: first to make valid proofs and second to be able to use
-reasoning to select rules and queries for other reasoning runs.
+We define NAND logic in nand.n3 similarly to how we define other logic 
+systems, such as RDFS, OWL, Fuzzy Logic, etc. This approach serves two 
+main purposes: first, to enable the generation of valid proofs, and 
+second, to facilitate the selection of rules and queries for subsequent 
+reasoning processes.
 
 The tests are from Patric Hochstenbach.