DagSemTools.AlcTableau
0.0.2-prerelease
This is a prerelease version of DagSemTools.AlcTableau.
dotnet add package DagSemTools.AlcTableau --version 0.0.2-prerelease
NuGet\Install-Package DagSemTools.AlcTableau -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.AlcTableau" 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.AlcTableau --version 0.0.2-prerelease
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: DagSemTools.AlcTableau, 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.AlcTableau as a Cake Addin #addin nuget:?package=DagSemTools.AlcTableau&version=0.0.2-prerelease&prerelease // Install DagSemTools.AlcTableau as a Cake Tool #tool nuget:?package=DagSemTools.AlcTableau&version=0.0.2-prerelease&prerelease
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
ALC reasoner
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 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.Ingress (>= 0.0.2-prerelease)
- FSharp.Core (>= 8.0.403)
- IriTools (>= 2.2.0)
NuGet packages (3)
Showing the top 3 NuGet packages that depend on DagSemTools.AlcTableau:
Package | Downloads |
---|---|
DagSemTools.Rdf
For Rdf, reasoning and querying |
|
DagSemTools.Manchester.Parser
For parsing Manchester Owl |
|
DagSemTools.Manchester
For outputing Manchester Owl |
GitHub repositories
This package is not used by any popular GitHub repositories.
Version | Downloads | Last updated |
---|---|---|
0.0.2-prerelease | 40 | 1/12/2025 |