DagSemTools.OWL2RL2Datalog
0.0.2-prerelease
This is a prerelease version of DagSemTools.OWL2RL2Datalog.
dotnet add package DagSemTools.OWL2RL2Datalog --version 0.0.2-prerelease
NuGet\Install-Package DagSemTools.OWL2RL2Datalog -Version 0.0.2-prerelease
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="DagSemTools.OWL2RL2Datalog" Version="0.0.2-prerelease" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add DagSemTools.OWL2RL2Datalog --version 0.0.2-prerelease
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: DagSemTools.OWL2RL2Datalog, 0.0.2-prerelease"
#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.
// Install DagSemTools.OWL2RL2Datalog as a Cake Addin #addin nuget:?package=DagSemTools.OWL2RL2Datalog&version=0.0.2-prerelease&prerelease // Install DagSemTools.OWL2RL2Datalog as a Cake Tool #tool nuget:?package=DagSemTools.OWL2RL2Datalog&version=0.0.2-prerelease&prerelease
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
OWL 2 RL 2 Datalog
This project is a simple translation from OWL 2 RL to Datalog, mainly using the paper DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries by ALESSIO FIORENTINO, JESSICA ZANGARI and MARCO MANNA.
It also relies heavily on the W3C standards, specifically https://www.w3.org/TR/owl2-profiles/
Copyright
The abstract rules are copyright W3C. The translation to datalog is copyright Dag Hovland
Product | Versions Compatible and additional computed target framework versions. |
---|---|
.NET | net8.0 is compatible. net8.0-android was computed. net8.0-browser was computed. net8.0-ios was computed. net8.0-maccatalyst was computed. net8.0-macos was computed. net8.0-tvos was computed. net8.0-windows was computed. net9.0 was computed. net9.0-android was computed. net9.0-browser was computed. net9.0-ios was computed. net9.0-maccatalyst was computed. net9.0-macos was computed. net9.0-tvos was computed. net9.0-windows was computed. |
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.
-
net8.0
- DagSemTools.Datalog (>= 0.0.2-prerelease)
- DagSemTools.ELI (>= 0.0.2-prerelease)
- DagSemTools.OwlOntology (>= 0.0.2-prerelease)
- DagSemTools.RdfOwlTranslator (>= 0.0.2-prerelease)
- Faqt (>= 4.4.0)
- FSharp.Core (>= 8.0.403)
- IriTools (>= 2.2.0)
NuGet packages (1)
Showing the top 1 NuGet packages that depend on DagSemTools.OWL2RL2Datalog:
Package | Downloads |
---|---|
DagSemTools.Api
For Rdf, reasoning and querying |
GitHub repositories
This package is not used by any popular GitHub repositories.
Version | Downloads | Last updated |
---|---|---|
0.0.2-prerelease | 38 | 1/12/2025 |