Computational complexity of terminological reasoning in BACK (Q1104128)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Computational complexity of terminological reasoning in BACK |
scientific article; zbMATH DE number 4055096
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computational complexity of terminological reasoning in BACK |
scientific article; zbMATH DE number 4055096 |
Statements
Computational complexity of terminological reasoning in BACK (English)
0 references
1988
0 references
computational complexity
0 references
subsumption
0 references
Berlin advanced computational knowledge representation system
0 references
intractable complete inference algorithm
0 references
knowledge representation systems
0 references
terminological reasoning
0 references
BACK
0 references
nontrivial description language
0 references
0.8563932
0 references
0.8551475
0 references
0.8399947
0 references
0.83997107
0 references
0.8335702
0 references
0 references
