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


Topic Maps is an excellent paradigm to support human thinking and to visualize networked information. As part of my PhD project, I therefore chose Topic Maps as the conceptual foundation for designing and implementing a software prototype for semantic knowledge retrieval.

Stefan Smolnik
Topic Maps Lab auf der Cebit 2011

Graduate from the Topic Maps Lab