Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) (Q948503)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\)
scientific article

    Statements

    Satisfiability and reasoning mechanism of terminological cycles in description logic \(v\mathcal L\) (English)
    0 references
    0 references
    0 references
    0 references
    16 October 2008
    0 references
    description logic
    0 references
    terminological cycles
    0 references
    description graph
    0 references
    model
    0 references
    0 references
    0 references
    0 references

    Identifiers