Working notes of the ISWC-04 Workshop on Meaning Coordination and Negotiation (MCN-04)
نویسندگان
چکیده
We address the problem of semantic coordination, namely finding an agreement between the meanings of heterogeneous semantic models. We propose a new approximation method to discover and assess the “strength” (preciseness) of semantic mappings between concepts from different concept hierarchies. We apply this method in the music domain. We present the results of preliminary tests on mapping two music concept hierarchies from actual sites on the Internet.
منابع مشابه
Is Strategic Programming a Viable Paradigm?
This discussion paper for the Workshop on Reduction Strategies in Programming and Rewriting (WRS’01) speculates on the viability of strategic programming in mainstream programming and in two selected application areas: theorem proving and programming-in-the-large.
متن کاملLearners’ Engagement in Meaning Negotiation and Classroom Interaction as a Function of Their Perceptions of Teachers’ Instructional Communicative Behaviors
A significant share of classroom interaction occurs between teachers and language learners. Therefore, the individual characteristics of teachers could play facilitative or impeding roles thus encouraging or discouraging learners from getting engaged in interaction and meaning negotiation attempts when interacting with their teachers. Surprisingly however, this area has attracted scant attentio...
متن کاملMechanical Software Verification: High Level Control Aspects from a User's Perspective
Strategies are almost ubiquitous in automated deduction and reasoning systems, yet only recently have they been studied in their own right. The workshop aims at making progress towards a deeper understanding of the nature of strategies and search plans, their description, properties, and usage, especially, but not exclusively, in theorem proving and model building. It provides a common forum fo...
متن کاملIntersection Types and Computational Rules
The invariance of the meaning of a λ-term by reduction/expansion w.r.t. the considered computational rules is one of the minimal requirements one expects to hold for a λ-model. Being the intersection type systems a general framework for the study of semantic domains for the Lambda-calculus, the present paper provides a characterisation of “meaning invariance” in terms of characterisation result...
متن کاملPeer-Assessment and Student-Driven Negotiation of Meaning: Two Ingredients for Creating Social Presence in Online EFL Social Contexts
With the current availability of state-of-the-art technology, particularly the Internet, people have expanded their channels of communication. This has similarly led to many people utilizing technology to learn second/foreign languages. Nevertheless, many current computer-assisted language learning (CALL) programs still appear to be lacking in interactivity and what is termed social presence, w...
متن کامل