A formal model for topic maps

P Auillans, PO de Mendez, P Rosenstiehl… - The Semantic Web …, 2002 - Springer
… The formal model we present here relies on the mathematical concept of hypergraph
introduced by Berge in the Tihany colloquium in 1966 [7] (see also [6,8,10,11,18,24]). Properties of …

[PDF][PDF] The TAO of topic maps

S Pepper - Proceedings of XML Europe, 2000 - xml.coverpages.org
… Topics, Associations and Occurrences are also the key constructs in the topic map model
(hence the title of this paper). But before discussing that model in more detail, let us look briefly …

[BOOK][B] XML Topic Maps: creating and using topic maps for the Web

J Park, S Hunting - 2003 - books.google.com
… This book is about topic maps, particularly topic maps implemented in the XTM Version
1.0 specification format, as conceived by the XTM Authoring Group, which was started by an …

[PDF][PDF] Xml topic maps: Finding aids for the web

M Biezunski, SR Newcomb, P Liu - IEEE MultiMedia, 2001 - xml.coverpages.org
Topic maps superimpose an external layer that describes the nature … topic maps. The
purpose of the Extensible Markup Language topic maps (XTM) initiative is to apply the topic maps

Towards a formal model for multiresolution spatial maps

E Puppo, G Dettori - International Symposium on Spatial Databases, 1995 - Springer
… We think that such a constraint is too strong to model real maps. On the other hand, it is
possible to accept features while requiring disjoint covering if isolated lines (or chains) and …

Formal semantics and analysis tasks for ME-MAP models

A Maraee, A Sturm - 2017 11th International Conference on …, 2017 - ieeexplore.ieee.org
… the semantics of the ME-MAP model. Such generalization as discussed before would … formal
semantics of the ME-MAP model. We first start with the abstract syntax of the ME-MAP model

A formal instructional model based on Concept Maps

G Adorni, D Brondo, G Vivanet - Journal of e-Learning and …, 2009 - learntechlib.org
… According to ISO definition, a topic is a symbol used within a topic map to represent one (…
This application uses Educational Concept Maps, based on Topic Maps standards, for the …

Mappings, maps and tables: Towards formal semantics for associations in UML2

Z Diskin, J Dingel - International Conference on Model Driven Engineering …, 2006 - Springer
… Section 4 presents an accurate formal model and sets the stage for our discussion of what is
… to compare our formal model of associations specified in Fig. 3 with the UML model (Fig. 1). …

A formal model for mobile map adaptation

M Raubal, I Panov - Location based services and telecartography II: From …, 2009 - Springer
… In particular, the formal model in this work serves as a rigorous basis for further development
of a formal framework to design and evaluate context-aware services. We made various …

A formal model of cognitive synergy

B Goertzel - … Intelligence: 10th International Conference, AGI 2017 …, 2017 - Springer
model doesn’t resolve a solution to the problem, then sometimes “just doing it” is the right
approach – which means mapping the problem the self-model… , it may map the problem into the …