Using tableau to decide description logics with full role negation and identity (Q5410334): Difference between revisions

From MaRDI portal
Changed an Item
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: E Theorem Prover / rank
 
Normal rank

Revision as of 23:55, 29 February 2024

scientific article; zbMATH DE number 6285713
Language Label Description Also known as
English
Using tableau to decide description logics with full role negation and identity
scientific article; zbMATH DE number 6285713

    Statements

    Using tableau to decide description logics with full role negation and identity (English)
    0 references
    0 references
    0 references
    16 April 2014
    0 references
    Boolean modal logic
    0 references
    blocking
    0 references
    completeness
    0 references
    complexity
    0 references
    decidability
    0 references
    description logic
    0 references
    identity role
    0 references
    role negation
    0 references
    tableau-based reasoning
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references