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. © Springer-Verlag Berlin Heidelberg 2007.
Cite
CITATION STYLE
Barta, R. (2007). Towards a formal TMQL semantics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4438 LNAI, pp. 90–106). Springer Verlag. https://doi.org/10.1007/978-3-540-71945-8_10
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
