From 4c2481962da2891def4e7786362cbb4cb7e2b5e2 Mon Sep 17 00:00:00 2001 From: josd Date: Mon, 4 Nov 2024 13:35:30 +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 694a5bd..2ea3e20 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. -``` +```ttl # rdfs subclass _:bng_1 log:implies _:bng_2. @@ -20,7 +20,7 @@ _:bng_2 { ## Backward rules described in RDF e.g. -``` +```ttl # 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. -``` +```ttl # 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. -``` +```ttl # (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 -``` +```ttl [] rdf:value "aha"; :p :o. ```