Practical reasoning for very expressive description logics (Q4487262)

From MaRDI portal
scientific article; zbMATH DE number 1463110
Language Label Description Also known as
English
Practical reasoning for very expressive description logics
scientific article; zbMATH DE number 1463110

    Statements

    Practical reasoning for very expressive description logics (English)
    0 references
    0 references
    0 references
    0 references
    28 August 2001
    0 references
    description logic
    0 references
    modal logic
    0 references
    automated reasoning
    0 references
    tableaux algorithm
    0 references
    knowledge representation
    0 references
    satisfiability
    0 references
    decidability
    0 references
    computational experiments
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references