Two-variable logic on data trees and XML reasoning

    PODS, pp. 10-19, 2006.

    Cited by: 217|Bibtex|Views21|Links
    EI
    Keywords:
    satisfiability problemtwo-variable logicxml languagexml reasoningdata-aware fragmentMore(10+)

    Abstract:

    Motivated by reasoning tasks in the context of XML languages, the satisfiability problem of logics on data trees is investigated. The nodes of a data tree have a label from a finite set and a data value from a possibly infinite set. It is shown that satisfiability for two-variable first-order logic is decidable if the tree structure can b...More

    Code:

    Data:

    Your rating :
    0

     

    Best Paper
    Best Paper of PODS, 2006
    Tags
    Comments