Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Intelligent Tableau Algorithm for DL Reasoning - MaRDI portal

Intelligent Tableau Algorithm for DL Reasoning (Q2851951)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Intelligent Tableau Algorithm for DL Reasoning
scientific article

    Statements

    title
    Intelligent Tableau Algorithm for DL Reasoning (English)
    0 references
    author
    Ming Zuo
    0 references
    Volker Haarslev
    0 references
    publication date
    4 October 2013
    0 references
    zbMATH Keywords
    description logic
    0 references
    automated reasoning
    0 references
    learning
    0 references
    forgetting
    0 references
    describes a project that uses
    SATLIB Benchmark Suite
    0 references
    FaCT++
    0 references
    Pellet
    0 references
    Racer
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    68T05
    0 references
    68T27
    0 references
    zbMATH DE Number
    6213581
    0 references
    OpenAlex ID
    W235840106
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2851951&oldid=32848642"
    Powered by MediaWiki