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 the normal view instead:
scientific article; zbMATH DE number 4055096
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.82589895
0 references
