diff --git a/README.md b/README.md index df9f80c..3fa6862 100644 --- a/README.md +++ b/README.md @@ -20,7 +20,7 @@ Usage: see * * ## RDF Lingua -RDF as the web lingua. +RDF TriG as the web lingua. Lingua supports reasoning with forward rules described in RDF as ``` @@ -75,7 +75,9 @@ The `var:` prefix is `` and is used for variables that are interpreted as universally quantified variables except for forward rule conclusion-only variables which are interpreted existentially. -### Lingua also supports blogic https://www.slideshare.net/PatHayes/blogic-iswc-2009-invited-talk +### Lingua supports blogic + +See https://www.slideshare.net/PatHayes/blogic-iswc-2009-invited-talk The top level surface is an implicit positive surface with implicit graffiti.