EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies (Q5434485)

From MaRDI portal
scientific article; zbMATH DE number 5223551
Language Label Description Also known as
English
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
scientific article; zbMATH DE number 5223551

    Statements

    EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies (English)
    0 references
    0 references
    0 references
    4 January 2008
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references