![]() |
VOOZH | about |
dotnet add package DagSemTools.OWL2RL2Datalog --version 0.0.7-prerelease
NuGet\Install-Package DagSemTools.OWL2RL2Datalog -Version 0.0.7-prerelease
<PackageReference Include="DagSemTools.OWL2RL2Datalog" Version="0.0.7-prerelease" />
<PackageVersion Include="DagSemTools.OWL2RL2Datalog" Version="0.0.7-prerelease" />Directory.Packages.props
<PackageReference Include="DagSemTools.OWL2RL2Datalog" />Project file
paket add DagSemTools.OWL2RL2Datalog --version 0.0.7-prerelease
#r "nuget: DagSemTools.OWL2RL2Datalog, 0.0.7-prerelease"
#:package DagSemTools.OWL2RL2Datalog@0.0.7-prerelease
#addin nuget:?package=DagSemTools.OWL2RL2Datalog&version=0.0.7-prerelease&prereleaseInstall as a Cake Addin
#tool nuget:?package=DagSemTools.OWL2RL2Datalog&version=0.0.7-prerelease&prereleaseInstall as a Cake Tool
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/
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 net8.0 is compatible. net8.0-android net8.0-android was computed. net8.0-browser net8.0-browser was computed. net8.0-ios net8.0-ios was computed. net8.0-maccatalyst net8.0-maccatalyst was computed. net8.0-macos net8.0-macos was computed. net8.0-tvos net8.0-tvos was computed. net8.0-windows net8.0-windows was computed. net9.0 net9.0 was computed. net9.0-android net9.0-android was computed. net9.0-browser net9.0-browser was computed. net9.0-ios net9.0-ios was computed. net9.0-maccatalyst net9.0-maccatalyst was computed. net9.0-macos net9.0-macos was computed. net9.0-tvos net9.0-tvos was computed. net9.0-windows net9.0-windows was computed. net10.0 net10.0 was computed. net10.0-android net10.0-android was computed. net10.0-browser net10.0-browser was computed. net10.0-ios net10.0-ios was computed. net10.0-maccatalyst net10.0-maccatalyst was computed. net10.0-macos net10.0-macos was computed. net10.0-tvos net10.0-tvos was computed. net10.0-windows net10.0-windows was computed. |
Showing the top 1 NuGet packages that depend on DagSemTools.OWL2RL2Datalog:
| Package | Downloads |
|---|---|
|
DagSemTools.Api
For Rdf, reasoning and querying |
This package is not used by any popular GitHub repositories.
| Version | Downloads | Last Updated |
|---|---|---|
| 0.0.7-prerelease | 822 | 12/2/2025 |
| 0.0.6-prerelease | 669 | 12/2/2025 |
| 0.0.5-prerelease | 372 | 3/15/2025 |
| 0.0.3-prerelease | 132 | 1/27/2025 |
| 0.0.2-prerelease | 155 | 1/12/2025 |