Add rdf_star stream option

Jelly-RDF/jelly-jvm#26
Jelly-RDF · Sep 16, 2023 · 824931d · 824931d
1 parent 6cc9d30
commit 824931d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/rdf.proto b/rdf.proto
@@ -100,6 +100,8 @@ message RdfStreamOptions {
   bool generalized_statements = 3;
   // Whether RdfRepeat will be used
   bool use_repeat = 4;
+  // Whether the stream may contain RDF-star statements
+  bool rdf_star = 5;
   // Prefix tables
   uint32 max_name_table_size = 9;
   uint32 max_prefix_table_size = 10;