The τ model, formalizing topic maps

Authors:
Robert Barta;Gernot Salzer
Affiliations:
Bond University, Gold Coast, Australia;Institut für Computersprachen, Vienna, Austria
Venue:
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Year:
2005

Citing 3
Cited 3

Knowledge representation: logical, philosophical and computational foundations

Knowledge representation: logical, philosophical and computational foundations
Navigating haystacks and discovering needles: introducing the new topic map standard

Markup Languages
The Description Logic Handbook

The Description Logic Handbook

On Path-Centric Navigation and Search Techniques for Personal Knowledge Stored in Topic Maps

Scaling Topic Maps
Introducing reasoning into an industrial knowledge management tool

Applied Intelligence
A TMDM disclosure using T+

TMRA'05 Proceedings of the First international conference on Charting the Topic Maps Research and Applications Landscape

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formalization for Topic Maps (TM). We first simplify TMRM, the current ISO standard proposal for a TM reference model and then characterize topic map instances. After defining a minimal merging operator for maps we propose a formal foundation for a TM query language. This path expression language allows us to navigate through given topic maps and to extract information. We also show how such a language can be the basis for a more industrial version of a query language and how it may serve as foundation for a constraint language to define TM-based ontologies.