Putting ABox Updates into Action (Q3655202)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Putting ABox Updates into Action
scientific article

    Statements

    title
    Putting ABox Updates into Action (English)
    0 references
    author
    Conrad Drescher
    0 references
    Hongkai Liu
    0 references
    Franz Baader
    0 references
    Steffen Guhlemann
    0 references
    Uwe Petersohn
    0 references
    Peter Steinke
    0 references
    Michael Thielscher
    0 references
    publication date
    7 January 2010
    0 references
    zbMATH DE Number
    5654240
    0 references
    describes a project that uses
    MiniSat
    0 references
    z3
    0 references
    Pellet
    0 references
    OTTER
    0 references
    GOLOG
    0 references
    OpenAlex ID
    W1866063254
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3655202&oldid=35145785"
    Powered by MediaWiki