Title
Towards a formal TMQL semantics
Date of this Version
10-11-2006
Document Type
Conference Paper
Abstract
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.
COinS
This document is currently not available here.
This document has been peer reviewed.
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