Two-variable logic on data trees and XML reasoning
PODS, pp. 10-19, 2006.
satisfiability problemtwo-variable logicxml languagexml reasoningdata-aware fragmentMore(10+)
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
Best Paper of PODS, 2006