Skip to main content
SpringerLink
Log in

Towards a Formal TMQL Semantics

  • Conference paper
Leveraging the Semantics of Topic Maps (TMRA 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4438))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barta, R.: TMQL preview, Bond University, Technical Report (2006), http://topicmap.bond.edu.au/docs/41/toc

  2. Barta, R., Heuer, L.: A TMDM Disclosure using Tau. In: Maicher, L., Park, J. (eds.) TMRA 2005. LNCS (LNAI), vol. 3873, Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. Garshol, L.M., Barta, R.: Iso 18048: Topic maps query language (tmql) - draft. JTC1/SC34 SC34/WG3 (2006), http://topicmap.bond.edu.au/junk/tmql.pdf

  4. Garshol, L.M., Moore, G.: ISO, 13250-2: Topic Maps - data model (2003-11-02), http://www.isotopicmaps.org/sam/

  5. Newcomb, S.R., Durusau, P., Barta, R.: ISO/IEC JTC1/SC34, Topic Maps - reference model, editor’s draft (2006), http://www.isotopicmaps.org/tmrm/

  6. Pepper, S.: The TAO of Topic Maps, XML Europe 2000 (2000), http://www.gca.org/papers/xmleurope2000/papers/s11-01.html

Download references

Author information

Authors and Affiliations

  1. Bond University, School of Information Technology,  

    Robert Barta

Authors
  1. Robert Barta
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Lutz Maicher Alexander Sigel Lars Marius Garshol

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barta, R. (2007). Towards a Formal TMQL Semantics. In: Maicher, L., Sigel, A., Garshol, L.M. (eds) Leveraging the Semantics of Topic Maps. TMRA 2006. Lecture Notes in Computer Science(), vol 4438. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71945-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-71945-8_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-71944-1

  • Online ISBN: 978-3-540-71945-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation