An overview of tableau algorithms for description logics (Q5955620): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Created claim: Wikidata QID (P12): Q56771043, #quickstatements; #temporary_batch_1711094041063
 
(4 intermediate revisions by 2 users not shown)
Property / describes a project that uses
 
Property / describes a project that uses: KL-ONE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: ICOM / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: FaCT++ / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q56771043 / rank
 
Normal rank

Latest revision as of 15:02, 22 March 2024

scientific article; zbMATH DE number 1705610
Language Label Description Also known as
English
An overview of tableau algorithms for description logics
scientific article; zbMATH DE number 1705610

    Statements

    An overview of tableau algorithms for description logics (English)
    0 references
    0 references
    0 references
    14 February 2002
    0 references
    description logics
    0 references
    tableau algorithms
    0 references
    0 references
    0 references
    0 references

    Identifiers

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