[Back]


Contributions to Proceedings:

G. Salzer, R. Barta:
"The τ model, fomalizing topic maps";
in: "Proceedings of the 2nd-Asia-Pacific conference on Conceptual modelling", issued by: Australian Computer Society; Australian Computer Society, Darlinghurst, Australia, 2005, ISSN: 1445-1336, 37 - 42.



English 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.

Keywords:
Knowledge Engineering, Semantic Web, Topic Maps


Electronic version of the publication:
http://publik.tuwien.ac.at/files/pub-inf_4572.pdf


Created from the Publication Database of the Vienna University of Technology.