home > library > publications > towards a formal tmql semantics

close subject identifiers for Towards a Formal TMQL Semantics
  • http://www.topicmapslab.de/publications/towards_a_formal_tmql_semantics

Towards a Formal TMQL Semantics

Paper, was published by Robert Barta at 2007-09-04

This paper describes the the Topic Maps query language (TMQL).

External Link: download paper

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.


Robert Barta

No contact information available. 


Robert is project leader of Perl XTM Engine (superseeded.. and Perl TM.

Presented at

TMRA 2006

Conference in Leipzig from {{start}} to {{end}}


TMRA – the international conference series on Topic Maps Research and Applications – is a scientific and industrial forum whose main object is …

Visit homepage of TMRA 2006



is associated with {{count}} items.


TMQL is the abbreviation for Topic Maps Query Language.


Follow us on Twitter


As a former information scientist, I am fascinated since 1999 by the capabilities for building Topic Maps-based knowledge systems having the potential to augment human mind. One can model arbitrary knowledge organization systems, deal with semantic heterogeneity, collocate all facts about one subject in one logical place, and with TMQL have semantic retrieval on federated semantic networks. Therefore I expect bright prospects for business concepts building on the exchange of such knowledge snippets via semantic knowledge services.

Alexander Sigel
Topic Maps Lab auf der Cebit 2011

Graduate from the Topic Maps Lab