Computational complexity of terminological reasoning in BACK (Q1104128)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Computational complexity of terminological reasoning in BACK
scientific article

    Statements

    Computational complexity of terminological reasoning in BACK (English)
    0 references
    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 references
    0 references
    0 references
    0 references

    Identifiers