diff --git a/reasoning/n3plus1/README b/reasoning/n3plus1/README index 82b663445..138bf754e 100644 --- a/reasoning/n3plus1/README +++ b/reasoning/n3plus1/README @@ -2,4 +2,4 @@ N3 plus 1 --------- -N3 plus increments like RDF 1.1, RDF 1.2, functional terms, ... +N3 plus increments like RDF 1.1, RDF 1.2, compound terms, ... diff --git a/reasoning/n3plus1/in.n3 b/reasoning/n3plus1/in.n3 index c5ea2cc1d..212284a29 100644 --- a/reasoning/n3plus1/in.n3 +++ b/reasoning/n3plus1/in.n3 @@ -48,6 +48,9 @@ _:i { {| :from 1964; :to 1975 |} {| :from 1980; :to 2001 |} . +# compound terms +:sss :ppp ^(:fff :aaa :bbb :ccc). + # queries { ?S ?P ?O. diff --git a/reasoning/n3plus1/out.n3 b/reasoning/n3plus1/out.n3 index 3ab511080..df5aa8434 100644 --- a/reasoning/n3plus1/out.n3 +++ b/reasoning/n3plus1/out.n3 @@ -20,6 +20,7 @@ _:bn_1 :q2 "B". << :liz :marriedTo :richard ~ _:bne_34 >> :from 1980 . << :liz :marriedTo :richard ~ _:bne_31 >> :to 1975 . << :liz :marriedTo :richard ~ _:bne_34 >> :to 2001 . +:sss :ppp ^(:fff :aaa :bbb :ccc). _:e_g_1 { :s :p _:e_x_1. diff --git a/reasoning/n3plus1/test b/reasoning/n3plus1/test index 0dd50167f..3675580ff 100755 --- a/reasoning/n3plus1/test +++ b/reasoning/n3plus1/test @@ -1,2 +1,2 @@ #!/bin/bash -eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope --rdf-star-output https://eyereasoner.github.io/eye/reasoning/n3plus1/in.n3 --output out.n3 +eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope --rdf-trig-output https://eyereasoner.github.io/eye/reasoning/n3plus1/in.n3 --output out.n3