Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\) (Q631080)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
scientific article

    Statements

    Identifiers