An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ (Q5259302)

From MaRDI portal
scientific article; zbMATH DE number 6451176
Language Label Description Also known as
English
An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ
scientific article; zbMATH DE number 6451176

    Statements

    An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ (English)
    0 references
    26 June 2015
    0 references
    automated reasoning
    0 references
    description logics
    0 references
    global state caching
    0 references
    integer linear feasibility
    0 references

    Identifiers

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