From bf0305da12788327aa2e657b4266cfc85d1f3186 Mon Sep 17 00:00:00 2001 From: josd Date: Mon, 4 Nov 2024 13:48:12 +0100 Subject: [PATCH] using examples in README.md --- README.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index f43caae..694a5bd 100644 --- a/README.md +++ b/README.md @@ -4,7 +4,7 @@ Proofpackets are proofs described in RDF supported by logic described in RDF. ## Forward rules described in RDF e.g. -```shell +``` # rdfs subclass _:bng_1 log:implies _:bng_2. @@ -20,7 +20,7 @@ _:bng_2 { ## Backward rules described in RDF e.g. -```shell +``` # is the age of a person above some duration? _:bng_1 log:isImpliedBy _:bng_2. @@ -38,7 +38,7 @@ _:bng_2 { ## Queries described in RDF e.g. -```shell +``` # query for people above 80 years old _:bng_3 log:query _:bng_3. @@ -49,7 +49,7 @@ _:bng_3 { ## Proofs described in RDF e.g. -```shell +``` # (rule instantiated_premise) log:proves instantiated_conclusion. (_:bng_1 _:bng_2) log:proves _:bng_3. @@ -81,6 +81,6 @@ variables that are interpreted as universally quantified variables except for forward rule conclusion-only variables which are interpreted existentially. Literal subjects are described as -```shell +``` [] rdf:value "aha"; :p :o. ```