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


In Musica migrans we mapped the life courses of musicians in the 19th century. Topic Maps provides us the flexibility we need to model the diversity in the lives of the artists.

Lutz Maicher
Musica Migrans
Topic Maps Lab auf der Cebit 2011

Graduate from the Topic Maps Lab