diff --git a/README.md b/README.md index c68ad75..9bc7e47 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ # Reasongraphs -## Reasongraphs are proofs in RDF supported by reasoning and querying in RDF +## Reasongraphs are proofs described in RDF supported by logic described in RDF ### Reasoning with forward rules described in RDF as ```