An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928)
From MaRDI portal
scientific article; zbMATH DE number 7355381
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ |
scientific article; zbMATH DE number 7355381 |
Statements
An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (English)
0 references
4 June 2021
0 references
reasoners for description logics
0 references
consistency
0 references
classification problems
0 references
conjunctive query answering problem
0 references
KE-tableau systems
0 references
semantic web
0 references
automated reasoning
0 references
computable set theory
0 references
0 references
