Towards a formal TMQL semantics

Date of this Version


Document Type

Conference Paper

Publication Details

Interim status: Citation only.

Barta, R. (2006). Towards a formal TMQL semantics. Paper presented at the Second International Conference on Topic Maps Research and Applications, TMRA 2006, "Leveraging the Semantics", Leipzig, Germany.

Access the conference website.

Access the publisher's website.

2006 HERDC submission.

© Copyright Springer-Verlag Berlin Heidelberg 2007


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.

This document is currently not available here.



This document has been peer reviewed.