From e7f1537492832408c40d1b21827da4bdf8c666ed Mon Sep 17 00:00:00 2001 From: josd Date: Fri, 18 Oct 2024 22:50:23 +0200 Subject: [PATCH] further support for reasoning/n3plus1 (N3 plus increments like RDF 1.1, RDF 1.2, functional terms, ...) --- reasoning/n3plus1/in.n3 | 22 ++++++++++++++++++---- 1 file changed, 18 insertions(+), 4 deletions(-) diff --git a/reasoning/n3plus1/in.n3 b/reasoning/n3plus1/in.n3 index a229ad1f7..662a26eac 100644 --- a/reasoning/n3plus1/in.n3 +++ b/reasoning/n3plus1/in.n3 @@ -52,7 +52,21 @@ _:i { (~ :s (~ :s 0)) a :PeanoNumber. :tom a (~ :good :Pilot). -# query -{ ?S ?P ?O } =^ { ?S ?P ?O }. -{ ?S graph:statement ?O } =^ { ?S graph:statement ?O }. -{ ?S => ?O } =^ { ?S => ?O }. +# queries +{ + ?S ?P ?O. +} =^ { + ?S ?P ?O. +}. + +{ + ?S graph:statement ?O. +} =^ { + ?S graph:statement ?O. +}. + +{ + ?S => ?O. +} =^ { + ?S => ?O. +}.