Towards a Formal TMQL Semantics

摘要

TMQL, the upcoming standardized Topic Maps query language, may become the main work horse for semantic web applications based on the Topic Maps paradigm. While the current specification uses prose to declare the intended meaning of various language constructs, this work is an approach to a complete formal semantics. It details the static semantics as a translation from TMQL expressions into TMRM path expressions and presents for these low-level expressions a structural definition and the dynamic semantics.