Tableau reasoning for description logics and its extension to probabilities (Q1653448)

From MaRDI portal
Revision as of 06:54, 16 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Tableau reasoning for description logics and its extension to probabilities
scientific article

    Statements

    title
    Tableau reasoning for description logics and its extension to probabilities (English)
    0 references
    author
    Riccardo Zese
    0 references
    Elena Bellodi
    0 references
    Fabrizio Riguzzi
    0 references
    Giuseppe Cota
    0 references
    Evelina Lamma
    0 references
    publication date
    6 August 2018
    0 references
    Mathematics Subject Classification ID
    68T27
    0 references
    68N17
    0 references
    68T30
    0 references
    zbMATH DE Number
    6913831
    0 references
    zbMATH Keywords
    description logics
    0 references
    tableau
    0 references
    prolog
    0 references
    semantic web
    0 references
    describes a project that uses
    DLog
    0 references
    leanTAP
    0 references
    Pengines
    0 references
    OntoDLV
    0 references
    Pellet
    0 references
    MiniSat
    0 references
    PR-OWL
    0 references
    OpenAlex ID
    W2530494681
    0 references
    Wikidata QID
    Q58063511
    0 references
    cites work
    Q4406531
    0 references
    Q4708909
    0 references
    Probabilistic logic
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1653448&oldid=36413142"
    Powered by MediaWiki