Varve.Sparql.Entailment 0.1.0-preview.20

.NET 10.0 This package targets .NET 10.0. The package is compatible with this framework or higher.
This is a prerelease version of Varve.Sparql.Entailment. 
dotnet add package Varve.Sparql.Entailment --version 0.1.0-preview.20
                    


                    

                
NuGet\Install-Package Varve.Sparql.Entailment -Version 0.1.0-preview.20
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="Varve.Sparql.Entailment" Version="0.1.0-preview.20" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
<PackageVersion Include="Varve.Sparql.Entailment" Version="0.1.0-preview.20" />
                    


                            Directory.Packages.props
                        

                    

                
<PackageReference Include="Varve.Sparql.Entailment" />
                    


                            Project file
For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package. 
paket add Varve.Sparql.Entailment --version 0.1.0-preview.20
                    


                    

                
#r "nuget: Varve.Sparql.Entailment, 0.1.0-preview.20"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
#:package Varve.Sparql.Entailment@0.1.0-preview.20
#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package. 
#addin nuget:?package=Varve.Sparql.Entailment&version=0.1.0-preview.20&prerelease
                    


                            Install as a Cake Addin
                        

                    

                
#tool nuget:?package=Varve.Sparql.Entailment&version=0.1.0-preview.20&prerelease
                    


                            Install as a Cake Tool

Varve.Sparql.Entailment

SPARQL 1.1 Entailment Regimes by query rewriting: the RDF, RDFS and D regimes answered by simple evaluation of a rewritten query, nothing materialised.

  • The TBox merged into every graph. Each graph is read merged with the TBox graphs of the binding that covers it (TBoxCover), through a view of the caller's source, so a graph the caller cannot read lends nothing.
  • The schema by probes. A scoping graph's schema is saturated by bound probes to a fixpoint, never by a scan of the data, and kept in a SchemaCache while the graphs it merges keep their versions.
  • Complete for the three regimes, under conditions C1 and C2 and the multiplicity rule: each basic graph pattern becomes the union of the asserted patterns that entail it, the branches that add nothing pruned.
  • Two shapes cost what their answers do: ?s ?p ?o and ?x a rdfs:Resource. A triple about the vocabulary itself makes a schema read its graph whole; FullReads names the graphs that hold one.
  • D by value, with Varve.Xsd's datatype map, through two extension functions a host registers (LiteralValues).
EntailedQuery entailed = EntailmentRewriter.Rewrite(
    query, source, [new TBoxCover([tbox], GraphScope.All)], EntailmentRegime.Rdfs, schemas: cache);

using QueryResults results = new SparqlEvaluator().Evaluate(entailed.Query, entailed.Source);

Layer 3 of Varve, a .NET-native event-sourced RDF store and SPARQL toolkit. MPL-2.0.

Product Compatible and additional computed target framework versions.
.NET net10.0 is compatible.  net10.0-android was computed.  net10.0-browser was computed.  net10.0-ios was computed.  net10.0-maccatalyst was computed.  net10.0-macos was computed.  net10.0-tvos was computed.  net10.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages (1)

Showing the top 1 NuGet packages that depend on Varve.Sparql.Entailment:

Package Downloads
Varve.Protocol

SPARQL 1.1 Protocol, Graph Store Protocol, service description, time travel, change feed and diff over HTTP for a Varve store, as ASP.NET Core endpoint groups.

GitHub repositories

This package is not used by any popular GitHub repositories.

Version Downloads Last Updated
0.1.0-preview.20 51 11/10/2026
0.1.0-preview.19 54 11/6/2026
0.1.0-preview.18 58 11/6/2026