![]() |
VOOZH | about |
dotnet add package DagSemTools.ELI --version 0.0.7-prerelease
NuGet\Install-Package DagSemTools.ELI -Version 0.0.7-prerelease
<PackageReference Include="DagSemTools.ELI" Version="0.0.7-prerelease" />
<PackageVersion Include="DagSemTools.ELI" Version="0.0.7-prerelease" />Directory.Packages.props
<PackageReference Include="DagSemTools.ELI" />Project file
paket add DagSemTools.ELI --version 0.0.7-prerelease
#r "nuget: DagSemTools.ELI, 0.0.7-prerelease"
#:package DagSemTools.ELI@0.0.7-prerelease
#addin nuget:?package=DagSemTools.ELI&version=0.0.7-prerelease&prereleaseInstall as a Cake Addin
#tool nuget:?package=DagSemTools.ELI&version=0.0.7-prerelease&prereleaseInstall as a Cake Tool
This project is for representing axioms in the ELI description logic. It includes functionality to extract/filter out ELI axioms from an Owl Ontology in the DagSemTools.OwlOntology format, and for translating ELI axioms into Datalog in the DagSemTools.Datalog format.
| 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.ELI:
| Package | Downloads |
|---|---|
|
DagSemTools.OWL2RL2Datalog
For RL reasoning over DagSemTools.Datalog |
This package is not used by any popular GitHub repositories.
| Version | Downloads | Last Updated |
|---|---|---|
| 0.0.7-prerelease | 808 | 12/2/2025 |
| 0.0.6-prerelease | 656 | 12/2/2025 |
| 0.0.5-prerelease | 329 | 3/15/2025 |
| 0.0.3-prerelease | 105 | 1/27/2025 |
| 0.0.2-prerelease | 126 | 1/12/2025 |