Skip to content

Commit

Permalink
refreshing
Browse files Browse the repository at this point in the history
  • Loading branch information
@josd
josd committed Dec 13, 2024
1 parent 213d876 commit 9296a89
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions reasoning/nand/README
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,10 @@ NAND

Expressing nand as { triples } => false.

We express the intended NAND logic explicitly 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 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.

The tests are from Patric Hochstenbach.

0 comments on commit 9296a89

Please sign in to comment.