![]() |
VOOZH | about |
dotnet add package DagSemTools.AlcTableau --version 0.0.7-prerelease
NuGet\Install-Package DagSemTools.AlcTableau -Version 0.0.7-prerelease
<PackageReference Include="DagSemTools.AlcTableau" Version="0.0.7-prerelease" />
<PackageVersion Include="DagSemTools.AlcTableau" Version="0.0.7-prerelease" />Directory.Packages.props
<PackageReference Include="DagSemTools.AlcTableau" />Project file
paket add DagSemTools.AlcTableau --version 0.0.7-prerelease
#r "nuget: DagSemTools.AlcTableau, 0.0.7-prerelease"
#:package DagSemTools.AlcTableau@0.0.7-prerelease
#addin nuget:?package=DagSemTools.AlcTableau&version=0.0.7-prerelease&prereleaseInstall as a Cake Addin
#tool nuget:?package=DagSemTools.AlcTableau&version=0.0.7-prerelease&prereleaseInstall as a Cake Tool
A tableau-based reasoner for the acyclic fragment of the ALC description logic.
| 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 3 NuGet packages that depend on DagSemTools.AlcTableau:
| Package | Downloads |
|---|---|
|
DagSemTools.Rdf
For Rdf, reasoning and querying |
|
|
DagSemTools.Manchester
For outputing Manchester Owl |
|
|
DagSemTools.OWL2ALC
For Tableau reasoning over DagSemTools.OwlOntology |
This package is not used by any popular GitHub repositories.
| Version | Downloads | Last Updated |
|---|---|---|
| 0.0.7-prerelease | 832 | 12/2/2025 |
| 0.0.6-prerelease | 669 | 12/2/2025 |
| 0.0.5-prerelease | 357 | 3/15/2025 |
| 0.0.3-prerelease | 122 | 1/27/2025 |
| 0.0.2-prerelease | 130 | 1/12/2025 |