Paper #32

G. Conforti, G. Ghelli "Spatial Tree Logics to reason about Semistructured Data"

Keywords: XML, semistructured data, decision problems, TQL, model checking

The Ambient Logic is a modal logic describing properties of distributed mobile computations; its static part is a spatial logic for unordered labeled trees and is a good foundation to express properties of tree-shaped data. Reasoning about constraints for XML is an active branch of research and has several applications. This paper introduces Spatial Tree Logics (Ambient Logic fragments) as formalisms for semistructured data constraint, type and query specification and reasoning.