Generalized satisfiability for the description logic \(\mathcal{ALC}\) (Q393137)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Generalized satisfiability for the description logic \(\mathcal{ALC}\)
scientific article

    Statements

    Generalized satisfiability for the description logic \(\mathcal{ALC}\) (English)
    0 references
    0 references
    0 references
    16 January 2014
    0 references
    satisfiability
    0 references
    ontologies
    0 references
    \(\mathcal{ALC}\)
    0 references
    complexity
    0 references
    Post's lattice
    0 references
    description logic
    0 references

    Identifiers

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