Abstract
Topic maps have been developed in order to represent the structures of relationships between subjects, independently of resources documenting them, and to allow standard representation and interoperability of such structures. The ISO 13250 XTM specification [2] have provided a robust syntactic XML representation allowing processing and interchange of topic maps. But topic maps have so far suffered from a lack of formal description, or conceptual model. We propose here such a model, based on the mathematical notions of hypergraph and connexity. This model addresses the critical issue of topic map organization in semantic layers, and provides ways to check semantic consistency of topic maps. Moreover, it seems generic enough to be used as a foundation for other semantic standards, like RDF [3].
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
PMTM4, a processing model for XML Topic Maps, http://www.topicmaps.net/pmtm4.htm, S. Newcomb and M. Biezunski (eds).
ISO/IEC 13250 topic maps, http://www.y12.doe.gov/sgml/sc34/document/0129.pdf, 1999, (since decembre 2001, the DTD of XTM 1.0 is included within the ISO 13250 specification).
Resource Description Framework (RDF) model and syntax specification, http://www.w3.org/TR/REC-rdf-syntax/, 1999, O. Lassila and R.R. Swick (eds).
Topic map foundational model requirements, http://www.y12.doe.gov/sgml/sc34/document/0266.htm, 2001, G. Moore and L.M. Garshol (eds).
XML Topic Maps (XTM) 1.0, http://www.topicmaps.org/xtm/1.0/, 2001, S. Pepper and G. Moore (eds).
C. Berge, Sur certains hypergraphes généralisant les graphes bipartis, Combinatorial Theory and its Applications (A. Rényi P. Erdös and V.T. Sös, eds.), North-Holland, 1970, pp. 119–133.
-, Graphes et hypergraphes, second ed., Dunod, Paris, 1973.
-, Hypergraphs, combinatorics of finite sets, North-Holland, 1989, (translation of Hypergraphes, Combinatoire des Ensembles Finis (Gauthier-Villars, Paris, 1987).
R. Cori and A. Machì, Maps, hypermaps and their automorphisms, Expo. Math. 10 (1992), 403–467.
P. Duchet, Hypergraphs, Handbook of Combinatorics (R.L. Graham, M. Grötschel, and L. Lovász, eds.), vol. 1, Elsevier, 1995, pp. 381–432.
P. Erdös and A. Hajnal, On chromatic number of graphs and set-systems, Acta Math. Acad. Sci. Hungar. 17 (1966), 61–99.
Z. Füredi, Matching and covers in hypergraphs, Graphs and Combinatorics 4 (1988), 115–206.
P. Hayes, RDF model theory, http://www.w3.org/TR/rdf-mt/, 2001.
D.S. Johnson and H.O. Pollak, Hypergraph planarity and the complexity of drawing Venn diagrams, Journal of Graph Theory 11 (1987), 309–325.
W. Klonowski, Probabilistic-topological theory of systems with discrete intercations. I. system representation by a hypergraph, Can. J. Phys. 66 (1989), 1051–1060.
-, Probabilistic-topological theory of systems with discrete intercations. II. calculation of the hypergraph probabilistic representation; the difference a posteriori algorithm, Can. J. Phys. 66 (1989), 1061–1067.
H. Laborit, La nouvelle grille, Laffont, 1974.
L. Lovász, Combinatorial problems and exercises, Akadémiai Kiadó /North-Holland, 1979.
P. Ossona de Mendez, Representation of hypergraphs by contact of segments, Conférence Internationale “Graphe et Combinatoire”, 1995.
-, Combinatorial hypermaps vs topic maps, XML Europe 2001, 2001, http://www.gca.org/papers/xmleurope2001/papers/html/s23-1.html.
H. Tonneau, The Pliant project, http://pliant.cx.
B. Vatant, SolSysTM, a solar system topic map, http://www.universimmedia.com/topicmaps/solsystm.xml.
T.R.S. Walsh, Hypermaps versus bipartite maps, J. Combinatorial Theory 18(B) (1975), 155–163.
A.A. Zykov, Hypergraphs, Uspeki Mat. Nauk 6 (1974), 89–154.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Auillans, P., de Mendez, P.O., Rosenstiehl, P., Vatant, B. (2002). A Formal Model for Topic Maps. In: Horrocks, I., Hendler, J. (eds) The Semantic Web — ISWC 2002. ISWC 2002. Lecture Notes in Computer Science, vol 2342. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48005-6_8
Download citation
DOI: https://doi.org/10.1007/3-540-48005-6_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43760-4
Online ISBN: 978-3-540-48005-1
eBook Packages: Springer Book Archive