WorldWideScience

Sample records for action semantic equivalences

  1. Semantic activation in action planning

    Lindemann, Oliver; Stenneken, Prisca; van Schie, Hein T.; Bekkering, Harold

    2006-01-01

    Four experiments investigated activation of semantic information in action preparation. Participants either prepared to grasp and use an object (e.g., to drink from a cup) or to lift a finger in association with the object's position following a go/no-go lexical-decision task. Word stimuli were cons

  2. On the equivalence of state transformer semantics and predicate transformer semantics

    Keimel, Klaus

    2014-01-01

    G. Plotkin and the author have worked out the equivalence between state transformer semantics and predicate transformer semantics in a domain theoretical setting for programs combining nondeterminism and probability. Works of C. Morgan and co-authors, Keimel, Rosenbusch and Streicher, already go in the same direction using only discrete state spaces. It is the aim of this paper to exhibit a general framework in which one can hope that state transformer semantics and predicate transformer sema...

  3. Semantical Equivalence of Process Functional and Imperative Programs

    Ján Kollár

    2004-11-01

    Full Text Available Source-to-source transformations play crucial role in weaving multiple aspects of computation in aspect languages. Except that expressing imperative programs in the uniform form of expressions simplifies these transformations, this form is useful from the viewpoint of recognizing different aspects of computation at any level of program structure. In this paper we present the relation between imperative language and PFL – a process functional language, which manipulate environment variables in a side-effect manner, still preserving a purely functional principle based on evaluating expressions. Using an example of an imperative structured program, we will show the semantical equivalence of process functional and imperative programs. As a result, fine grained PFL form for picking out potential join points in imperative programs is obtained.

  4. GIT-equivalence and diagonal actions

    Kotenkova, Polina Yu.

    2010-01-01

    We describe the GIT-equivalence classes of linearized ample line bundles for the diagonal actions of the linear algebraic groups $SL(V)$ and $SO(V)$ on ${\\mathbb{P}(V)^{m_1}\\times \\mathbb{P}(V^*)^{m_2}}$ and $\\mathbb{P}(V)^m$ respectively.

  5. Learning a Pose Lexicon for Semantic Action Recognition

    Zhou, Lijuan; Li, Wanqing; Ogunbona, Philip

    2016-01-01

    This paper presents a novel method for learning a pose lexicon comprising semantic poses defined by textual instructions and their associated visual poses defined by visual features. The proposed method simultaneously takes two input streams, semantic poses and visual pose candidates, and statistically learns a mapping between them to construct the lexicon. With the learned lexicon, action recognition can be cast as the problem of finding the maximum translation probability of a sequence of s...

  6. Orbit equivalence and actions of F

    Törnquist, Asger Dag

    2006-01-01

    In this paper we show that there are "E many" orbit inequivalent free actions of the free groups F, 2 ≤ n ≤ ∞ by measure preserving transformations on a standard Borel probability space. In particular, there are uncountably many such actions. © 2006, Association for Symbolic Logic....

  7. Verifying action semantics specifications in UML behavioral models

    Planas Hortal, Elena; Cabot Sagrera, Jordi; Gómez Seoane, Cristina

    2009-01-01

    MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment. With this purpose, Action Semantics (AS) were added to the UML specification as the fundamental unit of behavior specification. Actions are the basis for defining the fine-grained behavior of operations, activity diagrams, interaction diagrams and state machines. Unfortunately, current proposals devoted to the veri...

  8. Training Of Manual Actions Improves Language Understanding of Semantically-Related Action Sentences

    MarcoTettamanti

    2012-12-01

    Full Text Available Conceptual knowledge accessed by language may involve the re-activation of the associated primary sensory-motor processes. Whether these embodied representations are indeed constitutive to conceptual knowledge is hotly debated, particularly since direct evidence that sensory-motor expertise can improve conceptual processing is scarce. In this study, we sought for this crucial piece of evidence, by training naive healthy subjects to perform complex manual actions and by measuring, before and after training, their performance in a semantic language task. 19 participants engaged in 3 weeks of motor training. Each participant was trained in 3 complex manual actions (e.g. origami. Before and after the training period, each subject underwent a series of manual dexterity tests and a semantic language task. The latter consisted of a sentence-picture semantic congruency judgment task, with 6 target congruent sentence-picture pairs (semantically related to the trained manual actions, 6 non-target congruent pairs (semantically unrelated, and 12 filler incongruent pairs. Manual action training induced a significant improvement in all manual dexterity tests, demonstrating the successful acquisition of sensory-motor expertise. In the semantic language task, the reaction times to both target and non-target congruent sentence-image pairs decreased after action training, indicating a more efficient conceptual-semantic processing. Noteworthy, the reaction times for target pairs decreased more than those for non-target pairs, as indicated by the 2x2 interaction. These results were confirmed when controlling for the potential bias of increased frequency of use of target lexical items during manual training. The results of the present study suggest that sensory-motor expertise gained by training of specific manual actions can lead to an improvement of cognitive-linguistic skills related to the specific conceptual-semantic domain associated to the trained actions.

  9. Markovian Testing Equivalence and Exponentially Timed Internal Actions

    Bernardo, Marco

    2009-01-01

    In the theory of testing for Markovian processes developed so far, exponentially timed internal actions are not admitted within processes. When present, these actions cannot be abstracted away, because their execution takes a nonzero amount of time and hence can be observed. On the other hand, they must be carefully taken into account, in order not to equate processes that are distinguishable from a timing viewpoint. In this paper, we recast the definition of Markovian testing equivalence in the framework of a Markovian process calculus including exponentially timed internal actions. Then, we show that the resulting behavioral equivalence is a congruence, has a sound and complete axiomatization, has a modal logic characterization, and can be decided in polynomial time.

  10. Action Algebras and Model Algebras in Denotational Semantics

    Guedes, Luiz Carlos Castro; Haeusler, Edward Hermann

    the same way as that for functional denotational types. For example, PASCAL arrays belong to the “language inherent” aspect, while the Store domain seems to belong to the “model dependent” aspect. This distinction was important because it focussed attention on optimizing the model dependent semantic domains to obtain a more efficient implementation.) The research led to a nice conclusion: The guidelines of Action Semantics induce a clear separation of the model and language inherent aspects of a language’s semantics. A good implementation of facets, particularly the model dependent ones, leads to generation of an efficient compiler. In this article we discuss the separation of the language inherent and model-inherent domains at the theoretical and conceptual level. In doing so, the authors hope to show how Professor Mosses’s influence extended beyond his technical advice to his professional and personal examples on the supervision of PhD research.

  11. Short-term action intentions overrule long-term semantic knowledge

    Elk, M. van; Schie, H.T. van; Bekkering, H.

    2009-01-01

    In the present study, we investigated whether the preparation of an unusual action with an object (e.g. bringing a cup towards the eye) could selectively overrule long-term semantic representations. In the first experiment it was found that unusual action intentions activated short-term semantic goa

  12. [Semantic and conceptual equivalence of the observable indicatorsof Nursing Home Care Quality Instrument].

    Oliveira, Wagner Ivan Fonseca de; Hernández, Pedro Jesus Saturno; Sousa, Kelienny de Meneses; Piuvezam, Grasiela; Gama, Zenewton André da Silva

    2016-06-01

    Long-term care facilities (LTCFs) for the elderly are an important health care alternative in the world, though Brazil does not yet have a valid instrument to monitor the quality of these institutions. This study sought to describe the initial stages of the cross-cultural adaptation of the Observable Indicators of Nursing Home Care Quality (OIQ) instrument used to assess the quality of care in LTCFs. Conceptual equivalence was conducted to assess the relevance and feasibility of the OIQ within the Brazilian context, using the Content Validity Index (CVI). The operational, idiomatic and semantic equivalence was then performed. This item consisted of 5 phases: (1) two translations; (2) the respective back translations; (3) formal appraisal; (4) review; and (5) application of the pre-test in three LTCFs. Significant changes were made to ensure the validity of the OIQ. The CVI instrument for the Brazilian contextwas 94.3% (viability) and 95.3% (relevance). The OIQ proved to be easy to understand and apply in the pre-test. Cross-cultural adaptation of the OIQ contributes to assessing and improving quality in Brazilian LTCFs, though the findings should be complemented by a psychometric evaluation of the instrument. PMID:27383357

  13. Actions for adoption of effective dose equivalent standards

    Regulations related with radiological protection have been revised to adopt SI units and to accept the ICRP recommendation requesting to use the effective dose equivalent for radiation exposure control. The present report mainly deals with actions to be taken in the field of radiation instrumentation to promote the adoption of effective dose equivalent standards. In the past, exposure in roentgen has been generally used as a quantity to represent the intensity of a X-ray or alpha-ray field, because it can be measured relatively easily and accurately. The introduction of the effective dose equivalent is intended to establish annual exposure limits to ensure that the possibility of death of workers in a radioactive environment and that of development of hereditary disorders in their children or grandchildren will be maintained below permissible levels. The quantity is expressed as the sum of each organ's dose equivalent multiplied by a weight that reflects risks. Presently, such weights are assigned to seven organs including the gential glands and red marrow. Fixed-type area monitors and portable survey meters are used for work environment monitoring while film badges, TLDs, dosimeters, etc., are employed for personnel monitoring. (Nogami, K.)

  14. Semantic Navigation on the Web of Data: Specification of Routes, Web Fragments and Actions

    Fionda, Valeria; Pirró, Giuseppe

    2011-01-01

    The massive semantic data sources linked in the Web of Data give new meaning to old features like navigation; introduce new challenges like semantic specification of Web fragments; and make it possible to specify actions relying on semantic data. In this paper we introduce a declarative language to face these challenges. Based on navigational features, it is designed to specify fragments of the Web of Data and actions to be performed based on these data. We implement it in a centralized fashion, and show its power and performance. Finally, we explore the same ideas in a distributed setting, showing their feasibility, potentialities and challenges.

  15. Hands typing what hands do: Action-semantic integration dynamics throughout written verb production.

    García, Adolfo M; Ibáñez, Agustín

    2016-04-01

    Processing action verbs, in general, and manual action verbs, in particular, involves activations in gross and hand-specific motor networks, respectively. While this is well established for receptive language processes, no study has explored action-semantic integration during written production. Moreover, little is known about how such crosstalk unfolds from motor planning to execution. Here we address both issues through our novel "action semantics in typing" paradigm, which allows to time keystroke operations during word typing. Specifically, we created a primed-verb-copying task involving manual action verbs, non-manual action verbs, and non-action verbs. Motor planning processes were indexed by first-letter lag (the lapse between target onset and first keystroke), whereas execution dynamics were assessed considering whole-word lag (the lapse between first and last keystroke). Each phase was differently delayed by action verbs. When these were processed for over one second, interference was strong and magnified by effector compatibility during programming, but weak and effector-blind during execution. Instead, when they were processed for less than 900ms, interference was reduced by effector compatibility during programming and it faded during execution. Finally, typing was facilitated by prime-target congruency, irrespective of the verbs' motor content. Thus, action-verb semantics seems to extend beyond its embodied foundations, involving conceptual dynamics not tapped by classical reaction-time measures. These findings are compatible with non-radical models of language embodiment and with predictions of event coding theory. PMID:26803393

  16. Feature activation during word recognition: action, visual, and associative-semantic priming effects

    Kevin J.Y. Lam

    2015-05-01

    Full Text Available Embodied theories of language postulate that language meaning is stored in modality-specific brain areas generally involved in perception and action in the real world. However, the temporal dynamics of the interaction between modality-specific information and lexical-semantic processing remain unclear. We investigated the relative timing at which two types of modality-specific information (action-based and visual-form information contribute to lexical-semantic comprehension. To this end, we applied a behavioral priming paradigm in which prime and target words were related with respect to (1 action features, (2 visual features, or (3 semantically associative information. Using a Go/No-Go lexical decision task, priming effects were measured across four different inter-stimulus intervals (ISI = 100 ms, 250 ms, 400 ms, and 1,000 ms to determine the relative time course of the different features . Notably, action priming effects were found in ISIs of 100 ms, 250 ms, and 1,000 ms whereas a visual priming effect was seen only in the ISI of 1,000 ms. Importantly, our data suggest that features follow different time courses of activation during word recognition. In this regard, feature activation is dynamic, measurable in specific time windows but not in others. Thus the current study (1 demonstrates how multiple ISIs can be used within an experiment to help chart the time course of feature activation and (2 provides new evidence for embodied theories of language.

  17. The Calcium Wave Model of the Perception-Action Cycle: Evidence from Semantic Relevance in Memory Experiments

    AlfredoPereira Jr

    2013-01-01

    We present a general model of brain function (the calcium wave model), distinguishing three processing modes in the perception-action cycle. The model provides an interpretation of the data from experiments on semantic memory conducted by the authors.

  18. Conceptual grounding of language in action and perception: a neurocomputational model of the emergence of category specificity and semantic hubs.

    Garagnani, Max; Pulvermüller, Friedemann

    2016-03-01

    Current neurobiological accounts of language and cognition offer diverging views on the questions of 'where' and 'how' semantic information is stored and processed in the human brain. Neuroimaging data showing consistent activation of different multi-modal areas during word and sentence comprehension suggest that all meanings are processed indistinctively, by a set of general semantic centres or 'hubs'. However, words belonging to specific semantic categories selectively activate modality-preferential areas; for example, action-related words spark activity in dorsal motor cortex, whereas object-related ones activate ventral visual areas. The evidence for category-specific and category-general semantic areas begs for a unifying explanation, able to integrate the emergence of both. Here, a neurobiological model offering such an explanation is described. Using a neural architecture replicating anatomical and neurophysiological features of frontal, occipital and temporal cortices, basic aspects of word learning and semantic grounding in action and perception were simulated. As the network underwent training, distributed lexico-semantic circuits spontaneously emerged. These circuits exhibited different cortical distributions that reached into dorsal-motor or ventral-visual areas, reflecting the correlated category-specific sensorimotor patterns that co-occurred during action- or object-related semantic grounding, respectively. Crucially, substantial numbers of neurons of both types of distributed circuits emerged in areas interfacing between modality-preferential regions, i.e. in multimodal connection hubs, which therefore became loci of general semantic binding. By relating neuroanatomical structure and cellular-level learning mechanisms with system-level cognitive function, this model offers a neurobiological account of category-general and category-specific semantic areas based on the different cortical distributions of the underlying semantic circuits. PMID:26660067

  19. Latent semantics of action verbs reflect phonetic parameters of intensity and emotional content.

    Petersen, Michael Kai

    2015-01-01

    Conjuring up our thoughts, language reflects statistical patterns of word co-occurrences which in turn come to describe how we perceive the world. Whether counting how frequently nouns and verbs combine in Google search queries, or extracting eigenvectors from term document matrices made up of Wikipedia lines and Shakespeare plots, the resulting latent semantics capture not only the associative links which form concepts, but also spatial dimensions embedded within the surface structure of language. As both the shape and movements of objects have been found to be associated with phonetic contrasts already in toddlers, this study explores whether articulatory and acoustic parameters may likewise differentiate the latent semantics of action verbs. Selecting 3 × 20 emotion-, face-, and hand-related verbs known to activate premotor areas in the brain, their mutual cosine similarities were computed using latent semantic analysis LSA, and the resulting adjacency matrices were compared based on two different large scale text corpora: HAWIK and TASA. Applying hierarchical clustering to identify common structures across the two text corpora, the verbs largely divide into combined mouth and hand movements versus emotional expressions. Transforming the verbs into their constituent phonemes, and projecting them into an articulatory space framed by tongue height and formant frequencies, the clustered small and large size movements appear differentiated by front versus back vowels corresponding to increasing levels of arousal. Whereas the clustered emotional verbs seem characterized by sequences of close versus open jaw produced phonemes, generating up- or downwards shifts in formant frequencies that may influence their perceived valence. Suggesting, that the latent semantics of action verbs reflect parameters of intensity and emotional polarity that appear correlated with the articulatory contrasts and acoustic characteristics of phonemes. PMID:25849977

  20. Are judgments for action verbs and point-light human actions equivalent?

    Bidet-Ildei, Christel; Toussaint, Lucette

    2015-02-01

    The aim of the present study was to examine whether the ability to judge action words and the ability to judge human actions share common mechanisms. With this purpose in mind, we proposed both a lexical and an action decision task to twenty-four healthy participants. For both tasks, the participants had to judge whether the stimulus that was presented (a letter string or a point-light sequence) was valid or not (i.e. a word vs. a pseudo-word, an action vs. a pseudo-action). The data analysis showed that the action decision task has common characteristics with the lexical decision task. As for verbal material, judgements of pseudo-actions were slower than judgements for actions. Moreover, we demonstrated that the ability to judge an action verb was positively correlated with the ability to judge a point-light human action, whereas no significant correlation appeared between nouns and point-light judgements abilities. This dissociation supports the argument that the judgement of action words and the judgement of human actions share a common but specific basis through the involvement of motor representations. PMID:25238900

  1. Driving Cognitions Questionnaire: estudo de equivalência semântica Driving Cognitions Questionnaire: semantic equivalence study

    Marcele Regine de Carvalho

    2011-01-01

    . Semantic equivalence assessment and evaluation of the different versions were conducted and resulted in a synthesized version of the instrument. Comments made by 10 participants on the preliminary version of the questionnaire were examined. The preliminary Brazilian version of the questionnaire was developed. RESULTS: Most participants understood the cognitions as described in the Brazilian Portuguese version of the questionnaire. CONCLUSION: The use of three different translations and back translations, discussion of a preliminary synthetic version and interaction with the target population contributed to the viability of the process aimed to assess the semantic equivalence of the Brazilian final version.

  2. Action semantics: A unifying conceptual framework for the selective use of multimodal and modality-specific object knowledge

    van Elk, Michiel; van Schie, Hein; Bekkering, Harold

    2014-06-01

    Our capacity to use tools and objects is often considered one of the hallmarks of the human species. Many objects greatly extend our bodily capabilities to act in the physical world, such as when using a hammer or a saw. In addition, humans have the remarkable capability to use objects in a flexible fashion and to combine multiple objects in complex actions. We prepare coffee, cook dinner and drive our car. In this review we propose that humans have developed declarative and procedural knowledge, i.e. action semantics that enables us to use objects in a meaningful way. A state-of-the-art review of research on object use is provided, involving behavioral, developmental, neuropsychological and neuroimaging studies. We show that research in each of these domains is characterized by similar discussions regarding (1) the role of object affordances, (2) the relation between goals and means in object use and (3) the functional and neural organization of action semantics. We propose a novel conceptual framework of action semantics to address these issues and to integrate the previous findings. We argue that action semantics entails both multimodal object representations and modality-specific sub-systems, involving manipulation knowledge, functional knowledge and representations of the sensory and proprioceptive consequences of object use. Furthermore, we argue that action semantics are hierarchically organized and selectively activated and used depending on the action intention of the actor and the current task context. Our framework presents an integrative account of multiple findings and perspectives on object use that may guide future studies in this interdisciplinary domain.

  3. Conjugacy, orbit equivalence and classification of measure-preserving group actions

    Törnquist, Asger Dag

    2009-01-01

    . Further, we obtain that the measure-preserving almost-everywhere-free ergodic actions of such a G cannot be classified up to orbit equivalence by a reasonable assignment of countable structures as complete invariants. We also obtain a strengthening and a new proof of a non-classification result of Foreman......We prove that if G is a countable discrete group with property (T) over an infinite subgroup HG which contains an infinite Abelian subgroup or is normal, then G has continuum-many orbit-inequivalent measure-preserving almost-everywhere-free ergodic actions on a standard Borel probability space...... and Weiss for conjugacy of measure-preserving ergodic almost-everywhere-free actions of discrete countable groups. © 2008 Cambridge University Press....

  4. Equivalence considerations for orally inhaled products for local action-ISAM/IPAC-RS European Workshop report.

    Evans, Carole; Cipolla, David; Chesworth, Tim; Agurell, Eva; Ahrens, Richard; Conner, Dale; Dissanayake, Sanjeeva; Dolovich, Myrna; Doub, William; Fuglsang, Anders; García Arieta, Afredo; Golden, Michael; Hermann, Robert; Hochhaus, Günther; Holmes, Susan; Lafferty, Paul; Lyapustina, Svetlana; Nair, Parameswaran; O'Connor, Dennis; Parkins, David; Peterson, Ilse; Reisner, Colin; Sandell, Dennis; Singh, Gur Jai Pal; Weda, Marjolein; Watson, Patricia

    2012-06-01

    The purpose of this article is to document the discussions at the 2010 European Workshop on Equivalence Determinations for Orally Inhaled Drugs for Local Action, cohosted by the International Society for Aerosols in Medicine (ISAM) and the International Pharmaceutical Consortium on Regulation and Science (IPAC-RS). The article summarizes current regulatory approaches in Europe, the United States, and Canada, and presents points of consensus as well as ongoing debate in the four major areas: in vitro testing, pharmacokinetic and pharmacodynamic studies, and device similarity. Specific issues in need of further research and discussion are also identified. PMID:22413806

  5. Electroporation-delivered transdermal neostigmine in rats: equivalent action to intravenous administration

    Berkó, Szilvia; Szűcs, Kálmán F; Balázs, Boglárka; Csányi, Erzsébet; Varju, Gábor; Sztojkov-Ivanov, Anita; Budai-Szűcs, Mária; Bóta, Judit; Gáspár, Róbert

    2016-01-01

    Purpose Transdermal electroporation has become one of the most promising noninvasive methods for drug administration, with greatly increased transport of macromolecules through the skin. The cecal-contracting effects of repeated transdermal electroporation delivery and intravenous administration of neostigmine were compared in anesthetized rats. Methods The cecal contractions were detected with implantable strain gauge sensors, and the plasma levels of neostigmine were followed by high-performance liquid chromatography. Results Both intravenously and EP-administered neostigmine (0.2–66.7 μg/kg) increased the cecal contractions in a dose-dependent manner. For both the low doses and the highest dose, the neostigmine plasma concentrations were the same after the two modes of administration, while an insignificantly higher level was observed at a dose of 20 μg/kg after intravenous administration as compared with the electroporation route. The contractile responses did not differ significantly after the two administration routes. Conclusion The results suggest that electroporation-delivered neostigmine elicits action equivalent to that observed after intravenous administration as concerning both time and intensity. Electroporation permits the delivery of even lower doses of water-soluble compounds through the skin, which is very promising for clinical practice. PMID:27274203

  6. Are Cortical Motor Maps Based on Body Parts or Coordinated Actions? Implications for Embodied Semantics

    Fernandino, Leonardo; Iacoboni, Marco

    2010-01-01

    The embodied cognition approach to the study of the mind proposes that higher order mental processes such as concept formation and language are essentially based on perceptual and motor processes. Contrary to the classical approach in cognitive science, in which concepts are viewed as amodal, arbitrary symbols, embodied semantics argues that…

  7. Latent semantics of action verbs reflect phonetic parameters of intensity and emotional content

    Petersen, Michael Kai

    2015-01-01

    Conjuring up our thoughts, language reflects statistical patterns of word co-occurrences which in turn come to describe how we perceive the world. Whether counting how frequently nouns and verbs combine in Google search queries, or extracting eigenvectors from term document matrices made up of Wikipedia lines and Shakespeare plots, the resulting latent semantics capture not only the associative links which form concepts, but also spatial dimensions embedded within the surface structure of lan...

  8. Grip Force Is Part of the Semantic Representation of Manual Action Verbs

    Frak, Victor; Nazir, Tatjana,; Goyette, Michel; Cohen, Henri; Jeannerod, Marc

    2010-01-01

    Motor actions and action verbs activate similar cortical brain regions. A functional interference can be taken as evidence that there is a parallel treatment of these two types of information and would argue for the biological grounding of language in action. A novel approach examining the relationship between language and grip force is presented. With eyes closed and arm extended, subjects listened to words relating (verbs) or not relating (nouns) to a manual action while holding a cylinder ...

  9. Semantic repository and ontology mapping

    J. Gracia; M. Trna; E. Lozano; T.T. Nguyen; A. Gómez-Pérez; C. Montaña; J. Liem

    2010-01-01

    This document discusses the core Semantic Technologies in DynaLearn: i) The semantic repository, which supports the online storage and access of qualitative reasoning models, ii) the grounding process, which establishes semantic equivalences between the concepts in the models and the concepts in a b

  10. On the Interacting Chiral Gauge Field Theory in D=6 and the Off-Shell Equivalence of Dual Born-Infeld-Like Actions

    De Castro, A S

    1999-01-01

    A canonical action describing the interaction of chiral gauge fields in D=6 Minkowski space-time is constructed. In a particular partial gauge fixing it reduces to the action found by Perry and Schwarz. The additional gauge symmetries are used to show the off-shell equivalence of the dimensional reduction to D=5 Minkowski space-time of the chiral gauge field canonical action and the Born-Infeld canonical action describing an interacting D=5 Abelian vector field. Its extension to improve the on-shell equivalence arguments of dual D-brane actions to off-shell ones is discussed.

  11. The Semantic Web Revisited

    Shadbolt, Nigel; Berners-Lee, Tim; Hall, Wendy

    2006-01-01

    The original Scientific American article on the Semantic Web appeared in 2001. It described the evolution of a Web that consisted largely of documents for humans to read to one that included data and information for computers to manipulate. The Semantic Web is a Web of actionable information--information derived from data through a semantic theory for interpreting the symbols.This simple idea, however, remains largely unrealized. Shopbots and auction bots abound on the Web, but these are esse...

  12. Well-Founded Argumentation Semantics for Extended Logic Programming

    Schweimeier, Ralf; Schroeder, Michael

    2002-01-01

    This paper defines an argumentation semantics for extended logic programming and shows its equivalence to the well-founded semantics with explicit negation. We set up a general framework in which we extensively compare this semantics to other argumentation semantics, including those of Dung, and Prakken and Sartor. We present a general dialectical proof theory for these argumentation semantics.

  13. Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction

    Nakata, Keiko; 10.4204/EPTCS.32.5

    2010-01-01

    We look at the operational semantics of languages with interactive I/O through the glasses of constructive type theory. Following on from our earlier work on coinductive trace-based semantics for While, we define several big-step semantics for While with interactive I/O, based on resumptions and termination-sensitive weak bisimilarity. These require nesting inductive definitions in coinductive definitions, which is interesting both mathematically and from the point-of-view of implementation in a proof assistant. After first defining a basic semantics of statements in terms of resumptions with explicit internal actions (delays), we introduce a semantics in terms of delay-free resumptions that essentially removes finite sequences of delays on the fly from those resumptions that are responsive. Finally, we also look at a semantics in terms of delay-free resumptions supplemented with a silent divergence option. This semantics hinges on decisions between convergence and divergence and is only equivalent to the bas...

  14. Semantic Advertising

    Zamanzadeh, Ben; Ashish, Naveen; Ramakrishnan, Cartic; Zimmerman, John

    2013-01-01

    We present the concept of Semantic Advertising which we see as the future of online advertising. Semantic Advertising is online advertising powered by semantic technology which essentially enables us to represent and reason with concepts and the meaning of things. This paper aims to 1) Define semantic advertising, 2) Place it in the context of broader and more widely used concepts such as the Semantic Web and Semantic Search, 3) Provide a survey of work in related areas such as context matchi...

  15. Equivalência semântica da versão brasileira da Social Avoidance and Distress Scale (SADS Semantic equivalence of the Brazilian Portuguese Version of the Social Avoidance and Distress Scale (SADS

    Michelle Nigri Levitan

    2008-04-01

    Full Text Available INTRODUÇÃO: É crescente a produção científica brasileira na adaptação de instrumentos internacionais da fobia social. A adaptação transcultural é o primeiro passo na realização de comparações entre diferentes populações e se apresenta como um método que envolve pouco custo financeiro. O presente estudo consistiu no processo de equivalência semântica da Social Avoidance and Distress Scale para sua utilização na população brasileira de diferentes níveis socioeconômicos. MÉTODOS: O processo envolve duas traduções e retrotraduções realizadas por avaliadores independentes, avaliação das versões com elaboração de uma versão sínteses e pré-teste comentado. RESULTADOS: Para cada item do instrumento, apresentam-se os resultados das quatro etapas. A maioria dos participantes não apresentou dificuldades na compreensão do instrumento. CONCLUSÃO: A utilização de duas versões de tradução e retrotradução, discussão sobre a versão síntese e a interlocução com a população-alvo proporciona maior segurança ao processo de equivalência semântica.INTRODUCTION: There has been a growing scientific production on the adaptation of international instruments for social phobia. The cross-cultural adaptation is the first stage on the comparisons between different populations and presents the advantage of a low financial cost. This paper consisted in the process of semantic equivalence of the Social Avoidance and Distress Scale for the Brazilian population of different sociocultural levels. METHODS: The semantic equivalence involved two translations and back-translations performed by two independent evaluators, an evaluation of the versions and the development of a synthetic version, and a commented pretest. RESULTS: The results of the four stages were showed for each item of the instrument. Most participants had no difficulties in understanding the instrument. CONCLUSION: Use of two versions of translations, critical

  16. Semantator: annotating clinical narratives with semantic web ontologies.

    Song, Dezhao; Chute, Christopher G; Tao, Cui

    2012-01-01

    To facilitate clinical research, clinical data needs to be stored in a machine processable and understandable way. Manual annotating clinical data is time consuming. Automatic approaches (e.g., Natural Language Processing systems) have been adopted to convert such data into structured formats; however, the quality of such automatically extracted data may not always be satisfying. In this paper, we propose Semantator, a semi-automatic tool for document annotation with Semantic Web ontologies. With a loaded free text document and an ontology, Semantator supports the creation/deletion of ontology instances for any document fragment, linking/disconnecting instances with the properties in the ontology, and also enables automatic annotation by connecting to the NCBO annotator and cTAKES. By representing annotations in Semantic Web standards, Semantator supports reasoning based upon the underlying semantics of the owl:disjointWith and owl:equivalentClass predicates. We present discussions based on user experiences of using Semantator. PMID:22779043

  17. Electrophysiological evidence for the action of a center-surround mechanism on semantic processing in the left hemisphere

    Diana eDeacon

    2013-12-01

    Full Text Available Physiological evidence was sought for a center-surround attentional mechanism (CSM, which has been proposed to assist in the retrieval of weakly activated items from semantic memory. The CSM operates by facilitating strongly related items in the center of the weakly activated area of semantic memory, and inhibiting less strongly related items in its surround. In this study weak activation was created by having subjects acquire the meanings of new words to a recall criterion of only 50%. Subjects who attained this approximate criterion level of performance were subsequently included in a semantic priming task, during which ERPs were recorded. Primes were newly learned rare words, and targets were either synonyms, nonsynonymously related words, or unrelated words. All stimuli were presented to the RVF/LH (right visual field/left hemisphere or the LVF/RH (left visual field/right hemisphere. Under RVF/LH stimulation the newly learned word primes produced facilitation on N400 for synonym targets, and inhibition for related targets. No differences were observed under LVF/RH stimulation. The LH thus, supports a CSM, whereby a synonym in the center of attention focused on the newly learned word is facilitated, whereas a related word in the surround is inhibited. The data are consistent with the view of this laboratory that semantic memory is subserved by a spreading activation system in the LH. Also consistent with our view, there was no evidence of spreading activation in the RH. The findings are discussed in the context of additional recent theories of semantic memory. Finally, the adult right hemisphere may require more learning than the LH in order to demonstrate evidence of meaning acquisition.

  18. Neuro-Semantics and Semantics.

    Holmes, Stewart W.

    1987-01-01

    Draws distinctions between the terms semantics (dealing with such verbal parameters as dictionaries and "laws" of logic and rhetoric), general semantics (semantics, plus the complex, dynamic, organismal properties of human beings and their physical environment), and neurosemantics (names for relations-based input from the neurosensory system, and…

  19. Equivalência semântica da versão em português do instrumento Abuse Assessment Screen para rastrear a violência contra a mulher grávida Semantic equivalence of the Portuguese version of the Abuse Assessment Screen tool used for the screening of violence against pregnant women

    Michael E Reichenheim

    2000-12-01

    Full Text Available INTRODUÇÃO: Programas de investigação epidemiológica e de ação no âmbito da violência familiar estão em franca ascensão, requerendo instrumentos de aferição adaptados e vertidos para o português. O objetivo do estudo é avaliar a equivalência semântica entre o original em inglês e duas versões para o português do instrumento Abuse Assessment Screen (AAS usado no rastreamento de casos de violência contra a mulher grávida e recomendar uma versão-síntese para uso corrente. MÉTODOS: O processo de avaliação de equivalência semântica envolveu quatro etapas: tradução, retradução, apreciação formal de equivalência e crítica final através de consultas com especialista na área temática. RESULTADOS: Para cada item do instrumento apresentam-se os resultados relativos às quatro etapas. O texto cobre cada passo do processo que levou à versão final. As duas versões mostraram-se bastante semelhantes, com 14 das 15 assertivas similares, embora a segunda versão tenha se mostrado mais adequada, ainda que para alguns itens tenha sido decidido juntar as duas versões ou mesmo utilizar um item oriundo da versão um. CONCLUSÃO: É importante usar mais de uma versão no processo, em várias etapas de avaliação e de crítica, e discutir a pertinência de se acrescentar uma etapa adicional de interlocução do instrumento com membros da população-alvo.INTRODUCTION: Research programs and actions regarding family violence have been growing steadily. Therefore, there's a need to develop data collection tools. In Brazil, further problems come up since tools that have been developed elsewhere need to be adapted and translated. This study focuses on the Abuse Assessment Screening (AAS used to detect violence against pregnant women. The objective is to evaluate the semantic equivalence between the original tool in English and two Portuguese versions, and propose a synthetic version to be used in the field. METHODS: The evaluation

  20. Semantic Web

    O'Hara, Kieron; Hall, Wendy

    2009-01-01

    The Semantic Web is a vision of a web of linked data, allowing querying, integration and sharing of data from distributed sources in heterogeneous formats, using ontologies to provide an associated and explicit semantic interpretation. The article describes the series of layered formalisms and standards that underlie this vision, and chronicles their historical and ongoing development. A number of applications, scientific and otherwise, academic and commercial, are reviewed. The Semantic Web ...

  1. From autopoiesis to semantic closure.

    Stewart, J

    2000-01-01

    This article addresses the question of providing an adequate mathematical formulation for the concepts of autopoiesis and closure under efficient cause. What is required is metaphorically equivalent to reducing the act of writing to a set of mathematical equations, habitually effected by a human mathematician, within the ongoing function of the system itself. This, in turn, raises the question of the relationship between autopoiesis and semantics. The hypothesis suggested is that whereas semantics clearly requires autopoiesis, it may be also be the case that autopoiesis itself can only be materially realized in a system that is characterized by a semantic dimension. PMID:10818567

  2. 及物性理论关照下的英汉语义功能等效翻译分析研究%Analysis of the semantic function of equivalent English-Chinese translation under the theory of attention

    刘青芸

    2015-01-01

    Hal iday的系统功能语法因注重语言和词汇在日常生活中的应用,而成为近年来国际上最具影响力的语言学流派之一,本文以其中的及物性理论为基础,研究小句中的主要过程动词,探讨英汉语义功能等效翻译的方法。通过结合China Daily和 Time中摘录的新闻语篇,具体分析各类过程类型在文本中的运用。本文的主要观点是,翻译时改变原文使用的过程类型就有可能改变其意义。翻译时应尽可能不改变原文使用的及物性过程。%Halliday's systemic functional grammar pays attention to the application of language and vocabulary in everyday life, in recent years, become one of the most influential linguistic schools in the world, in this paper, based on the properties and theory, studies the main process in the small clause verb, the semantic function of equivalent English-Chinese translation are discussed. According to excerpts in the China Daily and the Time of news discourse, specific analysis of various kinds of process types used in the text. Translation is the main point of this article, changed the original type of process is likely to change its meaning. In translation, we should as far as possible without changing the original use and physical process.

  3. On the Translation Equivalence of Literature Works

    吴娟

    2013-01-01

    As for translation principle,people have different opinions.The principle of equivalent translation maybe is one of the most reasonable ones in today’s translation world in my eyes.This paper focuses on the possibility and the condition to be achieved the biggest equivalence of the semantic,pragmatic and culture in order to get the conclusion that the translation equivalence is the proper principle.Besides,this paper has also discussed the pragmatic equivalence and cultural equivalence.

  4. A semi-quantitative equivalence for abstracting from fast reactions

    Galpin, Vashti; Ciocchetta, Federica; 10.4204/EPTCS.67.5

    2011-01-01

    Semantic equivalences are used in process algebra to capture the notion of similar behaviour, and this paper proposes a semi-quantitative equivalence for a stochastic process algebra developed for biological modelling. We consider abstracting away from fast reactions as suggested by the Quasi-Steady-State Assumption. We define a fast-slow bisimilarity based on this idea. We also show congruence under an appropriate condition for the cooperation operator of Bio-PEPA. The condition requires that there is no synchronisation over fast actions, and this distinguishes fast-slow bisimilarity from weak bisimilarity. We also show congruence for an operator which extends the reactions available for a species. We characterise models for which it is only necessary to consider the matching of slow transitions and we illustrate the equivalence on two models of competitive inhibition.

  5. Tradução, equivalência semântica e adaptação cultural do Marijuana Expectancy Questionnaire (MEQ Translation, semantic equivalence and cultural adaptation of Marijuana Expectancy Questionnaire (MEQ

    Rosemeri Siqueira Pedroso

    2004-12-01

    Full Text Available O objetivo desse estudo foi traduzir, adaptar culturalmente e verificar a equivalência semântica do Marijuana Expectancy Questionnaire (MEQ, o qual avalia as crenças em relação ao uso de maconha, podendo ser importante no tratamento e prognóstico dos dependentes químicos desta substância. O MEQ foi traduzido do inglês para o português, aplicado em 10 sujeitos e submetido ao brainstorming num grupo de 4 sujeitos para reprodução individual e verbal, item a item. Realizou-se o back-translation, uma versão para o idioma de origem, a partir da primeira tradução e do brainstorming. Logo após, traduziu-se novamente para o português. Todo o processo foi analisado por um comitê de juízes especialistas, os quais emitiram pareceres com as observações pertinentes. Realizou-se a análise descritiva interjuízes, verificando-se freqüências e porcentagens. Considerando-se os pareceres dos especialistas, construiu-se então a versão final do MEQ - adaptação brasileira.The objective of this study was to translate, to adapt culturally and verify the semantic equivalence of the Marijuana Expectancy Questionnaire (MEQ, which evaluates the beliefs to the marijuana’s use, which may be important in the treatment and prognostic of the chemical dependents of this substance. The MEQ was firstly translated from English to Portuguese, administered to 10 persons, and then submitted to brainstorming in a group of 4 persons for individual and verbal reproduction, item by item. Back-translation was executed based on first translation and from brainstorming to the origin language. Soon after, it was translated again into Portuguese. All the process was analyzed by a committee of specialists, which emitted a decision and the pertinent comments. The descriptive judges’ analysis was done verifying frequencies and percentages. Considering the decision of the specialists, the final version of the MEQ (Brazilian Adaptation was constructed.

  6. Semantic Desktop

    Sauermann, Leo; Kiesel, Malte; Schumacher, Kinga; Bernardi, Ansgar

    In diesem Beitrag wird gezeigt, wie der Arbeitsplatz der Zukunft aussehen könnte und wo das Semantic Web neue Möglichkeiten eröffnet. Dazu werden Ansätze aus dem Bereich Semantic Web, Knowledge Representation, Desktop-Anwendungen und Visualisierung vorgestellt, die es uns ermöglichen, die bestehenden Daten eines Benutzers neu zu interpretieren und zu verwenden. Dabei bringt die Kombination von Semantic Web und Desktop Computern besondere Vorteile - ein Paradigma, das unter dem Titel Semantic Desktop bekannt ist. Die beschriebenen Möglichkeiten der Applikationsintegration sind aber nicht auf den Desktop beschränkt, sondern können genauso in Web-Anwendungen Verwendung finden.

  7. Understanding semantics

    Thrane, Torben

    1997-01-01

    Understanding natural language is a cognitive, information-driven process. Discussing some of the consequences of this fact, the paper offers a novel look at the semantic effect of lexical nouns and the identification of reference types.......Understanding natural language is a cognitive, information-driven process. Discussing some of the consequences of this fact, the paper offers a novel look at the semantic effect of lexical nouns and the identification of reference types....

  8. Action Refinement for Real-Time Concurrent Processes with Urgency

    Guang-Ping Qin; Jin-Zhao Wu

    2005-01-01

    Action refinement for real-time concurrent processes with urgent interactions is studied, where a partial-order setting, i.e., timed bundle event structures, is used as the system model and a real-time LOTOS-like process algebra is used as the specification language. It is shown that the proposed refinement approaches have the commonly expected properties:(1) the behaviour of the refined process can be inferred compositionally from the behaviour of the original process and from the behaviour of the processes substituted for actions; (2) the timed extensions of pomset (partially ordered multiset) trace equivalence and history preserving bisimulation equivalence are both congruences under the refinement; (3) the syntactic and semantic refinements coincide up to the aforementioned equivalence relations with respect to a cpo-based denotational semantics.

  9. Semantic Annotation: The Mainstay of Semantic Web

    Slimani, Thabet

    2013-01-01

    Given that semantic Web realization is based on the critical mass of metadata accessibility and the representation of data with formal knowledge, it needs to generate metadata that is specific, easy to understand and well-defined. However, semantic annotation of the web documents is the successful way to make the Semantic Web vision a reality. This paper introduces the Semantic Web and its vision (stack layers) with regard to some concept definitions that helps the understanding of semantic a...

  10. Operational Semantics for Lazy Evaluation

    Mahmoud A. AbouGhaly

    2007-01-01

    Full Text Available An operational semantics for lazy evaluation of a calculus without higher order functions was defined. Although it optimizes many aspects of implementation, e.g. there is a sharing in the recursive computation, there is no α conversion, the heap is automatically reclaimed, and an attempt to evaluate an argument is done at most once. It is still suitable for reasoning about program behavior and proofs of program correctness; this is primarily due to the definition via inferences and axioms which allows for proofs by induction on the height of the proof tree. We also proved the correctness of this operational semantics by showing that it is equivalent with respect to the values calculated to the operational semantics of LAZY-PCF+SHAR due to S. Purushothaman Iyer and Jill Seaman.

  11. Semantic Web

    Anna Lamandini

    2011-01-01

    The semantic Web is a technology at the service of knowledge which is aimed at accessibility and the sharing of content; facilitating interoperability between different systems and as such is one of the nine key technological pillars of TIC (technologies for information and communication) within the third theme, programme specific cooperation of the seventh programme framework for research and development (7°PQRS, 2007-2013). As a system it seeks to overcome overload or excess of irrelevant i...

  12. Jigsaw Semantics

    Paul J. E. Dekker

    2010-12-01

    Full Text Available In the last decade the enterprise of formal semantics has been under attack from several philosophical and linguistic perspectives, and it has certainly suffered from its own scattered state, which hosts quite a variety of paradigms which may seem to be incompatible. It will not do to try and answer the arguments of the critics, because the arguments are often well-taken. The negative conclusions, however, I believe are not. The only adequate reply seems to be a constructive one, which puts several pieces of formal semantics, in particular dynamic semantics, together again. In this paper I will try and sketch an overview of tasks, techniques, and results, which serves to at least suggest that it is possible to develop a coherent overall picture of undeniably important and structural phenomena in the interpretation of natural language. The idea is that the concept of meanings as truth conditions after all provides an excellent start for an integrated study of the meaning and use of natural language, and that an extended notion of goal directed pragmatics naturally complements this picture. None of the results reported here are really new, but we think it is important to re-collect them.ReferencesAsher, Nicholas & Lascarides, Alex. 1998. ‘Questions in Dialogue’. Linguistics and Philosophy 23: 237–309.http://dx.doi.org/10.1023/A:1005364332007Borg, Emma. 2007. ‘Minimalism versus contextualism in semantics’. In Gerhard Preyer & Georg Peter (eds. ‘Context-Sensitivity and Semantic Minimalism’, pp. 339–359. Oxford: Oxford University Press.Cappelen, Herman & Lepore, Ernest. 1997. ‘On an Alleged Connection between Indirect Quotation and Semantic Theory’. Mind and Language 12: pp. 278–296.Cappelen, Herman & Lepore, Ernie. 2005. Insensitive Semantics. Oxford: Blackwell.http://dx.doi.org/10.1002/9780470755792Dekker, Paul. 2002. ‘Meaning and Use of Indefinite Expressions’. Journal of Logic, Language and Information 11: pp. 141–194

  13. Semantic web mining

    Stumme, Gerd; Hotho, Andreas; Berendt, Bettina

    2006-01-01

    Semantic Web Mining aims at combining the two fast-developing research areas Semantic Web and Web Mining. This survey analyzes the convergence of trends from both areas: an increasing number of researchers is working on improving the results of Web Mining by exploiting semantic structures in the Web, and they make use of Web Mining techniques for building the Semantic Web. Last but not least, these techniques can be used for mining the Semantic Web itself. The Semantic Web is t...

  14. Geospatial semantic web

    Zhang, Chuanrong; Li, Weidong

    2015-01-01

    This book covers key issues related to Geospatial Semantic Web, including geospatial web services for spatial data interoperability; geospatial ontology for semantic interoperability; ontology creation, sharing, and integration; querying knowledge and information from heterogeneous data source; interfaces for Geospatial Semantic Web, VGI (Volunteered Geographic Information) and Geospatial Semantic Web; challenges of Geospatial Semantic Web; and development of Geospatial Semantic Web applications. This book also describes state-of-the-art technologies that attempt to solve these problems such

  15. On the Lexicographical Description of Equivalent Open Class Expressions*

    Herbert Ernst Wiegand

    2011-10-01

    Full Text Available

    Abstract: The contribution proceeds from the assumption that linguistic equivalence is already determined, and therefore only deals with questions of the lexicographical description of equiva-lent open class expressions in completely condensed dictionary articles in bilingual printed dic-tionaries, with the purpose of establishing a notion of lexicographical equivalence. Firstly, the most important differences between non-condensed, partially condensed and completely condensed dictionary articles are explained. In completely condensed dictionary articles, which are not natural language texts, addressing relationships are present. These relationships have a vital role in the lexicographical description of equivalent open class expressions. They are, therefore, explained in more detail. A further assumption for the development of a notion of lexicographical equivalence is the notion of semantic-pragmatic equivalence, which is therefore introduced briefly. Next, there is a stepwise development, by means of examples, of what one can understand by the notion of lexi-cographical equivalence. The developed notion of lexicographical equivalence can on the one hand form the point of departure for the lexicographical textualisation of semantic-pragmatic equiva-lence, and on the other hand it takes into consideration that the linguistic equivalence relationship has to be inferred first by the user-in-action by means of complex results of lexicographical textu-alisation. The developed notion of lexicographical equivalence presents a firm foundation for the optimisation of the presentation of lexicographical equivalence.

    Keywords: ADDRESSING, SEMANTIC-PRAGMATIC EQUIVALENCE, LEXICOGRAPH-ICAL EQUIVALENCE, LEXICOGRAPHICAL TEXT CONDENSATION, CONDENSED DIC-TIONARY ARTICLES

    Abstrakt: Zur lexikographischen Beschreibung nennlexikalischer äquiva-lenter Wortschatzeinheiten. Der Beitrag setzt voraus, dass die sprachliche Äquivalenz bereits ermittelt

  16. SEMANTIC TRANSFERS: CRITERIA FOR CLASSIFICATION

    Moskvin, V.P.

    2016-03-01

    Full Text Available There is represented the general classification of semantic transfers. As the research has shown, transfers can be systematized based on four parameters: 1 the type of associations lying on their basis: similarity, contiguity and contrast, the associations by similarity and contrast being regarded as the basis for taxonomic transfers (from genus to species, from species to genus, from species to species, etc.; 2 the functional parameter: functionally relevant and irrelevant; 3 the sphere of action: transfer applies both to lexical and grammatical semantics; 4 the degree of ex-pressiveness: thus, the metonymic associations are more predictable than the metaphoric ones.

  17. Semantic Web

    Hall, Wendy; O'Hara, Kieron

    2009-01-01

    The Semantic Web is a proposed extension to the World Wide Web (WWW) that aims to provide a common framework for sharing and reusing data across applications. The most common interfaces to the World Wide Web present it as a Web of Documents, linked in various ways including hyperlinks. But from the data point of view, each document is a black box – the data are not given independently of their representation in the document. This reduces its power, and also (as most information needs to be ex...

  18. A logical foundation for the semantic Web

    SHI Zhongzhi; DONG Mingkai; JIANG Yuncheng; ZHANG Haijun

    2005-01-01

    The current research progresses and problems of the semantic Web are analyzed in this paper, and the insufficiency of using description logic to act as logical foundation for the semantic Web is analyzed too. According to the characteristics and requirement of the semantic Web, a kind of new dynamic description logic (DDL) framework is presented. The representation and reasoning of static knowledge and dynamic knowledge are integrated in this framework. Especially, a kind of action description method is proposed, and according to description logic theory, the action semantics is described, so DDL is a kind of formal logical framework which can process static knowledge and dynamic knowledge. The DDL has clear and formally defined semantics. It provides decidable reasoning services, and it can support effective representation and reasoning of the static knowledge, dynamic process and running mechanism (realization and subsumption relation of action). Therefore, the DDL provides reasonable logic foundation for the semantic Web, and overcomes the insufficiency of using description logic to act as logical foundation for the semantic Web.

  19. Somatotopic Semantic Priming and Prediction in the Motor System.

    Grisoni, Luigi; Dreyer, Felix R; Pulvermüller, Friedemann

    2016-05-01

    The recognition of action-related sounds and words activates motor regions, reflecting the semantic grounding of these symbols in action information; in addition, motor cortex exerts causal influences on sound perception and language comprehension. However, proponents of classic symbolic theories still dispute the role of modality-preferential systems such as the motor cortex in the semantic processing of meaningful stimuli. To clarify whether the motor system carries semantic processes, we investigated neurophysiological indexes of semantic relationships between action-related sounds and words. Event-related potentials revealed that action-related words produced significantly larger stimulus-evoked (Mismatch Negativity-like) and predictive brain responses (Readiness Potentials) when presented in body-part-incongruent sound contexts (e.g., "kiss" in footstep sound context; "kick" in whistle context) than in body-part-congruent contexts, a pattern reminiscent of neurophysiological correlates of semantic priming. Cortical generators of the semantic relatedness effect were localized in areas traditionally associated with semantic memory, including left inferior frontal cortex and temporal pole, and, crucially, in motor areas, where body-part congruency of action sound-word relationships was indexed by a somatotopic pattern of activation. As our results show neurophysiological manifestations of action-semantic priming in the motor cortex, they prove semantic processing in the motor system and thus in a modality-preferential system of the human brain. PMID:26908635

  20. Semantic preview benefit in English: Individual differences in the extraction and use of parafoveal semantic information.

    Veldre, Aaron; Andrews, Sally

    2016-06-01

    Although there is robust evidence that skilled readers of English extract and use orthographic and phonological information from the parafovea to facilitate word identification, semantic preview benefits have been elusive. We sought to establish whether individual differences in the extraction and/or use of parafoveal semantic information could account for this discrepancy. Ninety-nine adult readers who were assessed on measures of reading and spelling ability read sentences while their eye movements were recorded. The gaze-contingent boundary paradigm was used to manipulate the availability of relevant semantic and orthographic information in the parafovea. On average, readers showed a benefit from previews high in semantic feature overlap with the target. However, reading and spelling ability yielded opposite effects on semantic preview benefit. High reading ability was associated with a semantic preview benefit that was equivalent to an identical preview on first-pass reading. High spelling ability was associated with a reduced semantic preview benefit despite an overall higher rate of skipping. These results suggest that differences in the magnitude of semantic preview benefits in English reflect constraints on extracting semantic information from the parafovea and competition between the orthographic features of the preview and the target. (PsycINFO Database Record PMID:26595070

  1. Semantic Context Detection Using Audio Event Fusion

    Cheng Wen-Huang

    2006-01-01

    Full Text Available Semantic-level content analysis is a crucial issue in achieving efficient content retrieval and management. We propose a hierarchical approach that models audio events over a time series in order to accomplish semantic context detection. Two levels of modeling, audio event and semantic context modeling, are devised to bridge the gap between physical audio features and semantic concepts. In this work, hidden Markov models (HMMs are used to model four representative audio events, that is, gunshot, explosion, engine, and car braking, in action movies. At the semantic context level, generative (ergodic hidden Markov model and discriminative (support vector machine (SVM approaches are investigated to fuse the characteristics and correlations among audio events, which provide cues for detecting gunplay and car-chasing scenes. The experimental results demonstrate the effectiveness of the proposed approaches and provide a preliminary framework for information mining by using audio characteristics.

  2. Semantic Network Based Mechanisms for Knowledge Acquistion

    Dariusz Ceglarek

    2013-05-01

    Full Text Available This a rticle summarizes research work started with the SeiPro2S (Semantically Enhanced Intellectual Property Protection System system designed to protect resources fro m the unauthorized use of intel lectual property. The system implements semantic network as a s tructure of knowledge repre sentation and a new idea of semantic compression. As the author proved that semantic compression is viable concept for English, he decided to focus on potential applications. An alg orithm is presented that employ ing semantic net work WiSENet for knowledge acquisition with flexible rules that yield high precision results. Developed algorithm is implemented as a Finite State Automaton with advanced methods for triggering desired actions. Detailed discussion is given with description of devised algorithm, u s age examples and results of experi ments.

  3. Semantic Web

    Anna Lamandini

    2011-06-01

    Full Text Available The semantic Web is a technology at the service of knowledge which is aimed at accessibility and the sharing of content; facilitating interoperability between different systems and as such is one of the nine key technological pillars of TIC (technologies for information and communication within the third theme, programme specific cooperation of the seventh programme framework for research and development (7°PQRS, 2007-2013. As a system it seeks to overcome overload or excess of irrelevant information in Internet, in order to facilitate specific or pertinent research. It is an extension of the existing Web in which the aim is for cooperation between and the computer and people (the dream of Sir Tim Berners –Lee where machines can give more support to people when integrating and elaborating data in order to obtain inferences and a global sharing of data. It is a technology that is able to favour the development of a “data web” in other words the creation of a space in both sets of interconnected and shared data (Linked Data which allows users to link different types of data coming from different sources. It is a technology that will have great effect on everyday life since it will permit the planning of “intelligent applications” in various sectors such as education and training, research, the business world, public information, tourism, health, and e-government. It is an innovative technology that activates a social transformation (socio-semantic Web on a world level since it redefines the cognitive universe of users and enables the sharing not only of information but of significance (collective and connected intelligence.

  4. Equivalent Equilibria.

    Kandori, Michihiro

    1988-01-01

    This paper provides a way to formulate a general equilibrium model with both infinite time horizon and continuous uncertainty by 2.space, and provides a si mple proof of the equiva-lence of equilibria in complete markets, inc omplete markets with sequential trading, and incomplete markets with one-shot trades in single consumer economies. The proof is general in the sense that it does not assume time-homogeneous structure nor smo othness of preferences. The result guarantees that one can avoi...

  5. Programming the semantic web

    Segaran, Toby; Taylor, Jamie

    2009-01-01

    With this book, the promise of the Semantic Web -- in which machines can find, share, and combine data on the Web -- is not just a technical possibility, but a practical reality Programming the Semantic Web demonstrates several ways to implement semantic web applications, using current and emerging standards and technologies. You'll learn how to incorporate existing data sources into semantically aware applications and publish rich semantic data. Each chapter walks you through a single piece of semantic technology and explains how you can use it to solve real problems. Whether you're writing

  6. Between designer drugs and afterburners: A Lexicographic-Semantic Study of Equivalence Tussen designer drugs (ontwerpersdwelms en afterburners (naverbranders: 'n leksikografies-semantiese studie van ekwivalensie.

    Arleta Adamska-Sałaciak

    2012-01-01

    Full Text Available

    The lexicons of natural languages are not isomorphic. Reasons for the anisomorphism can be sought on three interrelated planes: language structure, extralinguistic reality, and conceptualisation. Simply put, the relevant differences may reside in the language, the world, the mind, or any combination of these. As a result, what goes under the name of lexicographic equivalence is a rather heterogeneous category. Growing awareness of this fact has resulted over the years in the creation of several tentative typologies of equivalence, one of which is presented below, together with a brief discussion of some strategies for dealing with imperfect equivalence.

    The remaining part of the article comprises a detailed analysis of a single problem encountered while preparing a new edition of a bilingual dictionary for Polish learners of English. The task at hand involved choosing a viable counterpart for a (Polish semantic neologism from among a few (English equivalence candidates. In the discussion, reference is made both to the metalexicographic categories introduced earlier and to such concepts developed by lexical (especially cognitive semantics which may prove helpful in capturing the meaning differences between the source-language item and its competing target-language renditions.

    This micro-scale dissection of a single specimen demonstrates that we are still some way from being able to classify, let alone deal with, all the instances of imperfect interlingual correspondence that come our way. Persisting in the efforts to advance our understanding of the complex issues covered by the blanket term lexicographic equivalence thus seems crucial for improving the treatment of meaning in bilingual dictionaries.

    Die leksikons van natuurlike tale is nie isomorf nie. Redes vir die gebrek aan isomorfie kom op drie onderling verwante vlakke voor: taalstruktuur, die

  7. Biomedical semantics in the Semantic Web.

    Splendiani, Andrea; Burger, Albert; Paschke, Adrian; Romano, Paolo; Marshall, M Scott

    2011-01-01

    The Semantic Web offers an ideal platform for representing and linking biomedical information, which is a prerequisite for the development and application of analytical tools to address problems in data-intensive areas such as systems biology and translational medicine. As for any new paradigm, the adoption of the Semantic Web offers opportunities and poses questions and challenges to the life sciences scientific community: which technologies in the Semantic Web stack will be more beneficial for the life sciences? Is biomedical information too complex to benefit from simple interlinked representations? What are the implications of adopting a new paradigm for knowledge representation? What are the incentives for the adoption of the Semantic Web, and who are the facilitators? Is there going to be a Semantic Web revolution in the life sciences?We report here a few reflections on these questions, following discussions at the SWAT4LS (Semantic Web Applications and Tools for Life Sciences) workshop series, of which this Journal of Biomedical Semantics special issue presents selected papers from the 2009 edition, held in Amsterdam on November 20th. PMID:21388570

  8. Semantic remote patient monitoring system.

    Shojanoori, Reza; Juric, Radmila

    2013-02-01

    We propose an automated and personalized remote patient monitoring (RPM) system, which is applied to care homes and is dependent on the manipulation of semantics describing situations during patient monitoring in ontological models. Decision making in RPM is based on reasoning performed upon ontologies, which secures the delivery of appropriate e-health services in care homes. Our working experiment shows an example of preventive e-healthcare, but it can be extended to any situation that requires either urgent action from healthcare professionals or a simple recommendation during RPM. We use Semantic Web technology and OWL/SWRL-enabled ontologies to illustrate the proposal and feasibility of implementing this RPM system as a software solution in pervasive healthcare. It will be of interest to healthcare professionals, who can directly shape and populate the proposed ontological model, and software engineers, who would consider using OWL/SWRL when creating e-health services in general. PMID:23363406

  9. Deregulated semantic cognition contributes to object-use deficits in Alzheimer's disease: A comparison with semantic aphasia and semantic dementia.

    Corbett, Faye; Jefferies, Elizabeth; Burns, Alistair; Lambon Ralph, Matthew A

    2015-09-01

    Executive control is impaired from the early stages of Alzheimer's Disease (AD) and this produces deregulated semantic cognition (Corbett, Jefferies, Burns, & Lambon Ralph, ; Perry, Watson, & Hodges, ). While control deficits should affect semantic retrieval across all modalities, previous studies have typically focused on verbal semantic tasks. Even when non-verbal semantic tasks have been used, these have typically employed simple picture-matching tasks, which may be influenced by abnormalities in covert naming. Therefore, in the present study, we examined 10 patients with AD on a battery of object-use tasks, in order to advance our understanding of the origins of non-verbal semantic deficits in this population. The AD patients' deficits were contrasted with previously published performance on the same tasks within two additional groups of patients, displaying either semantic degradation (semantic dementia) or deregulation of semantic retrieval (semantic aphasia; Corbett, Jefferies, Ehsan, & Lambon Ralph, ). While overall accuracy was comparable to the scores in both other groups, the AD patients' object-use impairment most closely resembled that observed in SA; they exhibited poorer performance on comprehension tasks that placed strong demands on executive control. A similar pattern was observed in the expressive domain: the AD and SA groups were relatively good at straightforward object use compared to executively demanding, mechanical puzzles. Error types also differed: while all patients omitted essential actions, the SA and AD groups' demonstrations also featured unrelated intrusions. An association between AD patients' object use and their scores on standard executive measures suggested that control deficits contributed to their non-verbal semantic deficits. Moreover, in a task specifically designed to manipulate executive demand, patients with AD (and SA) exhibited difficulty in thinking flexibly about the non-canonical uses of everyday objects, especially

  10. Differential Equations as Actions

    Ronkko, Mauno; Ravn, Anders P.

    1997-01-01

    We extend a conventional action system with a primitive action consisting of a differential equation and an evolution invariant. The semantics is given by a predicate transformer. The weakest liberal precondition is chosen, because it is not always desirable that steps corresponding to differential...... actions shall terminate. It is shown that the proposed differential action has a semantics which corresponds to a discrete approximation when the discrete step size goes to zero. The extension gives action systems the power to model real-time clocks and continuous evolutions within hybrid systems....

  11. Geospatial Semantics and the Semantic Web

    Ashish, Naveen

    2011-01-01

    The availability of geographic and geospatial information and services, especially on the open Web has become abundant in the last several years with the proliferation of online maps, geo-coding services, geospatial Web services and geospatially enabled applications. The need for geospatial reasoning has significantly increased in many everyday applications including personal digital assistants, Web search applications, local aware mobile services, specialized systems for emergency response, medical triaging, intelligence analysis and more. Geospatial Semantics and the Semantic Web: Foundation

  12. Semantics of sub-probabilistic programs

    Yixing CHEN; Hengyang WU

    2008-01-01

    The aim of this paper is to extend the probabil-istic choice in probabilistic programs to sub-probabilistic choice, i.e., of the form (p)P (q) Q where p + q ≤ 1. It means that program P is executed with probability p and program Q is executed with probability q. Then, start-ing from an initial state, the execution of a sub-probabil-istic program results in a sub-probability distribution. This paper presents two equivalent semantics for a sub-probabilistic while-programming language. One of these interprets programs as sub-probabilistic distributions on state spaces via denotational semantics. The other inter-prets programs as bounded expectation transformers via wp-semantics. This paper proposes an axiomatic systems for total logic, and proves its soundness and completeness in a classical pattern on the structure of programs.

  13. On semantics and applications of guarded recursion

    Bizjak, Aleš

    2016-01-01

    In this dissertation we study applications and semantics of guarded recursion, which is a method for ensuring that self-referential descriptions of objects define a unique object. The first two chapters are devoted to applications. We use guarded recursion, first in the form of explicit step-indexing...... the third chapter we study a simply typed calculus with additional "later" and "constant" modalities and a guarded fixed-point combinator. These are used for encoding and working with guarded recursive and coinductive types in a modular way. We develop a normalising operational semantics, provide an...... adequate denotational model and a logic for reasoning about program equivalence. In the last three chapters we study syntax and semantics of a dependent type theory with a family of later modalities indexed by the set of clocks, and clock quantifiers. In the fourth and fifth chapters we provide two model...

  14. Characterizing semantic web services

    Moyano, Marcelo; Buccella, Agustina; Cechich, Alejandra; Estévez, Elsa Clara

    2004-01-01

    Semantic Web is an extension of the current web in which data contained in the web documents are machine-understandable. On the other hand, Web Services provide a new model of the web in which sites exchange dynamic information on demand. Combination of both introduces a new concept named Semantic Web Services in which semantic information is added to the different activities involved in Web Services, such as discovering, publication, composition, etc. In this paper, we analyze several propos...

  15. Towards semantic web mining

    Berendt, Bettina; Hotho, Andreas; Stumme, Gerd

    2002-01-01

    Semantic Web Mining aims at combining the two fast-developing research areas Semantic Web and Web Mining. The idea is to improve, on the one hand, the results of Web Mining by exploiting the new semantic structures in the Web; and to make use of Web Mining, on overview of where the two areas meet today, and sketches ways of how a closer integration could be profitable.

  16. Applying Semantic Web Services

    Galizia, Stefania; Gugliotta, Alessio; Pedrinaci, Carlos; Domingue, John

    2007-01-01

    The use of Semantic Web Services (SWS) for increasing agility and adaptability in process execution is currently investigated in many settings. The common underlying idea is the dynamic selection, composition and mediation - on the basis of available SWS descriptions - of the most adequate Web resource (services and data) to accomplish a specific process activity. In this paper we describe IRS-III, a framework for creating and executing semantic Web services, which takes a semantic broker bas...

  17. Benchmarking Semantic Web technology

    García-Castro, Raúl

    2008-01-01

    Semantic Web technologies need to interchange ontologies for further use. Due to the heterogeneity in the knowledge representation formalisms of the different existing technologies, interoperability is a problem in the SemanticWeb and the limits of the interoperability of current technologies are yet unknown. A massive improvement of the interoperability of current SemanticWeb technologies, or of any other characteristic of these technologies, requires continuous evaluations that should be de...

  18. Semantic web for dummies

    Pollock, Jeffrey T

    2009-01-01

    Semantic Web technology is already changing how we interact with data on the Web. By connecting random information on the Internet in new ways, Web 3.0, as it is sometimes called, represents an exciting online evolution. Whether you're a consumer doing research online, a business owner who wants to offer your customers the most useful Web site, or an IT manager eager to understand Semantic Web solutions, Semantic Web For Dummies is the place to start! It will help you:Know how the typical Internet user will recognize the effects of the Semantic WebExplore all the benefits the data Web offers t

  19. Semantic Role Labeling

    Palmer, Martha; Xue, Nianwen

    2011-01-01

    This book is aimed at providing an overview of several aspects of semantic role labeling. Chapter 1 begins with linguistic background on the definition of semantic roles and the controversies surrounding them. Chapter 2 describes how the theories have led to structured lexicons such as FrameNet, VerbNet and the PropBank Frame Files that in turn provide the basis for large scale semantic annotation of corpora. This data has facilitated the development of automatic semantic role labeling systems based on supervised machine learning techniques. Chapter 3 presents the general principles of applyin

  20. Semantic prosody and judgment.

    Hauser, David J; Schwarz, Norbert

    2016-07-01

    Some words tend to co-occur exclusively with a positive or negative context in natural language use, even though such valence patterns are not dictated by definitions or are part of the words' core meaning. These words contain semantic prosody, a subtle valenced meaning derived from co-occurrence in language. As language and thought are heavily intertwined, we hypothesized that semantic prosody can affect evaluative inferences about related ambiguous concepts. Participants inferred that an ambiguous medical outcome was more negative when it was caused, a verb with negative semantic prosody, than when it was produced, a synonymous verb with no semantic prosody (Studies 1a, 1b). Participants completed sentence fragments in a manner consistent with semantic prosody (Study 2), and semantic prosody affected various other judgments in line with evaluative inferences (estimates of an event's likelihood in Study 3). Finally, semantic prosody elicited both positive and negative evaluations of outcomes across a large set of semantically prosodic verbs (Study 4). Thus, semantic prosody can exert a strong influence on evaluative judgment. (PsycINFO Database Record PMID:27243765

  1. Applied Semantic Web Technologies

    Sugumaran, Vijayan

    2011-01-01

    The rapid advancement of semantic web technologies, along with the fact that they are at various levels of maturity, has left many practitioners confused about the current state of these technologies. Focusing on the most mature technologies, Applied Semantic Web Technologies integrates theory with case studies to illustrate the history, current state, and future direction of the semantic web. It maintains an emphasis on real-world applications and examines the technical and practical issues related to the use of semantic technologies in intelligent information management. The book starts with

  2. Bootstrapping Object Coreferencing on the Semantic Web

    Wei Hu; Yu-Zhong Qu; Xing-Zhi Sun

    2011-01-01

    An object on the Semantic Web is likely to be denoted with several URIs by different parties.Object coreferencing is a process to identify "equivalent" URIs of objects for achieving a better Data Web.In this paper,we propose a bootstrapping approach for object coreferencing on the Semantic Web.For an object URI,we firstly establish a kernel that consists of semantically equivalent URIs from the same-as,(inverse) functional properties and (max-)cardinalities,and then extend the kernel with respect to the textual descriptions (e.g.,labels and local names) of URIs.We also propose a trustworthiness-based method to rank the coreferent URIs in the kernel as well as a similarity-based method for ranking the URIs in the extension of the kernel.We implement the proposed approach,called ObjectCoref,on a large-scale dataset that contains 76 million URIs collected by the Falcons search engine until 2008.The evaluation on precision,relative recall and response time demonstrates the feasibility of our approach.Additionally,we apply the proposed approach to investigate the popularity of the URI alias phenomenon on the current Semantic Web.

  3. EQUIVALENCE VERSUS NON-EQUIVALENCE IN ECONOMIC TRANSLATION

    Cristina, Chifane

    2012-01-01

    Full Text Available This paper aims at highlighting the fact that “equivalence” represents a concept worth revisiting and detailing upon when tackling the translation process of economic texts both from English into Romanian and from Romanian into English. Far from being exhaustive, our analysis will focus upon the problems arising from the lack of equivalence at the word level. Consequently, relevant examples from the economic field will be provided to account for the following types of non-equivalence at word level: culturespecific concepts; the source language concept is not lexicalised in the target language; the source language word is semantically complex; differences in physical and interpersonal perspective; differences in expressive meaning; differences in form; differences in frequency and purpose of using specific forms and the use of loan words in the source text. Likewise, we shall illustrate a number of translation strategies necessary to deal with the afore-mentioned cases of non-equivalence: translation by a more general word (superordinate; translation by a more neutral/less expressive word; translation by cultural substitution; translation using a loan word or loan word plus explanation; translation by paraphrase using a related word; translation by paraphrase using unrelated words; translation by omission and translation by illustration.

  4. Equivalence of the blockage of ureter and the action of the urethane in 99mTc-DMSA biodistribution in rats

    The indication of the United States Pharmacopoeia (USP) for biological control of 99mTc-DMSA is the experiment in rats with ureter occlusion. Urethane has a vessel constriction action in the urinary system and keeps the eliminatory mechanism functioning through glomerular filtration. The objective of this work is to show that the use of urethane in animals without blockage of ureteres has total credibility, even if the expressed value of the renal retention does not correspond to 40% injected dose (I.D.) related in the literature. The experiments were performed in 2 groups of 12 rats each, the first using urethane and the second, urethane and blockage of ureter. Four lots of DMSA were labeled with 10 mCi/3 mL of 99mTc solution, and 300 μCi/0.1 mL was injected intravenously in each animal. After one hour, they were sacrificed and kidneys, bladder, liver, spleen and carcass were taken out for determination of the retained radiation in function of the injected dose. The USP establishes two parameters for the metabolism of 99mTc-DMSA: renal retention equal or higher than 40% and kidneys/liver plus spleen relation equal or higher than 6. In animals whose ureteres were obstructed, it was clearly observed that the urine was not transferred from kidneys to bladder 0.05 ± 0.35% I.D., while the first group presented 0.50 ± 6.50 % I.D. The kidneys/liver plus spleen relation were above 6 for both. Considering the deviation, all results were in the USP limit of acceptability, and for routine evaluation, urethane can be used without surgical intervention. (author)

  5. Pragmatics for formal semantics

    Danvy, Olivier

    2011-01-01

    This tech talk describes how to write and how to inter-derive formal semantics for sequential programming languages. The progress reported here is (1) concrete guidelines to write each formal semantics to alleviate their proof obligations, and (2) simple calculational tools to obtain a formal sem...

  6. The Semantic Web as a Semantic Soup

    Cox, Simon; Alani, Harith; Glaser, Hugh; Harris, Stephen

    2004-01-01

    The Semantic Web is currently best known for adding metadata to web pages to allow computers to 'understand' what they contain. This idea has been applied to people by the Friend of a Friend project which builds up a network of who people know through their descriptions placed on web pages in RDF. It is here proposed to use RDF to describe a person and to have their RDF document follow them around the Internet. The proposed technique, dubbed Semantic Cookies, will be implemented by storing a ...

  7. 78 FR 67360 - Ambient Air Monitoring Reference and Equivalent Methods: Designation of Five New Equivalent Methods

    2013-11-12

    ... 31, 2011 (76 FR 54326-54341). Two of the new equivalent methods for PM are automated monitoring... AGENCY Ambient Air Monitoring Reference and Equivalent Methods: Designation of Five New Equivalent Methods AGENCY: Office of Research and Development; Environmental Protection Agency (EPA). ACTION:...

  8. 77 FR 32632 - Ambient Air Monitoring Reference and Equivalent Methods: Designation of Three New Equivalent Methods

    2012-06-01

    ... of 40 CFR Part 53, as amended on August 31, 2011 (76 FR 54326- 54341). The new equivalent method for... AGENCY Ambient Air Monitoring Reference and Equivalent Methods: Designation of Three New Equivalent Methods AGENCY: Environmental Protection Agency. ACTION: Notice. SUMMARY: Notice is hereby given that...

  9. 77 FR 60985 - Ambient Air Monitoring Reference and Equivalent Methods: Designation of Three New Equivalent Methods

    2012-10-05

    ... 53, as amended on August 31, 2011 (76 FR 54326-54341). The new equivalent methods are automated... AGENCY Ambient Air Monitoring Reference and Equivalent Methods: Designation of Three New Equivalent Methods AGENCY: Environmental Protection Agency. ACTION: Notice of the designation of three new...

  10. The Founded Semantics and Constraint Semantics of Logic Rules

    Liu, Yanhong A.; Stoller, Scott D.

    2016-01-01

    This paper describes a simple new semantics for logic rules, the founded semantics, and its straightforward extension to another simple new semantics, the constraint semantics. The new semantics support unrestricted negation, as well as unrestricted existential and universal quantifications. They are uniquely expressive and intuitive by allowing assumptions about the predicates and rules to be specified explicitly, are completely declarative and easy to understand, and relate cleanly to prior...

  11. Semdrops: A Social Semantic Tagging Approach for Emerging Semantic Data

    Torres, Diego; Diaz, Alicia; Skaf-Molli, Hala; Molli, Pascal

    2011-01-01

    Abstract--This paper proposes a collective intelligence strategy for emerging semantic data. It presents a combination of social web practices with semantic web technologies to enrich existing web resources with semantic data. The paper introduces a social semantic tagging approach called Semdrops. Semdrops defines a conceptual model which is an extension of the Gruber's tag model where the tag concept is extended to semantic tag. Semdrops is implemented as a Firefox add-on tool that turns the...

  12. Switches and Jumps in Hybrid Action Systems

    Rönnkö, Mauno; Ravn, Anders P.

    1998-01-01

    An action system framework is a predicate transformer based method for modelling and analysing distributed and reactive systems. The actions are statements in Dijkstra's guarded command language, and their semantics is given by predicate transformers. We extend conventional action systems with a...... {\\em differential action} consisting of a differential equation and an evolution guard. The semantics is given by a weakest liberal precondition transformer, because it is not always desirable that differential actions terminate. It is shown that the proposed differential action has a semantics which...

  13. ELN in the semantic era

    Frey, Jeremy G.

    2006-01-01

    The importance of semantics in human-computer and computer-computer communications Capturing the laboratory processes and data in a semantically rich form at source. Implementing semantics - The use of the semantic web & grid The importance of context in the use of ELNs Publication and dissemination - Using the information obtained with ELNs

  14. A Defense of Semantic Minimalism

    Kim, Su

    2012-01-01

    Semantic Minimalism is a position about the semantic content of declarative sentences, i.e., the content that is determined entirely by syntax. It is defined by the following two points: "Point 1": The semantic content is a complete/truth-conditional proposition. "Point 2": The semantic content is useful to a theory of…

  15. A Semantic Graph Query Language

    Kaplan, I L

    2006-10-16

    Semantic graphs can be used to organize large amounts of information from a number of sources into one unified structure. A semantic query language provides a foundation for extracting information from the semantic graph. The graph query language described here provides a simple, powerful method for querying semantic graphs.

  16. Semantic Models of Sentences with Verbs of Motion in Standard Language and in Scientific Language Used in Biology

    Vita Banionytė

    2016-06-01

    Full Text Available The semantic models of sentences with verbs of motion in German standard language and in scientific language used in biology are analyzed in the article. In its theoretic part it is affirmed that the article is based on the semantic theory of the sentence. This theory, in its turn, is grounded on the correlation of semantic predicative classes and semantic roles. The combination of semantic predicative classes and semantic roles is expressed by the main semantic formula – proposition. In its practical part the differences between the semantic models of standard and scientific language used in biology are explained. While modelling sentences with verbs of motion, two groups of semantic models of sentences are singled out: that of action (Handlung and process (Vorgang. The analysis shows that the semantic models of sentences with semantic action predicatives dominate in the text of standard language while the semantic models of sentences with semantic process predicatives dominate in the texts of scientific language used in biology. The differences how the doer and direction are expressed in standard and in scientific language are clearly seen and the semantic cases (Agens, Patiens, Direktiv1 help to determine that. It is observed that in scientific texts of high level of specialization (biology science in contrast to popular scientific literature models of sentences with moving verbs are usually seldom found. They are substituted by denominative constructions. In conclusions it is shown that this analysis can be important in methodics, especially planning material for teaching professional-scientific language.

  17. The Roles of Semantic Sense and Form-Meaning Connection in Translation Priming

    Luo, Xueying; Cheung, Him; Bel, David; Li, Li; Chen, Lin; Mo, Lei

    2013-01-01

    This study examines semantic sense and form-meaning connection across the bilingual's languages as factors behind translation priming asymmetry, which refers to semantic priming between translation equivalents with L1 (first language) primes and L2 (second language) targets, but the lack of it in the reverse direction. In Experiment 1, many-sense…

  18. UML 2 Semantics and Applications

    Lano, Kevin

    2009-01-01

    A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in-depth and up-to-date coverage of: The role of semantics Considerations and rationale for a UML system model Definition of the UML system model UML descriptive semantics Axiomatic semantics of UML class diagrams The object constraint language Axiomatic semantics of state machines A coalgebraic semantic framework for reasoning about interaction des

  19. Semantic Web Evaluation Challenge

    2014-01-01

    This book constitutes the thoroughly refereed post conference proceedings of the first edition of the Semantic Web Evaluation Challenge, SemWebEval 2014, co-located with the 11th Extended Semantic Web conference, held in Anissaras, Crete, Greece, in May 2014. This book includes the descriptions of all methods and tools that competed at SemWebEval 2014, together with a detailed description of the tasks, evaluation procedures and datasets. The contributions are grouped in three areas: semantic publishing (sempub), concept-level sentiment analysis (ssa), and linked-data enabled recommender systems (recsys).

  20. Reactive Kripke semantics

    Gabbay, Dov M

    2013-01-01

    This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the properties and axiomatisations of this new and most effective semantics, and we offer a wide landscape of applications of the idea of reactivity. Applied topics include reactive automata, reactive grammars, rea

  1. Benchmarking semantic web technology

    García-Castro, R

    2009-01-01

    This book addresses the problem of benchmarking Semantic Web Technologies; first, from a methodological point of view, proposing a general methodology to follow in benchmarking activities over Semantic Web Technologies and, second, from a practical point of view, presenting two international benchmarking activities that involved benchmarking the interoperability of Semantic Web technologies using RDF(S) as the interchange language in one activity and OWL in the other.The book presents in detail how the different resources needed for these interoperability benchmarking activities were defined:

  2. PREPOSITIONS DO, OD AND Z IN SLOVAK AND THEIR EQUIVALENTS IN SERBIAN

    Аna Makišová

    2013-12-01

    Full Text Available The paper analyzed primary prepositions od, do and z in Slovak and their equivalents in Ser-bian. These prepositions are used with the genitive case. In both languages prepositions od and do are formally the same. The Slovak preposition do expresses contact, while the Serbian preposition do marks a position. The preposition do in both languages marks a temporal boundary, a point of the end of motion, a position, a movement towards the interior, a manner, an aim, a purpose, an approximate boundary. In the Serbian language the equivalent prepositions are do, u, na, za.The preposition od is a position preposition in both languages and is used to express a point of the beginning of an action, the time of the beginning of an action, a cause, a motive, an aim, a purpose. These meanings are expressed with prepositions od, od-do, od-po in Serbian. The preposition z expresses a place, a point of origin, a time when something begins, an origin, a motive, a cause, a matter, a material something is made of. The Serbian semantic equivalents of the Slovak preposition z are iz, s, sa, od. The paper also lists interference that occurs when these prepositions are used.

  3. Belief Semantics of Authorization Logic

    Hirsch, Andrew K.; Clarkson, Michael R.

    2013-01-01

    Authorization logics have been used in the theory of computer security to reason about access control decisions. In this work, a formal belief semantics for authorization logics is given. The belief semantics is proved to subsume a standard Kripke semantics. The belief semantics yields a direct representation of principals' beliefs, without resorting to the technical machinery used in Kripke semantics. A proof system is given for the logic; that system is proved sound with respect to the beli...

  4. Basic semantics of product sounds

    Özcan Vieira, E.; Egmond , R. van

    2012-01-01

    Product experience is a result of sensory and semantic experiences with product properties. In this paper, we focus on the semantic attributes of product sounds and explore the basic components for product sound related semantics using a semantic differential paradigmand factor analysis. With two experiments, we determined eight factors that underlie the semantic associations of product sounds (attention, roughness, smoothness, temporal constancy, (un)familiarity, unpleasantness, machinery, a...

  5. Organizational Semantic Web based Portals

    necula, sabina-cristiana

    2011-01-01

    This paper tries to treat organizational semantic web based portals. The first part of the paper focuses on concepts regarding semantic web based portals. After discussing some concepts we treat the basic functionalities that a semantic web based portal must have and we finish by presenting these functionalities by actual examples. We present semantic web based portals after studying the necessary implementations from literature and practice. We develop some examples that use semantic web bas...

  6. SEMANTIC WEB (CREATING AND QUERYING)

    Vidya S. Dandagi; Dr. Nandini Sidna

    2016-01-01

    Semantic Web is a system that allows machines to understand complex human requests. Depending on the meaning semantic web replies. Semantics is the learning of the meanings of linguistic appearance. It is the main branch of contemporary linguistics. Semantics is meaning of words, text or a phrase and relations between them. RDF provides essential support to the Semantic Web. To represent distributed information RDF is created. Applications can use RDF created and process it in an adaptive man...

  7. LAIR: A Language for Automated Semantics-Aware Text Sanitization based on Frame Semantics

    Hedegaard, Steffen; Houen, Søren; Simonsen, Jakob Grue

    2009-01-01

    We present \\lair{}: A domain-specific language that enables users to specify actions to be taken upon meeting specific semantic frames in a text, in particular to rephrase and redact the textual content. While \\lair{} presupposes superficial knowledge of frames and frame semantics, it requires on...... automated redaction of web pages for subjectively undesirable content; initial experiments suggest that using a small language based on semantic recognition of undesirable terms can be highly useful as a supplement to traditional methods of text sanitization.......We present \\lair{}: A domain-specific language that enables users to specify actions to be taken upon meeting specific semantic frames in a text, in particular to rephrase and redact the textual content. While \\lair{} presupposes superficial knowledge of frames and frame semantics, it requires only...... limited prior programming experience. It neither contain scripting or I/O primitives, nor does it contain general loop constructions and is not Turing-complete. We have implemented a \\lair{} compiler and integrated it in a pipeline for automated redaction of web pages. We detail our experience with...

  8. Trusting Crowdsourced Geospatial Semantics

    Goodhue, P.; McNair, H.; Reitsma, F.

    2015-08-01

    The degree of trust one can place in information is one of the foremost limitations of crowdsourced geospatial information. As with the development of web technologies, the increased prevalence of semantics associated with geospatial information has increased accessibility and functionality. Semantics also provides an opportunity to extend indicators of trust for crowdsourced geospatial information that have largely focused on spatio-temporal and social aspects of that information. Comparing a feature's intrinsic and extrinsic properties to associated ontologies provides a means of semantically assessing the trustworthiness of crowdsourced geospatial information. The application of this approach to unconstrained semantic submissions then allows for a detailed assessment of the trust of these features whilst maintaining the descriptive thoroughness this mode of information submission affords. The resulting trust rating then becomes an attribute of the feature, providing not only an indication as to the trustworthiness of a specific feature but is able to be aggregated across multiple features to illustrate the overall trustworthiness of a dataset.

  9. Reasoning about Unreliable Actions

    White, Graham

    2012-01-01

    We analyse the philosopher Davidson's semantics of actions, using a strongly typed logic with contexts given by sets of partial equations between the outcomes of actions. This provides a perspicuous and elegant treatment of reasoning about action, analogous to Reiter's work on artificial intelligence. We define a sequent calculus for this logic, prove cut elimination, and give a semantics based on fibrations over partial cartesian categories: we give a structure theory for such fibrations. The existence of lax comma objects is necessary for the proof of cut elimination, and we give conditions on the domain fibration of a partial cartesian category for such comma objects to exist.

  10. Versão brasileira do Instrumento de Avaliação da Dor em Paciente Não Comunicativo (NOPPAIN: equivalência conceitual, de itens e semântica Brazilian version of the Non-communicative Patient's Pain Assessment Instrument (NOPPAIN: conceptual, item, and semantic equivalence

    Raquel Soares De Araujo

    2012-10-01

    Full Text Available A mensuração da dor em pessoas com déficit cognitivo grave, inábeis em comunicar verbalmente o que estão sentindo, tem sido um desafio. O Instrumento para Avaliação da Dor em Paciente Não Comunicativo (NOPPAIN é um instrumento que propõe a mensuração da dor por meio do julgamento de comportamentos observados, que expressam tal experiência. A inexistência de instrumentos desse tipo em nossa cultura levou ao desenvolvimento deste estudo, que teve como objetivo: adaptar culturalmente o NOPPAIN para o idioma português brasileiro. Trata-se de estudo metodológico, realizado com base no referencial de Guillemin et al. Foram percorridos quatro passos: tradução para o português brasileiro, obtenção de uma versão de consenso, retradução e avaliação das versões traduzidas e retraduzidas por um comitê de especialistas. Nesta abordagem inicial, o NOPPAIN-Br apresentou equivalência semântica com o original e está disponível no idioma português brasileiro para validação complementar.The evaluation and measurement of pain in individuals with dementia and unable to communicate verbally has been a challenging experience. The Non-communicative Patient's Pain Assessment Instrument (NOPPAIN is an instrument that evaluates this phenomenon by observing behaviors that express pain. Considering the lack of instruments for this purpose in Brazil, the current study was designed to translate the NOPPAIN instrument into Brazilian Portuguese and culturally adapt it to the Brazilian reality. This was a methodological study, with Guillemin et al. as the theoretical reference. The study included four steps: translation; obtaining a consensus version; back-translation; and evaluation of the translation and back-translation by an expert panel. In this initial approach, the NOPPAIN-Br showed semantic equivalence to the original instrument and is now available in Brazilian Portuguese for further validation.

  11. Semantic Representation of Synaesthesia

    Meier, Beat

    2013-01-01

    Synaesthesia has multifaceted consequences for both subjective experience and cognitive performance. Here, I broach the issue of how synaesthesia is represented in semantic memory. I hypothesize that, for example, in grapheme colour synaesthesia, colour is represented as an additional feature in the semantic network that enables the formation of associations that are not present in non-synaesthetes. Thus, synaesthesia provokes richer memory representations which enable learning opportunities ...

  12. Semantics on Translation

    李琦

    2014-01-01

    Semantics is the study of the meanings of words and sentences. While word is the most basic unit in every language and the understanding of the word meaning is the most important problem in translation. Therefore, the analysis of semantics just provides a very direct approach to doing translation. In this paper, I’d like to focus on the three kinds of word meaning in transla- tion, the ambiguities caused by the word meaning and how to deal with such ambiguities.

  13. The Semantic Web Languages

    Giunchiglia, Fausto; Farazi, Feroz; Tanca, Letizia; Virgilio, Roberto

    2009-01-01

    The Semantic Web is basically an extension of the Web and of the Web-enabling database and Internet technology, and, as a consequence, the Semantic Web methodologies, representation mechanisms and logics strongly rely on those developed in databases. This is the motivation for many attempts to, more or less loosely, merge the two worlds like, for instance, the various proposals to use relational technology for storing web data or the use of ontologies for data integration. This article comes ...

  14. Element Level Semantic Matching

    Giunchiglia, Fausto; Yatskevich, Mikalai

    2004-01-01

    We think of Match as an operator which takes two graph-like structures and produces a mapping between semantically related nodes. The matching process is essentially divided into two steps: element level and structure level. Element level matchers consider only labels of nodes, while structure level matchers start from this information to consider the full graph. In this paper we present various element level semantic matchers, and discuss their implementation within the S-Match system. The m...

  15. Semantically Interoperable XML Data

    Vergara-Niedermayr, Cristobal; Wang, Fusheng; Pan, Tony; Kurc, Tahsin; Saltz, Joel

    2013-01-01

    XML is ubiquitously used as an information exchange platform for web-based applications in healthcare, life sciences, and many other domains. Proliferating XML data are now managed through latest native XML database technologies. XML data sources conforming to common XML schemas could be shared and integrated with syntactic interoperability. Semantic interoperability can be achieved through semantic annotations of data models using common data elements linked to concepts from ontologies. In t...

  16. Motor Equivalence in Speech Production

    Perrier, Pascal; Fuchs, Susanne

    2015-01-01

    International audience The first section provides a description of the concepts of “motor equivalence” and “degrees of freedom”. It is illustrated with a few examples of motor tasks in general and of speech production tasks in particular. In the second section, the methodology used to investigate experimentally motor equivalence phenomena in speech production is presented. It is mainly based on paradigms that perturb the perception-action loop during on-going speech, either by limiting the...

  17. Politico-economic equivalence

    Gonzalez Eiras, Martin; Niepelt, Dirk

    2015-01-01

    Traditional "economic equivalence'' results, like the Ricardian equivalence proposition, define equivalence classes over exogenous policies. We derive "politico-economic equivalence" conditions that apply in environments where policy is endogenous and chosen sequentially. A policy regime and a...... state are equivalent to another such pair if both pairs give rise to the same allocation in politico-economic equilibrium. The equivalence conditions help to identify factors that render institutional change non-neutral and to construct politico-economic equilibria in new policy regimes. We exemplify...

  18. Foundations of semantic web technologies

    Hitzler, Pascal; Rudolph, Sebastian

    2009-01-01

    The Quest for Semantics Building Models Calculating with Knowledge Exchanging Information Semanic Web Technologies RESOURCE DESCRIPTION LANGUAGE (RDF)Simple Ontologies in RDF and RDF SchemaIntroduction to RDF Syntax for RDF Advanced Features Simple Ontologies in RDF Schema Encoding of Special Data Structures An ExampleRDF Formal Semantics Why Semantics? Model-Theoretic Semantics for RDF(S) Syntactic Reasoning with Deduction Rules The Semantic Limits of RDF(S)WEB ONTOLOGY LANGUAGE (OWL) Ontologies in OWL OWL Syntax and Intuitive Semantics OWL Species The Forthcoming OWL 2 StandardOWL Formal Sem

  19. Personal semantics: Is it distinct from episodic and semantic memory? An electrophysiological study of memory for autobiographical facts and repeated events in honor of Shlomo Bentin.

    Renoult, Louis; Tanguay, Annick; Beaudry, Myriam; Tavakoli, Paniz; Rabipour, Sheida; Campbell, Kenneth; Moscovitch, Morris; Levine, Brian; Davidson, Patrick S R

    2016-03-01

    Declarative memory is thought to consist of two independent systems: episodic and semantic. Episodic memory represents personal and contextually unique events, while semantic memory represents culturally-shared, acontextual factual knowledge. Personal semantics refers to aspects of declarative memory that appear to fall somewhere in between the extremes of episodic and semantic. Examples include autobiographical knowledge and memories of repeated personal events. These two aspects of personal semantics have been studied little and rarely compared to both semantic and episodic memory. We recorded the event-related potentials (ERPs) of 27 healthy participants while they verified the veracity of sentences probing four types of questions: general (i.e., semantic) facts, autobiographical facts, repeated events, and unique (i.e., episodic) events. Behavioral results showed equivalent reaction times in all 4 conditions. True sentences were verified faster than false sentences, except for unique events for which no significant difference was observed. Electrophysiological results showed that the N400 (which is classically associated with retrieval from semantic memory) was maximal for general facts and the LPC (which is classically associated with retrieval from episodic memory) was maximal for unique events. For both ERP components, the two personal semantic conditions (i.e., autobiographical facts and repeated events) systematically differed from semantic memory. In addition, N400 amplitudes also differentiated autobiographical facts from unique events. Autobiographical facts and repeated events did not differ significantly from each other but their corresponding scalp distributions differed from those associated with general facts. Our results suggest that the neural correlates of personal semantics can be distinguished from those of semantic and episodic memory, and may provide clues as to how unique events are transformed to semantic memory. PMID:26277459

  20. Small-step and big-step semantics for call-by-need

    Nakata, Keiko

    2009-01-01

    We present natural semantics for acyclic as well as cyclic call-by-need lambda calculi, which are proved equivalent to the reduction semantics given by Ariola and Felleisen. The natural semantics are big-step and use global heaps, where evaluation is suspended and memorized. The reduction semantics are small-step and evaluation is suspended and memorized locally in let-bindings. Thus two styles of formalization describe the call-by-need strategy from different angles. The natural semantics for the acyclic calculus is revised from the previous presentation by Maraist et al. and its adequacy is ascribed to its correspondence with the reduction semantics, which has been proved equivalent to call-by-name by Ariola and Felleisen. The natural semantics for the cyclic calculus is inspired by that of Launchbury and Sestoft and we state its adequacy using a denotational semantics in the style of Launchbury; adequacy of the reduction semantics for the cyclic calculus is in turn ascribed to its correspondence with the n...

  1. Semantic Web Mining: Benefits, Challenges and Opportunities

    Syeda Farha Shazmeen, Etyala Ramyasree

    2012-01-01

    Semantic Web Mining aims at combining the two areas Semantic Web and Web Mining by using semantics to improve mining and using mining to create semantics. Web Mining aims at discovering insights about the meaning of Web resources and their usage In Semantic Web, the semantics information is presented by the relation with others and is recorded by RDF. RDF which is semantic web technology that can be utilized to build efficient and scalable systems for Cloud. The Semantic Web enriches the Worl...

  2. Semantic web technology to support learning about the semantic web

    Dzbor, Martin; Motta, Enrico

    2007-01-01

    This paper describes ASPL, an Advanced Semantic Platform for Learning, designed using the Magpie framework with an aim to support students learning about the Semantic Web research area. We describe the evolution of ASPL and illustrate how we used the results from a formal evaluation of the initial system to re-design the user functionalities. The second version of ASPL semantically interprets the results provided by a non-semantic web mining tool and uses them to support various forms of sema...

  3. The Semantic SPASE

    Hughes, S.; Crichton, D.; Thieman, J.; Ramirez, P.; King, T.; Weiss, M.

    2005-12-01

    The Semantic SPASE (Space Physics Archive Search and Extract) prototype demonstrates the use of semantic web technologies to capture, document, and manage the SPASE data model, support facet- and text-based search, and provide flexible and intuitive user interfaces. The SPASE data model, under development since late 2003 by a consortium of space physics domain experts, is intended to serve as the basis for interoperability between independent data systems. To develop the Semantic SPASE prototype, the data model was first analyzed to determine the inherit object classes and their attributes. These were entered into Stanford Medical Informatics' Protege ontology tool and annotated using definitions from the SPASE documentation. Further analysis of the data model resulted in the addition of class relationships. Finally attributes and relationships that support broad-scope interoperability were added from research associated with the Object-Oriented Data Technology task. To validate the ontology and produce a knowledge base, example data products were ingested. The capture of the data model as an ontology results in a more formal specification of the model. The Protege software is also a powerful management tool and supports plug-ins that produce several graphical notations as output. The stated purpose of the semantic web is to support machine understanding of web-based information. Protege provides an export capability to RDF/XML and RDFS/XML for this purpose. Several research efforts use RDF/XML knowledge bases to provide semantic search. MIT's Simile/Longwell project provides both facet- and text-based search using a suite of metadata browsers and the text-based search engine Lucene. Using the Protege generated RDF knowledge-base a semantic search application was easily built and deployed to run as a web application. Configuration files specify the object attributes and values to be designated as facets (i.e. search) constraints. Semantic web technologies provide

  4. Semantic Changes of Gerund

    Zofija Babickienė

    2012-06-01

    Full Text Available In this article, semantic models of gerund in the Lithuanian language are being investigated. Their productivity and the reasons of their change in the Lithuanian language are identified. The tendency to use gerund semantic structure in noun constructions is typical not only in Greek or Latin languages but also in English, Russian, etc. Regular polysemy is regarded as semantic derivation, i. e. shifting from main meanings to derivative ones. The object of this investigation is the usage patterns of gerunds which bear both the meaning of a verb and a noun. The examples for the present study have been gathered from the language of different Lithuanian dialects as well as from the Dictionary of the Lithuanian language (different volumes, etc. The research results reveal that semantic changes of object and result are the most productive, whereas mood or time semantic model proved to be not so productive. The productivity of regular models depends on the fact that there are suffix derivatives which have the meaning of a result. The research shows that scientific style and language of different dialects are rich in the use of gerund.

  5. Equivalence principles and electromagnetism

    Ni, W.-T.

    1977-01-01

    The implications of the weak equivalence principles are investigated in detail for electromagnetic systems in a general framework. In particular, it is shown that the universality of free-fall trajectories (Galileo weak equivalence principle) does not imply the validity of the Einstein equivalence principle. However, the Galileo principle plus the universality of free-fall rotation states does imply the Einstein principle.

  6. Equivalence in Translation

    李良杰

    2013-01-01

    There are many researches about translation theories and methods in western translation history. Equivalence in transla⁃tion has always been the central issue for discussion. This paper gives a general review and comment on equivalence in translation in terms of three representative translation theorists and their views about equivalence in translation.

  7. Cognitive semantic networks: emotional verbs throw a tantrum but don't bite

    Petersen, Michael Kai; Hansen, Lars Kai

    2012-01-01

    leg, hand and face related but also emotional action verbs activate premotor systems in the brain. Hypothesizing that the force and spatial parameters which define action based language might also be reflected in the latent semantics of words, we select motor and emotion related verbs and apply latent...... semantic analysis, multidimensional scaling, hierarchical clustering and network graph analysis to quantify their interaction and identify parameters of force and spatial differentiation which we propose cognitively relate emotions to sensorimotor action schemas....

  8. Temporal Representation in Semantic Graphs

    Levandoski, J J; Abdulla, G M

    2007-08-07

    A wide range of knowledge discovery and analysis applications, ranging from business to biological, make use of semantic graphs when modeling relationships and concepts. Most of the semantic graphs used in these applications are assumed to be static pieces of information, meaning temporal evolution of concepts and relationships are not taken into account. Guided by the need for more advanced semantic graph queries involving temporal concepts, this paper surveys the existing work involving temporal representations in semantic graphs.

  9. Implicit learning of semantic preferences

    Paciorek, Albertyna

    2013-01-01

    The research presented in this PhD dissertation examines the phenomenon of semantic implicit learning, using semantic preferences of novel verbs as a test case. Implicit learning refers to the phenomenon of learning without intending to learn or awareness that one is learning at all. Semantic preference (or selectional preference ? as preferred in computational linguistics) is the tendency of a word to co-occur with words sharing similar semantic features. For example, ?drink? is typically fo...

  10. Pragmatic Equivalence in Different Translations of The Merchant of Venice

    白婕

    2015-01-01

    Pragmatic equivalence, meaning to transfer the implied meaning of the source text to the target text, usually involves the receiver to whom the translation is directed. Two notions are crucial in translation to achieve pragmatic equivalence:context and optimal relevance. In light of these two element, the author in this paper conducts a case study by using Shakespeare’s play The Merchant of Venice and two Chinese versions from Zhu Shenghao and Sun Dayu as data, by comparing these two versions to explore how pragmatic equivalence in translation can be achieve at lexical, semantic and cultural levels.

  11. On the Semantics of Purpose Requirements in Privacy Policies

    Tschantz, Michael Carl; Wing, Jeannette M

    2011-01-01

    Privacy policies often place requirements on the purposes for which a governed entity may use personal information. For example, regulations, such as HIPAA, require that hospital employees use medical information for only certain purposes, such as treatment. Thus, using formal or automated methods for enforcing privacy policies requires a semantics of purpose requirements to determine whether an action is for a purpose or not. We provide such a semantics using a formalism based on planning. We model planning using a modified version of Markov Decision Processes, which exclude redundant actions for a formal definition of redundant. We use the model to formalize when a sequence of actions is only for or not for a purpose. This semantics enables us to provide an algorithm for automating auditing, and to describe formally and compare rigorously previous enforcement methods.

  12. Semantic Search of Web Services

    Hao, Ke

    2013-01-01

    This dissertation addresses semantic search of Web services using natural language processing. We first survey various existing approaches, focusing on the fact that the expensive costs of current semantic annotation frameworks result in limited use of semantic search for large scale applications. We then propose a vector space model based service…

  13. Evolution of semantic systems

    Küppers, Bernd-Olaf; Artmann, Stefan

    2013-01-01

    Complex systems in nature and society make use of information for the development of their internal organization and the control of their functional mechanisms. Alongside technical aspects of storing, transmitting and processing information, the various semantic aspects of information, such as meaning, sense, reference and function, play a decisive part in the analysis of such systems.With the aim of fostering a better understanding of semantic systems from an evolutionary and multidisciplinary perspective, this volume collects contributions by philosophers and natural scientists, linguists, i

  14. Enterprise semantic Web

    Gutiérrez Alba, David

    2012-01-01

    This document is a journey through Semantic Web principles and Microsoft SharePoint in order to come to understand some advantages and disadvantages of theirs, and how Semantic Web principles can be blended into an enterprise solution like Microsoft SharePoint. Aquest document és un viatge a través dels principis de la web semàntica i Microsoft SharePoint amb la finalitat d'arribar a entendre alguns dels seus avantatges i desavantatges, i com els principis de la web semàntica es poden barr...

  15. The Sigma-Semantics: A Comprehensive Semantics for Functional Programs

    Chitil, Olaf

    1997-01-01

    A comprehensive semantics for functional programs is presented, which generalizes the well-known call-by-value and call-by-name semantics. By permitting a separate choice between call-by value and call-by-name for every argument position of every function and parameterizing the semantics by this choice we abstract from the parameter-passing mechanism. Thus common and distinguishing features of all instances of the sigma-semantics, especially call-by-value and call-by-name semantics, are highl...

  16. Constructing a semantic predication gold standard from the biomedical literature

    Kilicoglu Halil

    2011-12-01

    Full Text Available Abstract Background Semantic relations increasingly underpin biomedical text mining and knowledge discovery applications. The success of such practical applications crucially depends on the quality of extracted relations, which can be assessed against a gold standard reference. Most such references in biomedical text mining focus on narrow subdomains and adopt different semantic representations, rendering them difficult to use for benchmarking independently developed relation extraction systems. In this article, we present a multi-phase gold standard annotation study, in which we annotated 500 sentences randomly selected from MEDLINE abstracts on a wide range of biomedical topics with 1371 semantic predications. The UMLS Metathesaurus served as the main source for conceptual information and the UMLS Semantic Network for relational information. We measured interannotator agreement and analyzed the annotations closely to identify some of the challenges in annotating biomedical text with relations based on an ontology or a terminology. Results We obtain fair to moderate interannotator agreement in the practice phase (0.378-0.475. With improved guidelines and additional semantic equivalence criteria, the agreement increases by 12% (0.415 to 0.536 in the main annotation phase. In addition, we find that agreement increases to 0.688 when the agreement calculation is limited to those predications that are based only on the explicitly provided UMLS concepts and relations. Conclusions While interannotator agreement in the practice phase confirms that conceptual annotation is a challenging task, the increasing agreement in the main annotation phase points out that an acceptable level of agreement can be achieved in multiple iterations, by setting stricter guidelines and establishing semantic equivalence criteria. Mapping text to ontological concepts emerges as the main challenge in conceptual annotation. Annotating predications involving biomolecular

  17. Context effects in embodied lexical-semantic processing

    Wessel O Van Dam

    2010-10-01

    Full Text Available The embodied view of language comprehension proposes that the meaning of words is grounded in perception and action rather than represented in abstract amodal symbols. Support for embodied theories of language processing comes from behavioural studies showing that understanding a sentence about an action can modulate congruent and incongruent physical responses, suggesting motor involvement during comprehension of sentences referring to bodily movement. Additionally, several neuroimaging studies have provided evidence that comprehending single words denoting manipulable objects elicits specific responses in the neural motor system. An interesting question that remains is whether action semantic knowledge is directly activated as motor simulations in the brain, or rather modulated by the semantic context in which action words are encountered. In the current paper we investigated the nature of conceptual representations using a go/no-go lexical decision task. Specifically, target words were either presented in a semantic context that emphasized dominant action features (features related to the functional use of an object or non-dominant action features. The response latencies in a lexical decision task reveal that participants were faster to respond to words denoting objects for which the functional use was congruent with the prepared movement. This facilitation effect, however, was only apparent when the semantic context emphasized corresponding motor properties. These findings suggest that motor involvement during comprehension of sentences is not automatic. Rather, the results suggest that conceptual processing is a context-dependent process that incorporates motor-related knowledge in a flexible manner.

  18. Universal Semantics in Translation

    Wang, Zhenying

    2009-01-01

    What and how we translate are questions often argued about. No matter what kind of answers one may give, priority in translation should be granted to meaning, especially those meanings that exist in all concerned languages. In this paper the author defines them as universal sememes, and the study of them as universal semantics, of which…

  19. The semantic similarity ensemble

    Andrea Ballatore

    2013-12-01

    Full Text Available Computational measures of semantic similarity between geographic terms provide valuable support across geographic information retrieval, data mining, and information integration. To date, a wide variety of approaches to geo-semantic similarity have been devised. A judgment of similarity is not intrinsically right or wrong, but obtains a certain degree of cognitive plausibility, depending on how closely it mimics human behavior. Thus selecting the most appropriate measure for a specific task is a significant challenge. To address this issue, we make an analogy between computational similarity measures and soliciting domain expert opinions, which incorporate a subjective set of beliefs, perceptions, hypotheses, and epistemic biases. Following this analogy, we define the semantic similarity ensemble (SSE as a composition of different similarity measures, acting as a panel of experts having to reach a decision on the semantic similarity of a set of geographic terms. The approach is evaluated in comparison to human judgments, and results indicate that an SSE performs better than the average of its parts. Although the best member tends to outperform the ensemble, all ensembles outperform the average performance of each ensemble's member. Hence, in contexts where the best measure is unknown, the ensemble provides a more cognitively plausible approach.

  20. Latent Semantic Analysis.

    Dumais, Susan T.

    2004-01-01

    Presents a literature review that covers the following topics related to Latent Semantic Analysis (LSA): (1) LSA overview; (2) applications of LSA, including information retrieval (IR), information filtering, cross-language retrieval, and other IR-related LSA applications; (3) modeling human memory, including the relationship of LSA to other…

  1. Characterization of Revenue Equivalence

    Heydenreich, B.; Müller, R.J.; Uetz, M.J.; R. Vohra

    2008-01-01

    The property of an allocation rule to be implementable in dominant strategies by a unique payment scheme is called \\emph{revenue equivalence}. In this paper we give a characterization of revenue equivalence based on a graph theoretic interpretation of the incentive compatibility constraints. The characterization holds for any (possibly infinite) outcome space and many of the known results are immediate consequences. Moreover, revenue equivalence can be identified in cases where existing theor...

  2. Characterization of revenue equivalence

    Heydenreich, Birgit; Müller, Rudolf; Uetz, Marc

    2007-01-01

    The property of an allocation rule to be implementable in dominant strategies by a unique payment scheme is called revenue equivalence. In this paper we give a characterization of revenue equivalence based on a graph theoretic interpretation of the incentive compatibility constraints. The characterization holds for any (possibly in¯nite) outcome space and many of the known results about revenue equivalence are immediate consequences.

  3. Integrating Ontology into Semantic File Systems

    Ngo, Ba-Hung; Bac, Christian; SILBER-CHAUSSUMIER, Frédérique

    2007-01-01

    Semantic file systems enhance standard file systems with the ability of file searching based on file semantics. In this paper, we propose to integrate the support for ontologies into a file system to build efficient semantic file systems whose file semantics can be shared between users, applications and semantic file systems themselves. We call it ontology-based file system. We identify three existing types of file semantics: property-based, content-based and context-based semantics and adopt...

  4. Characterization of revenue equivalence

    Heydenreich, B.; Müller, R.; Uetz, M.J.; Vohra, R.

    2009-01-01

    The property of an allocation rule to be implementable in dominant strategies by a unique payment scheme is called revenue equivalence. We give a characterization of revenue equivalence based on a graph theoretic interpretation of the incentive compatibility constraints. The characterization holds f

  5. Characterization of revenue equivalence

    Heydenreich, Birgit; Müller, Rudolf; Uetz, Marc; Vohra, Rakesh

    2008-01-01

    The property of an allocation rule to be implementable in dominant strategies by a unique payment scheme is called \\emph{revenue equivalence}. In this paper we give a characterization of revenue equivalence based on a graph theoretic interpretation of the incentive compatibility constraints. The cha

  6. Challenges in Bridging Social Semantics and Formal Semantics on the Web

    Gandon, Fabien; Buffa, Michel; Cabrio, Elena; Corby, Olivier; Faron-Zucker, Catherine; Giboin, Alain; Le Thanh, Nhan; Mirbel, Isabelle; Sander, Peter; Tettamanzi, Andrea G. B.; Villata, Serena

    2013-01-01

    International audience This paper describes several results of Wimmics, a research lab which names stands for: web-instrumented man-machine interactions, communities, and semantics. The approaches introduced here rely on graph-oriented knowledge representation, reasoning and operationalization to model and support actors, actions and interactions in web-based epistemic communities. The re-search results are applied to support and foster interactions in online communities and manage their r...

  7. How neurons make meaning: brain mechanisms for embodied and abstract-symbolic semantics.

    Pulvermüller, Friedemann

    2013-09-01

    How brain structures and neuronal circuits mechanistically underpin symbolic meaning has recently been elucidated by neuroimaging, neuropsychological, and neurocomputational research. Modality-specific 'embodied' mechanisms anchored in sensorimotor systems appear to be relevant, as are 'disembodied' mechanisms in multimodal areas. In this paper, four semantic mechanisms are proposed and spelt out at the level of neuronal circuits: referential semantics, which establishes links between symbols and the objects and actions they are used to speak about; combinatorial semantics, which enables the learning of symbolic meaning from context; emotional-affective semantics, which establishes links between signs and internal states of the body; and abstraction mechanisms for generalizing over a range of instances of semantic meaning. Referential, combinatorial, emotional-affective, and abstract semantics are complementary mechanisms, each necessary for processing meaning in mind and brain. PMID:23932069

  8. From Data to Semantic Information

    Luciano Floridi

    2003-06-01

    Full Text Available Abstract: There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information (SDI as meaningful data, in favour of the Dretske-Grice approach: meaningful and well-formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI is incorrect because truth-values do not supervene on semantic information, and misinformation (that is, false semantic information is not a type of semantic information, but pseudo-information, that is not semantic information at all. This is shown by arguing that none of the reasons for interpreting misinformation as a type of semantic information is convincing, whilst there are compelling reasons to treat it as pseudo-information. As a consequence, SDI is revised to include a necessary truth-condition. The last section summarises the main results of the paper and indicates the important implications of the revised definition for the analysis of the deflationary theories of truth, the standard definition of knowledge and the classic, quantitative theory of semantic information.

  9. Equivalences of twisted K3 surfaces

    Huybrechts, Daniel; Stellari, Paolo

    2004-01-01

    We prove that two derived equivalent twisted K3 surfaces have isomorphic periods. The converse is shown for K3 surfaces with large Picard number. It is also shown that all possible twisted derived equivalences between arbitrary twisted K3 surfaces form a subgroup of the group of all orthogonal transformations of the cohomology of a K3 surface. The passage from twisted derived equivalences to an action on the cohomology is made possible by twisted Chern characters that will be introduced for a...

  10. A Fully Abstract Symbolic Semantics for Psi-Calculi

    Johansson, Magnus; Parrow, Joachim; 10.4204/EPTCS.18.2

    2010-01-01

    We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the standard pi-calculus mechanism to allow for scope migrations. Psi-calculi can be more general than other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, or the concurrent constraint pi-calculus. Symbolic semantics are necessary for an efficient implementation of the calculus in automated tools exploring state spaces, and the full abstraction property means the semantics of a process does not change from the original.

  11. Semantic Vector Machines

    Vincent, Etter

    2011-01-01

    We first present our work in machine translation, during which we used aligned sentences to train a neural network to embed n-grams of different languages into an $d$-dimensional space, such that n-grams that are the translation of each other are close with respect to some metric. Good n-grams to n-grams translation results were achieved, but full sentences translation is still problematic. We realized that learning semantics of sentences and documents was the key for solving a lot of natural language processing problems, and thus moved to the second part of our work: sentence compression. We introduce a flexible neural network architecture for learning embeddings of words and sentences that extract their semantics, propose an efficient implementation in the Torch framework and present embedding results comparable to the ones obtained with classical neural language models, while being more powerful.

  12. Where Are the Semantics in the Semantic Web?

    Uschold, Michael

    2003-01-01

    The most widely accepted defining feature of the semantic web is machine-usable content. By this definition, the semantic web is already manifest in shopping agents that automatically access and use web content to find the lowest air fares or book prices. However, where are the semantics? Most people regard the semantic web as a vision, not a reality -- so shopping agents should not "count." To use web content, machines need to know what to do when they encounter it, which, in turn, requires ...

  13. Semantic Web Services Fundamentals

    Heymans, Stijn; Hoffmann, Joerg; Marconi, Annapaola; Phlipps, Joshua; Weber, Ingo

    2011-01-01

    The research area of Semantic Web Services investigates the annotation of services, typically in a SOA, with a precise mathematical meaning in a formal ontology. These annotations allow a higher degree of automation. The last decade has seen a wide proliferation of such approaches, proposing different ontology languages, and paradigms for employing these in practice. The next chapter gives an overview of these approaches. In the present chapter, we provide an understanding of the fundamental ...

  14. Metaphor and Lexical Semantics

    Michael Glanzberg

    2008-01-01

    ABSTRACT: This paper shows that several sorts of expressions cannot be interpreted metaphorically, including determiners, tenses, etc. Generally, functional categories cannot be interpreted metaphorically, while lexical categories can. This reveals a semantic property of functional categories, and it shows that metaphor can be used as a probe for investigating them. It also reveals an important linguistic constraint on metaphor. The paper argues this constraint applies to the interface betwee...

  15. Insensitive Enough Semantics

    Richard Vallée

    2006-06-01

    Full Text Available According to some philosophers, sentences like (1 “It is raining” and (2 “John is ready” are context sensitive sentences even if they do not contain indexicals or demonstratives. That view initiated a context sensitivity frenzy. Cappelen and Lepore (2005 summarize the frenzy by the slogan “Every sentence is context sensitive” (Insensitive Semantics, p. 6, note 5. They suggest a view they call Minimalism according to which the truth conditions of utterances of sentences like (1/(2 are exactly what Convention T gives you. I will distinguish different propositions, and refocus semantics on sentences. As distinct from what the protagonists in the ongoing debate think, I argue that the content or truth conditions of utterances of both context sensitive sentences and sentences like (1/(2 are not interesting from a semantic point of view, and that the problem sentences like (1/(2 raises is not about context sensitivity or context insensitivity of sentences, but relevance of the content of utterances.

  16. Hierarchical Semantic Model of Geovideo

    XIE Xiao

    2015-05-01

    Full Text Available The public security incidents were getting increasingly challenging with regard to their new features, including multi-scale mobility, multistage dynamic evolution, as well as spatiotemporal concurrency and uncertainty in the complex urban environment. However, the existing video models, which were used/designed for independent archive or local analysis of surveillance video, have seriously inhibited emergency response to the urgent requirements.Aiming at the explicit representation of change mechanism in video, the paper proposed a novel hierarchical geovideo semantic model using UML. This model was characterized by the hierarchical representation of both data structure and semantics based on the change-oriented three domains (feature domain, process domain and event domain instead of overall semantic description of video streaming; combining both geographical semantics and video content semantics, in support of global semantic association between multiple geovideo data. The public security incidents by video surveillance are inspected as an example to illustrate the validity of this model.

  17. SEMANTIC WEB (CREATING AND QUERYING

    Vidya S. Dandagi

    2016-01-01

    Full Text Available Semantic Web is a system that allows machines to understand complex human requests. Depending on the meaning semantic web replies. Semantics is the learning of the meanings of linguistic appearance. It is the main branch of contemporary linguistics. Semantics is meaning of words, text or a phrase and relations between them. RDF provides essential support to the Semantic Web. To represent distributed information RDF is created. Applications can use RDF created and process it in an adaptive manner. Knowledge representation is done using RDF standards and it is machine understandable. This paper describes the creation of a semantic web using RDF, and retrieval of accurate results using SparQL query language.

  18. Rethinking actions: implementation and association.

    Quandt, Lorna C; Chatterjee, Anjan

    2015-01-01

    Action processing allows us to move through and interact with the world, as well as understand the movements performed by other people. In recent years, there has been increasing interest in the semantics of actions as differentiated from the semantics of objects. However, as the understanding of action semantics has evolved, it is evident that the existing literature conflates two senses of the word 'action'-one that stems from studies of tool use and the other from event representation. In this paper, we suggest that this issue can be clarified by closely examining differences in how the human parietal and temporal cortices of the brain process action-related stimuli. By contrasting the posterior parietal cortex to the posterolateral temporal cortex, we characterize two complementary action systems in the human brain, each with its own specialization of function. We suggest that these two systems be referred to as the parietal Action Implementation System, and the posterolateral temporal Action Association System. While the frontoparietal system is concerned primarily with how we perform actions, and simulate others' actions, the temporal action system is more involved with processing actions from a third-person, conceptual standpoint. Recent work in cognitive neuroscience of perception and language, as well as the neuroanatomical organization of these brain regions support this distinction. We will discuss the implications of this work for cognition-, language-, and neuroscience-based action research. PMID:26352170

  19. System semantics of explanatory dictionaries

    Volodymyr Shyrokov

    2015-01-01

    System semantics of explanatory dictionariesSome semantic properties of the language to be followed from the structure of lexicographical systems of big explanatory dictionaries are considered. The hyperchains and hypercycles are determined as the definite kind of automorphisms of the lexicographical system of explanatory dictionary. Some semantic consequencies following from the principles of lexicographic closure and lexicographic completeness are investigated using the hyperchains and hype...

  20. Semantic Shift in Plant Names

    DOSKOČILOVÁ, Iveta

    2014-01-01

    The aim of the present work is to identify and list English plant names coined by semantic shift, namely by metaphor, metonymy or synecdoche, and to carry out a detailed categorisation of individual semantic categories based on different tendencies within them and interpretation of the results. The theoretical part of my work focuses on different approaches to semantic shift and its categories. It is followed by the practical part which deals individually with metaphor, metonymy and synecdoch...

  1. Semantic multimedia analysis and processing

    Spyrou, Evaggelos; Mylonas, Phivos

    2014-01-01

    Broad in scope, Semantic Multimedia Analysis and Processing provides a complete reference of techniques, algorithms, and solutions for the design and the implementation of contemporary multimedia systems. Offering a balanced, global look at the latest advances in semantic indexing, retrieval, analysis, and processing of multimedia, the book features the contributions of renowned researchers from around the world. Its contents are based on four fundamental thematic pillars: 1) information and content retrieval, 2) semantic knowledge exploitation paradigms, 3) multimedia personalization, and 4)

  2. A System-Level Semantics

    Ghica, Dan R.; Tzevelekos, Nikos

    2012-01-01

    Game semantics is a trace-like denotational semantics for programming languages where the notion of legal observable behaviour of a term is defined combinatorially, by means of rules of a game between the term (the "Proponent") and its context (the "Opponent"). In general, the richer the computational features a language has, the less constrained the rules of the semantic game. In this paper we consider the consequences of taking this relaxation of rules to the limit, by granting the Opponent...

  3. Towards an Emergent Semantic Web

    Portmann, Edy

    2012-01-01

    In his in uential article about the evolution of the Web, Berners-Lee [1] envisions a Semantic Web in which humans and computers alike are capable of understanding and processing information. This vision is yet to materialize. The main obstacle for the Semantic Web vision is that in today's Web meaning is rooted most often not in formal semantics, but in natural language and, in the sense of semiology, emerges not before interpretation and processing. Yet, an automated form of interpretation ...

  4. Archaeology and the Semantic Web

    Isaksen, Leif

    2011-01-01

    This thesis explores the application of Semantic Web technologies to the discipline of Archaeology. Part One (Chapters 1-3) offers a discussion of historical developments in this field. It begins with a general comparison of the supposed benefits of semantic technologies and notes that they partially align with the needs of archaeologists. This is followed by a literature review which identifies two different perspectives on the Semantic Web: Mixed-Source Knowledge Representation (MSKR), whic...

  5. Improving Semantic Web Service Discovery

    J. Javier Samper; F. Javier Adell; Leo van den Berg; J. José Martinez

    2008-01-01

    Semantic Web Services (SWS) propose to extend the traditional Web Services technologies on the way to consolidate ontologies and semantics. This makes it possible to select, integrate and invocate services dynamically. In this way, services are able to dynamically adapt themselves to changes without human intervention. The main purpose of this paper is to present an algorithm for matching SWS. The algorithm uses the description of the service capabilities to match the semantic values. The tra...

  6. A Timed Semantics for SDL

    Mørk, Simon; Godskesen, Jens Christian; Hansen, Michael Reichhardt; Sharp, Robin

    An alternative formal semantics for describing the temporal aspects for the ITU-T specification language SDL is proposed, based on the interval temporal logic Duration Calculus (DC). It is shown how DC can be used to give an SDL semantics with a precise treatment oftemporal phenomena. The semantics...... allows true concurrency. We show how it can be used to address issues such as the verification oftemporal properties, process scheduling, and the nature of viewed (shared) variables....

  7. Survey of semantic modeling techniques

    Smith, C.L.

    1975-07-01

    The analysis of the semantics of programing languages was attempted with numerous modeling techniques. By providing a brief survey of these techniques together with an analysis of their applicability for answering semantic issues, this report attempts to illuminate the state-of-the-art in this area. The intent is to be illustrative rather than thorough in the coverage of semantic models. A bibliography is included for the reader who is interested in pursuing this area of research in more detail.

  8. Comparative study of the impacts of hydroelectric power plants with impacts avoided by a Virtual Plants Equivalents (VPEs) through of energy efficiency actions; Estudo comparativo dos impactos das usinas hidreletricas com os impactos evitados por uma usina virtual equivalente atraves das acoes de eficiencia energetica

    Silva, Roberto Perillo Barbosa da; Barros, Regiane Silva de [Universidade Estadual de Campinas (FEM/UNICAMP), SP (Brazil). Fac. de Engenharia Mecanica], emails: rpbsilva@fem.unicamp.br, rsbarros@fem.unicamp.br Rossi, Luiz Antonio [Universidade Estadual de Campinas (FEAGRI/UNICAMP), SP (Brazil). Fac. Engenharia Agricola], email: rossi@feagri.unicamp.br

    2010-07-01

    This article presents a comparative study of the impacts caused by Hydroelectric Power Plants (HPPs) in relation to the impacts avoided through actions that promotes energy efficiency called Virtual Plants Equivalents (VPEs). To do so, it was considering the recent results presented by the National Program for Electric Energy Conservation (PROCEL) to the year 2008, which shows that the program actions' in this period resulted in a Virtual Plant Equivalent of 1049 MW. It was performed a survey of the values of wetland and families displaced by the construction of hydropower plants and, later, it was compared these data with the values found in the literature and, finally, it was established that the actions of energy efficiency are important instruments to avoid (or at least postpone) the social and environmental impacts directly and indirectly that affects the whole society. Thus, it is suggested that there is a stimulus in relation to energy efficiency actions, what is observed nowadays in Brazil is that these actions are negligible before the potential that exists at industrial, commercial and residential sectors. (author)

  9. System semantics of explanatory dictionaries

    Volodymyr Shyrokov

    2015-11-01

    Full Text Available System semantics of explanatory dictionariesSome semantic properties of the language to be followed from the structure of lexicographical systems of big explanatory dictionaries are considered. The hyperchains and hypercycles are determined as the definite kind of automorphisms of the lexicographical system of explanatory dictionary. Some semantic consequencies following from the principles of lexicographic closure and lexicographic completeness are investigated using the hyperchains and hypercycles formalism. The connection between the hypercyle properties of the lexicographical system semantics and Goedel’s incompleteness theorem is discussed.

  10. Semantic Web Technologies for Digital Libraries

    Rajab Abd al-Hamed

    2007-01-01

    An article about the semantic web, it begins with defining the semantic web and its importance, then talks about the ontology relations, then the role of the semantic web in digital libraries, and its features which will serve digital libraries.

  11. The syntax and semantics of tense-aspect stem participles in early Ṛgvedic Sanskrit

    Lowe, John J; Willi, Andreas; Tucker, Elizabeth

    2012-01-01

    In this thesis I investigate the syntax and semantics of tense-aspect stem participles in the Ṛgveda, focusing primarily on the data from the earlier books II–VII and IX, seeking to establish a comprehensive and coherent analysis of this category within the linguistic system of Ṛgvedic Sanskrit. In recent literature tense-aspect stem participles are usually treated as semantically equivalent to finite verbs wherever possible, but contradictorily where they differ from finite verbs their adjec...

  12. GOOSE: semantic search on internet connected sensors

    Schutte, Klamer; Bomhof, Freek; Burghouts, Gertjan; van Diggelen, Jurriaan; Hiemstra, Peter; van't Hof, Jaap; Kraaij, Wessel; Pasman, Huib; Smith, Arthur; Versloot, Corne; de Wit, Joost

    2013-05-01

    More and more sensors are getting Internet connected. Examples are cameras on cell phones, CCTV cameras for traffic control as well as dedicated security and defense sensor systems. Due to the steadily increasing data volume, human exploitation of all this sensor data is impossible for effective mission execution. Smart access to all sensor data acts as enabler for questions such as "Is there a person behind this building" or "Alert me when a vehicle approaches". The GOOSE concept has the ambition to provide the capability to search semantically for any relevant information within "all" (including imaging) sensor streams in the entire Internet of sensors. This is similar to the capability provided by presently available Internet search engines which enable the retrieval of information on "all" web pages on the Internet. In line with current Internet search engines any indexing services shall be utilized cross-domain. The two main challenge for GOOSE is the Semantic Gap and Scalability. The GOOSE architecture consists of five elements: (1) an online extraction of primitives on each sensor stream; (2) an indexing and search mechanism for these primitives; (3) a ontology based semantic matching module; (4) a top-down hypothesis verification mechanism and (5) a controlling man-machine interface. This paper reports on the initial GOOSE demonstrator, which consists of the MES multimedia analysis platform and the CORTEX action recognition module. It also provides an outlook into future GOOSE development.

  13. Is semantic preview benefit due to relatedness or plausibility?

    Veldre, Aaron; Andrews, Sally

    2016-07-01

    There is increasing evidence that skilled readers of English benefit from processing a parafoveal preview of a semantically related word. However, in previous investigations of semantic preview benefit using the gaze-contingent boundary paradigm the semantic relatedness between the preview and target has been confounded with the plausibility of the preview word in the sentence. In the present study, preview relatedness and plausibility were independently manipulated in neutral sentences read by a large sample of skilled adult readers. Participants were assessed on measures of reading and spelling ability to identify possible sources of individual differences in preview effects. The results showed that readers benefited from a preview of a plausible word, regardless of the semantic relatedness of the preview and the target. However, there was limited evidence of a semantic relatedness benefit when the plausibility of the preview was controlled. The plausibility preview benefit was strongest for low proficiency readers, suggesting that poorer readers were more likely to program a forward saccade based on information extracted from the preview. High proficiency readers showed equivalent disruption from all nonidentical previews suggesting that they were more likely to suffer interference from the orthographic mismatch between preview and target. (PsycINFO Database Record PMID:26752734

  14. The functional neuroanatomy of actions

    Watson, Christine E.; Chatterjee, Anjan

    2011-01-01

    Our current understanding of the neural basis of semantic memory is informed primarily by studies of concrete objects. However, conceptual knowledge encompasses many other, albeit less concrete, domains. This article reviews evidence from neuroimaging and patient studies that speaks to the neural basis of action concepts and the words that refer to them. These data highlight 2 important principles governing the neural instantiation of semantic knowledge. First, the organization of conceptual ...

  15. Fully Abstract Game Semantics for Actors

    Wang, Yong

    2014-01-01

    Along the way paved by the recent concurrent game semantics for process algebra CCS and $\\pi$-calculus, based on the basic characteristics of the actor computational model and the very reductive semantics for actors, we establish a fully abstract concurrent game semantics for actors by borrowing the algebraic structure from CCS. This semantics can both be seen as an innocent presheaf semantics, and a concurrent game semantics.

  16. Non-semantic contributions to "semantic" redundancy gain.

    Shepherdson, Peter; Miller, Jeff

    2016-08-01

    Recently, two groups of researchers have reported redundancy gains (enhanced performance with multiple, redundant targets) in tasks requiring semantic categorization. Here we report two experiments aimed at determining whether the gains found by one of these groups resulted from some form of semantic coactivation. We asked undergraduate psychology students to complete choice RT tasks requiring the semantic categorization of visually presented words, and compared performance with redundant targets from the same semantic category to performance with redundant targets from different semantic categories. If the redundancy gains resulted from the combination of information at a semantic level, they should have been greater in the former than the latter situation. However, our results showed no significant differences in redundancy gain (for latency and accuracy) between same-category and different-category conditions, despite gains appearing in both conditions. Thus, we suggest that redundancy gain in the semantic categorization task may result entirely from statistical facilitation or combination of information at non-semantic levels. PMID:26339718

  17. An Improved Technique for Ranking Semantic Associations

    S Narayana

    2013-10-01

    Full Text Available The primary focus of the search techniques in the first generation of the Web is accessing relevant documents from the Web. Though it satisfies user requirements, but it is insufficient as the user sometimes wishes to access actionable information involving complex relationships between two given entities. Finding such complex relationships (also known as semantic associations is especially useful in applications such as National Security, Pharmacy, Business Intelligence etc. Therefore the next frontier is discovering relevant semantic associations between two entities present in large semantic metadata repositories. Given two entities, there exist a huge number of semantic associations between two entities. Hence ranking of these associations is required in order to find more relevant associations. For this Aleman Meza et al. proposed a method involving six metrics viz. context, subsumption, rarity, popularity, association length and trust. To compute the overall rank of the associations this method computes context, subsumption, rarity and popularity values for each component of the association and for all the associations. However it is obvious that, many components appears repeatedly in many associations therefore it is not necessary to compute context, subsumption, rarity, popularity, and trust values of the components every time for each association rather the previously computed values may be used while computing the overall rank of the associations. This paper proposes a method to reuse the previously computed values using a hash data structure thus reduce the execution time. To demonstrate the effectiveness of the proposed method, experiments were conducted on SWETO ontology. Results show that the proposed method is more efficient than the other existing methods.

  18. Developing Semantic Business Model for VO Construction on Semantic Grid

    CHU Wang; QIAN Depei

    2006-01-01

    This paper combines semantic web technology with business modeling and yields semantic business model that is semantically described in terms of roles and relationships. The semantic business model can be used to discover grid services by means of automation tools. The gap between business goals and grid services is bridged by role relationships and compositions of them, so that the virtual organization evolution is supported effectively. Semantic business model can support virtual organization validation at design stage rather than at run-time stage. The designers can animate their business model and make initial assessment of what interactions should occur between roles and in which order. The users can verify whether the grid service compositions satisfy business goals.

  19. Equivalências conceitual, semântica e instrumental: análises preliminares da versão em português (Brasil da Male Body Dissatisfaction Scale (MBDS Equivalencias conceptual, semántica e instrumental: análisis preliminares de la versión en portugués (Brasil de la Male Body Dissatisfaction Scale (MBDS Conceptual, semantic, and instrumental equivalences: preliminary analysis of the Brazilian Portuguese version of the Male Body Dissatisfaction Scale (MBDS

    Norman Hearst

    2013-02-01

    cualidades psicométricas iniciales. Necesita, asimismo, análisis de validez interna y externa, y de reproductibilidad.This study aimed to describe the translation into Brazilian Portuguese and the analysis of conceptual, semantic, and instrumental equivalences and assessment of internal consistency of the Male Body Dissatisfaction Scale (MBDS. The study included the steps of (1 translation; (2 synthesis of translation; (3 back-translation; (4 review by experts - judges - analysis of the semantic and instrumental equivalences; (5 pre-test - assessment of verbal understanding of the instrument by specialists and male students; (6 analysis of the internal consistency by Cronbach's α coefficient. The MBDS was translated and adapted into Brazilian Portuguese maintaining its original 25 items, showed good verbal comprehension, and had an internal consistency coefficient of 0.92. The scale was translated and adapted with satisfactory results, thus confirming its initial psychometric qualities. The instrument requires further analysis of internal and external validity, and reproducibility.

  20. Indistinguishability and semantic security for quantum encryption scheme

    Xiang, Chong; Yang, Li

    2015-01-01

    We investigate the definition of security for encryption scheme in quantum context. We systematically define the indistinguishability and semantic security for quantum public-key and private-key encryption schemes, and for computational security, physical security and information-theoretic security. Based on our definition, we present a necessary and sufficient condition that leads to information-theoretic indistinguishability for quantum encryption scheme. The equivalence between the indisti...

  1. Semantics and the crowd

    Mark GREAVES

    2012-01-01

    One of the principal scientific challenges that drives my group is to understand the character of formal knowledge on the Web.By formal knowledge,I mean information that is represented on the Web in something other than natural language text—typically,as machine-readable Web data with a formal syntax and a specific,intended semantics.The Web provides a major counterpoint to our traditional artificial intelligence (AI) based accounts of formal knowledge.Most symbolic AI systems are designed to address sophisticated logical inference over coherent conceptual knowledge,and thus the underlying research is focused on characterizing formal properties such as entailment relations,time/space complexity of inference,monotonicity,and expressiveness.In contrast,the Semantic Web allows us to explore formal knowledge in a very different context,where data representations exist in a constantly changing,large-scale,highly distributed network of looselyconnected publishers and consumers,and are governed by a Web-derived set of social practices for discovery,trust,reliability,and use.We are particularly interested in understanding how large-scale Semantic Web data behaves over longer time periods:the way by which its producers and consumers shift their requirements over time;how uniform resource identifiers (URIs) are used to dynamically link knowledge together;and the overall lifecycle of Web data from publication,to use,integration with other knowledge,evolution,and eventual deprecation.We believe that understanding formal knowledge in this Web context is the key to bringing existing AI insights and knowledge bases to the level of scale and utility of the current hypertext Web.

  2. Universal semantic communication

    Juba, Brendan

    2011-01-01

    Is meaningful communication possible between two intelligent parties who share no common language or background? In this work, a theoretical framework is proposed in which it is possible to address when and to what extent such semantic communication is possible: such problems can be rigorously addressed by explicitly focusing on the goals of the communication. Under this framework, it is possible to show that for many goals, communication without any common language or background is possible using universal protocols. This work should be accessible to anyone with an undergraduate-level knowled

  3. Semantic and Process Interoperability

    Félix Oscar Fernández Peña

    2010-05-01

    Full Text Available Knowledge management systems support education at different levels of the education. This is very important for the process in which the higher education of Cuba is involved. Structural transformations of teaching are focused on supporting the foundation of the information society in the country. This paper describes technical aspects of the designing of a model for the integration of multiple knowledgemanagement tools supporting teaching. The proposal is based on the definition of an ontology for the explicit formal description of the semantic of motivations of students and teachers in the learning process. Its target is to facilitate knowledge spreading.

  4. The emerging semantic web

    Cruz, Isabel; Decker, Stefan; Euzenat, Jérôme; McGuinness, Deborah

    2002-01-01

    The World Wide Web has been the main source of an important shift in the way people get information and order services. However, the current Web is aimed at people only. The Semantic Web is a Web defined and linked in a way that it can be used by machines not just for display purposes, but also for automation, integration and reuse of data across various applications. Facilities and technologies to put machine understandable data on the Web are rapidly becoming a high priority for many commun...

  5. Mappings for the Semantic Web

    Gómez-Pérez, A.; Ramos, JA

    2008-01-01

    Mappings usually relate two similar knowledge aware resources. Mapping examples abound in thesauri, databases, and ontologies. Additionally, mapping systems can relate two different knowledge resources, such as databases and ontologies. All these mappings are operationally different and are sometimes named differently— for example, correspondences, semantic bridges, transformations, semantic relations, functions, conversions, and domain-method relations

  6. Hypertext in the Semantic Web

    Miles-Board, Timothy; Kampa, Simon; Carr, Les; Hall, Wendy

    2001-01-01

    The Semantic Web extends the current state of the Web with well-defined meaning. We advocate the use of ontological hypertext as an application of the Semantic Web to provide a principled and structured approach to navigating the resources on the Web. This paper demonstrates how we have applied this concept to two real-world scenarios.

  7. Equivalent and Alternative Forms for BF Gravity with Immirzi Parameter

    Merced Montesinos; Mercedes Velázquez

    2011-01-01

    A detailed analysis of the BF formulation for general relativity given by Capovilla, Montesinos, Prieto, and Rojas is performed. The action principle of this formulation is written in an equivalent form by doing a transformation of the fields of which the action depends functionally on. The transformed action principle involves two BF terms and the two Lorentz invariants that appear in the original action principle generically. As an application of this formalism, the action principle used by...

  8. On U-equivalence spaces

    Omidi Farshad; Molaei MohammadReza

    2015-01-01

    In this paper induced U-equivalence spaces are introduced and discussed. Also the notion of U- equivalently open subsets of a U-equivalence space and U-equivalently open functions are studied. Finally, equivalently uniformisable topological spaces are considered.

  9. Disorders of semantic memory.

    McCarthy, R A; Warrington, E K

    1994-10-29

    It is now established that selective disorders of semantic memory may arise after focal cerebral lesions. Debate and dissension remain on three principal issues: category specificity, the status of modality-dependent knowledge, and the stability and sufficiency of stored information. Theories of category specificity have focused on the frequently reported dissociation between living things and man-made objects. However, other dimensions need theoretical integration. Impairments can be both finer-grain and broader in range. A second variable of importance is stimulus modality. Reciprocal interactive dissociations between vision and language and between animals and objects will be described. These indicate that the derivation of semantic information is constrained by input modality: we appear to have evolved separable databases for the visual and the verbal world. Thirdly, an orthogonal distinction has been drawn between degradation disorders, where representations are insufficient for comprehension, and access deficits, in which representations have become unstable. These issues may have their parallel in the acquisition of knowledge by the developing child. PMID:7886158

  10. Action Theory Contraction and Minimal Change

    Varzinczak, Ivan José

    2008-01-01

    This work is about changing action domain descriptions in dynamic logic. We here revisit the semantics of action theory contraction, giving more robust operators that express minimal change based on a notion of distance between models. We then define syntactical contraction operators and establish their correctness w.r.t. our semantics. Finally we show that our operators satisfy the PDL-counterpart of the standard postulates for theory change adopted in the literature.

  11. "Pre-Semantic" Cognition Revisited: Critical Differences between Semantic Aphasia and Semantic Dementia

    Jefferies, Elizabeth; Rogers, Timothy T.; Hopper, Samantha; Lambon Ralph, Matthew A.

    2010-01-01

    Patients with semantic dementia show a specific pattern of impairment on both verbal and non-verbal "pre-semantic" tasks, e.g., reading aloud, past tense generation, spelling to dictation, lexical decision, object decision, colour decision and delayed picture copying. All seven tasks are characterised by poorer performance for items that are…

  12. Últimamente: functional and semantic shift

    Mònica Vidal Díez

    2012-12-01

    Full Text Available The twenty-second edition of DRAE notes that últimamente has two adverbial type meanings, i. e. one adverbial meaning of manner - por ultimo - and another adverbial meaning of time that links with hace poco tiempo, recientemente. However, the time value does not appear in the dictionary until 1985, when, initially, the following formulation is used: hace poco, en el tiempo que acaba de transcurrir. This value, clearly the central or prototypical in modern Peninsular Spanish, contrasts, however, with the earlier functions assumed by this particle. Thus últimamente was equivalent to finalmente, por último término and therefore was used to insert either the closing segment of a multiple event chain arranged according to chronological criteria, or to indicate a sequence of elements in discourse without temporal marking. This research focuses on analyzing the changes in the particle últimamente until it acquired its current temporal function, i.e. recientemente, de un tiempo a esta parte. For the study we set up and analyzed a corpus formed ad hoc with samples taken from the CORDE and CREA (RAE, examining (i the potential connection between diachronic uses of últimamente and the tense of the sentence in which it appears, (ii its use as a discourse sequencing marker and (iii the semantic shift of these functions towards the contemporary meaning i.e. recientemente, de un tiempo a esta parte. The analysis provided shows the time at which the particle reaches the innovative semantic function and the semantic process of substitution or reduction of the original meaning.

  13. Enhancing Web Search with Semantic Identification of User Preferences

    Naglaa Fathy

    2011-11-01

    Full Text Available Personalized web search is able to satisfy individuals information needs by modeling long-term and short-term user interests based on user actions, browsed documents or past queries and incorporate these in the search process. In this paper, we propose a personalized search approach which models the user search preferences in an ontological user profile and semantically compares this model against user current query context to re-rank search results. Our user profile is based on the predefined ontology Open Directory Project (ODP so that after a user's search, relevant web pages are classified into topics in the ontology using semantic and cosine similarity measures. Moreover, interest scores are assigned to topics based on the users ongoing behavior. Our experiments show that re-ranking based on the semantic evidence of the updated user profile efficiently satisfies user information needs with the most relevant results being brought on to the top of the returned results.

  14. Correspondences. Equivalence relations

    We comment on sections paragraph 3 'Correspondences' and paragraph 6 'Equivalence Relations' in chapter II of 'Elements de mathematique' by N. Bourbaki in order to simplify their comprehension. Paragraph 3 exposes the ideas of a graph, correspondence and map or of function, and their composition laws. We draw attention to the following points: 1) Adopting the convention of writting from left to right, the composition law for two correspondences (A,F,B), (U,G,V) of graphs F, G is written in full generality (A,F,B)o(U,G,V) = (A,FoG,V). It is not therefore assumed that the co-domain B of the first correspondence is identical to the domain U of the second (EII.13 D.7), (1970). 2) The axiom of choice consists of creating the Hilbert terms from the only relations admitting a graph. 3) The statement of the existence theorem of a function h such that f = goh, where f and g are two given maps having the same domain (of definition), is completed if h is more precisely an injection. Paragraph 6 considers the generalisation of equality: First, by 'the equivalence relation associated with a map f of a set E identical to (x is a member of the set E and y is a member of the set E and x:f = y:f). Consequently, every relation R(x,y) which is equivalent to this is an equivalence relation in E (symmetrical, transitive, reflexive); then R admits a graph included in E x E, etc. Secondly, by means of the Hilbert term of a relation R submitted to the equivalence. In this last case, if R(x,y) is separately collectivizing in x and y, theta(x) is not the class of objects equivalent to x for R (EII.47.9), (1970). The interest of bringing together these two subjects, apart from this logical order, resides also in the fact that the theorem mentioned in 3) can be expressed by means of the equivalence relations associated with the functions f and g. The solutions of the examples proposed reveal their simplicity

  15. Exploring the role of the posterior middle temporal gyrus in semantic cognition: Integration of anterior temporal lobe with executive processes.

    Davey, James; Thompson, Hannah E; Hallam, Glyn; Karapanagiotidis, Theodoros; Murphy, Charlotte; De Caso, Irene; Krieger-Redwood, Katya; Bernhardt, Boris C; Smallwood, Jonathan; Jefferies, Elizabeth

    2016-08-15

    Making sense of the world around us depends upon selectively retrieving information relevant to our current goal or context. However, it is unclear whether selective semantic retrieval relies exclusively on general control mechanisms recruited in demanding non-semantic tasks, or instead on systems specialised for the control of meaning. One hypothesis is that the left posterior middle temporal gyrus (pMTG) is important in the controlled retrieval of semantic (not non-semantic) information; however this view remains controversial since a parallel literature links this site to event and relational semantics. In a functional neuroimaging study, we demonstrated that an area of pMTG implicated in semantic control by a recent meta-analysis was activated in a conjunction of (i) semantic association over size judgements and (ii) action over colour feature matching. Under these circumstances the same region showed functional coupling with the inferior frontal gyrus - another crucial site for semantic control. Structural and functional connectivity analyses demonstrated that this site is at the nexus of networks recruited in automatic semantic processing (the default mode network) and executively demanding tasks (the multiple-demand network). Moreover, in both task and task-free contexts, pMTG exhibited functional properties that were more similar to ventral parts of inferior frontal cortex, implicated in controlled semantic retrieval, than more dorsal inferior frontal sulcus, implicated in domain-general control. Finally, the pMTG region was functionally correlated at rest with other regions implicated in control-demanding semantic tasks, including inferior frontal gyrus and intraparietal sulcus. We suggest that pMTG may play a crucial role within a large-scale network that allows the integration of automatic retrieval in the default mode network with executively-demanding goal-oriented cognition, and that this could support our ability to understand actions and non

  16. Semantic enrichment for medical ontologies.

    Lee, Yugyung; Geller, James

    2006-04-01

    The Unified Medical Language System (UMLS) contains two separate but interconnected knowledge structures, the Semantic Network (upper level) and the Metathesaurus (lower level). In this paper, we have attempted to work out better how the use of such a two-level structure in the medical field has led to notable advances in terminologies and ontologies. However, most ontologies and terminologies do not have such a two-level structure. Therefore, we present a method, called semantic enrichment, which generates a two-level ontology from a given one-level terminology and an auxiliary two-level ontology. During semantic enrichment, concepts of the one-level terminology are assigned to semantic types, which are the building blocks of the upper level of the auxiliary two-level ontology. The result of this process is the desired new two-level ontology. We discuss semantic enrichment of two example terminologies and how we approach the implementation of semantic enrichment in the medical domain. This implementation performs a major part of the semantic enrichment process with the medical terminologies, with difficult cases left to a human expert. PMID:16185937

  17. Using semantic memory to boost 'episodic' recall in a case of developmental amnesia.

    Brandt, Karen R; Gardiner, John M; Vargha-Khadem, Faraneh; Baddeley, Alan D; Mishkin, Mortimer

    2006-07-17

    We report two experiments that investigated factors that might boost 'episodic' recall for Jon, a developmental amnesic whose episodic memory is gravely impaired but whose semantic memory seems relatively normal. Experiment 1 showed that Jon's recall improved following a semantic study task compared with a non-semantic study task, as well as following four repeated study trials compared with only one. Experiment 2 additionally revealed that Jon's recall improved after acting compared with reading action phrases at study, but only if the phrases were well integrated semantically. The results provide some support for the hypothesis that Jon's 'episodic' recall depends on the extent to which he is able to retrieve events using semantic memory. PMID:16791103

  18. Semantic facilitation in bilingual first language acquisition.

    Bilson, Samuel; Yoshida, Hanako; Tran, Crystal D; Woods, Elizabeth A; Hills, Thomas T

    2015-07-01

    Bilingual first language learners face unique challenges that may influence the rate and order of early word learning relative to monolinguals. A comparison of the productive vocabularies of 435 children between the ages of 6 months and 7 years-181 of which were bilingual English learners-found that monolinguals learned both English words and all-language concepts faster than bilinguals. However, bilinguals showed an enhancement of an effect previously found in monolinguals-the preference for learning words with more associative cues. Though both monolinguals and bilinguals were best fit by a similar model of word learning, semantic network structure and growth indicated that the two groups were learning English words in a different order. Further, in comparison with a model of two-monolinguals-in-one-mind, bilinguals overproduced translational equivalents. Our results support an emergent account of bilingual first language acquisition, where learning a word in one language facilitates its acquisition in a second language. PMID:25909582

  19. Semantic Web Mining: Benefits, Challenges and Opportunities

    Syeda Farha Shazmeen

    2012-12-01

    Full Text Available Semantic Web Mining aims at combining the two areas Semantic Web and Web Mining by using semantics to improve mining and using mining to create semantics. Web Mining aims at discovering insights about the meaning of Web resources and their usage In Semantic Web, the semantics information is presented by the relation with others and is recorded by RDF. RDF which is semantic web technology that can be utilized to build efficient and scalable systems for Cloud. The Semantic Web enriches the World Wide Web by machine process able information which supports the user in his tasks, and also helps the users to get the exact search result .In this paper; we discuss the interplay of the Semantic Web with Web Mining, list out the benefits. Challenges, opportunities of the Semantic web are discussed.

  20. Operational Semantics of Termination Types

    Nielson, Flemming; Nielson, Hanne Riis

    1996-01-01

    In principle termination analysis is easy: find a well-founded ordering and prove that calls decrease with respect to the ordering. We show how to embed termination information into a polymorphic type system for an eager higher-order functional language allowing multiple-argument functions and...... algebraic data types. The well-founded orderings are defined by pattern matching against the definition of the algebraic data types. We prove that the analysis is semantically sound with respect to a big-step (or natural) operational semantics. We compare our approach based on operational semantics to one...

  1. Workspaces in the Semantic Web

    Wolfe, Shawn R.; Keller, RIchard M.

    2005-01-01

    Due to the recency and relatively limited adoption of Semantic Web technologies. practical issues related to technology scaling have received less attention than foundational issues. Nonetheless, these issues must be addressed if the Semantic Web is to realize its full potential. In particular, we concentrate on the lack of scoping methods that reduce the size of semantic information spaces so they are more efficient to work with and more relevant to an agent's needs. We provide some intuition to motivate the need for such reduced information spaces, called workspaces, give a formal definition, and suggest possible methods of deriving them.

  2. Semantic Search Engine: A Survey

    Anusree.ramachandran; R Sujatha

    2011-01-01

    The semantic search engines have some advantages on the web search engines from the users view. In this fast life everybody need the answer for their queries very fast .In this scenario semantic searching engines will be helpful. It deals with the actual meaning of the queries. The tremendous growth in the volume of data or the information lead the traditional search engines to get the answers syntactically correct but large in amount. That might be the reason to get into the semantic search ...

  3. Formal Component-Based Semantics

    Madlener, Ken; van Eekelen, Marko; 10.4204/EPTCS.62.2

    2011-01-01

    One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that this framework can also be used effectively for modular meta theoretic reasoning. This paper presents a formalization of Component-Based Semantics in the theorem prover Coq. It is based on Modular SOS, a variant of SOS, and makes essential use of dependent types, while profiting from type classes. This formalization constitutes a contribution towards modular meta theoretic formalizations in theorem provers. As a small example, a modular proof of determinism of a mini-language is developed.

  4. Semantic acquisition games harnessing manpower for creating semantics

    Šimko, Jakub

    2014-01-01

    A comprehensive and extensive review of state-of-the-art in semantics acquisition game (SAG) design A set of design patterns for SAG designers A set of case studies (real SAG projects) demonstrating the use of SAG design patterns

  5. Communication of Semantic Properties

    Lenau, Torben Anker; Boelskifte, Per

    2004-01-01

    The selection of materials and planning for production play a key role for the design of physical products. Product function, appearance and expression are influenced by the chosen materials and how they are shaped. However these properties are not carried by the material itself, but by the...... processes. This working paper argues for the need for a commonly accepted terminology used to communicate semantic product properties. Designers and others involved in design processes are dependent of a sharp and clear verbal communication. Search facilities in computer programs for product and material...... specific way that the materials are used in the product. Selection of materials is therefore often done by looking at similar products. The product as well as its constitutive materials possesses a number of technical properties like strength, stiffness and hardness. Furthermore the product possesses a...

  6. Adaptive semantics visualization

    Nazemi, Kawa

    2016-01-01

    This book introduces a novel approach for intelligent visualizations that adapts the different visual variables and data processing to human’s behavior and given tasks. Thereby a number of new algorithms and methods are introduced to satisfy the human need of information and knowledge and enable a usable and attractive way of information acquisition. Each method and algorithm is illustrated in a replicable way to enable the reproduction of the entire “SemaVis” system or parts of it. The introduced evaluation is scientifically well-designed and performed with more than enough participants to validate the benefits of the methods. Beside the introduced new approaches and algorithms, readers may find a sophisticated literature review in Information Visualization and Visual Analytics, Semantics and information extraction, and intelligent and adaptive systems. This book is based on an awarded and distinguished doctoral thesis in computer science.

  7. An Action Environment

    van den Brand, Mark; Iversen, Jørgen; Mosses, Peter David

    2004-01-01

    previous descriptions without change. This paper introduces a new formalism, ASDF, which has been designed specifically for giving reusable action semantic descriptions of individual language constructs. An initial case study in the use of ASDF has already provided reusable descriptions of all the basic...... constructs underlying Core ML. The paper also describes the Action Environment, a new environment supporting use and validation of ASDF descriptions. The Action Environment has been implemented on top of the ASF+SDF Meta-Environment, exploiting recent advances in techniques for integration of different...

  8. Semantic Session Analysis for Web Usage Mining

    ZHANG Hui; SONG Hantao; XU Xiaomei

    2007-01-01

    A semantic session analysis method partitioning Web usage logs is presented. Semantic Web usage log preparation model enhances usage logs with semantic. The Markov chain model based on ontology semantic measurement is used to identifying which active session a request should belong to. The competitive method is applied to determine the end of the sessions.Compared with other algorithms, more successful sessions are additionally detected by semantic outlier analysis.

  9. Model Design of Semantic Website Construction

    Yu Guo; Jie Liu

    2014-01-01

    Semantic web is an extension of the current World Wide Web. This paper proposes a new model of constructing semantic website, and takes the construction of semantic website in the field of tourism in Africa as an example, and describes an approach to build the semantic website. It is a common approach and can be applied to the construction of other semantic websites. First, analyze user’s requirements, and then build domain ontology based on them requirements, design interactive interfa...

  10. Semantics, contrastive linguistics and parallel corpora

    Violetta Koseska

    2014-01-01

    Semantics, contrastive linguistics and parallel corporaIn view of the ambiguity of the term “semantics”, the author shows the differences between the traditional lexical semantics and the contemporary semantics in the light of various semantic schools. She examines semantics differently in connection with contrastive studies where the description must necessary go from the meaning towards the linguistic form, whereas in traditional contrastive studies the description proceeded from the form t...

  11. About Certain Semantic Annotation in Parallel Corpora

    Violetta Koseska-Toszewa

    2015-01-01

    About Certain Semantic Annotation in Parallel CorporaThe semantic notation analyzed in this works is contained in the second stream of semantic theories presented here – in the direct approach semantics. We used this stream in our work on the Bulgarian-Polish Contrastive Grammar. Our semantic notation distinguishes quantificational meanings of names and predicates, and indicates aspectual and temporal meanings of verbs. It relies on logical scope-based quantification and on the contemporary t...

  12. Semantic Web Services in Corporate Memories

    Lo, Moussa; Gandon, Fabien

    2007-01-01

    We present our experiment in integrating semantic web services in the existing corporate semantic web server architecture we use to implement corporate memories. We rely on a semantic web search engine, to provide a semantic registry and automatically discover and invoke corporate applications wrapped into semantically annotated web services. Using rules we also demonstrate how to compose the web services with queries on the knowledge stored in the corporate memory to automatically populate t...

  13. Automatic Discovery of Word Semantic Relations

    Dias, Gael; Moraliyski, Rumen; Cordeiro, Joao; Doucet, Antoine; Ahonen-Myka, Helena

    2010-01-01

    In this paper, we propose an unsupervised methodology to automatically discover pairs of semantically related words by highlighting their local environment and evaluating their semantic similarity in local and global semantic spaces. This proposal di®ers from previous research as it tries to take the best of two different methodologies i.e. semantic space models and information extraction models. It can be applied to extract close semantic relations, it limits the search space and...

  14. Search Relevance based on the Semantic Web

    Bicer, Veli

    2012-01-01

    In this thesis, we explore the challenge of search relevance in the context of semantic search. Specifically, the notion of semantic relevance can be distinguished from the other types of relevance in Information Retrieval (IR) in terms of employing an underlying semantic model. We propose the emerging Semantic Web data on the Web which is represented in RDF graph structures as an important candidate to become such a semantic model in a search process.

  15. The UMLS® Semantic Network and the Semantic Web

    Kashyap, Vipul

    2003-01-01

    The Unified Medical Language System® (UMLS®) , an extensive source of biomedical knowledge developed and maintained by the US National Library of Medicine (NLM) is being currently used in a wide variety of biomedical applications. The Semantic Network, a component of the UMLS is a structured description of core biomedical knowledge consisting of well defined semantic types and relationships between them. We investigate the expressiveness of DAML+OIL, a markup language proposed for ontologies ...

  16. A Real Semantic Web for Mathematics Deserves a Real Semantics

    Corbineau, P.H.J.M.; Geuvers, J.H.; Kaliszyk, C.S.; McKinna, J.H.; Wiedijk, F.

    2008-01-01

    Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for formal mathematical logic. Semantic Web tools [2] support the first two of these, with little, if any, contribution to the third, while Proof Assistants [17] instrument the third layer, typically with bespoke approaches to the first two. Our position is that a web of mathematical documents, definitions and proofs should be given ...

  17. Establishing Substantial Equivalence: Metabolomics

    Beale, Michael H.; Ward, Jane L.; Baker, John M.

    Modern ‘metabolomic’ methods allow us to compare levels of many structurally diverse compounds in an automated fashion across a large number of samples. This technology is ideally suited to screening of populations of plants, including trials where the aim is the determination of unintended effects introduced by GM. A number of metabolomic methods have been devised for the determination of substantial equivalence. We have developed a methodology, using [1H]-NMR fingerprinting, for metabolomic screening of plants and have applied it to the study of substantial equivalence of field-grown GM wheat. We describe here the principles and detail of that protocol as applied to the analysis of flour generated from field plots of wheat. Particular emphasis is given to the downstream data processing and comparison of spectra by multivariate analysis, from which conclusions regarding metabolome changes due to the GM can be assessed against the background of natural variation due to environment.

  18. Atom interferometry and the Einstein equivalence principle

    Wolf, Peter; Bordé, Christian J; Reynaud, Serge; Salomon, Christophe; Cohen-Tannoudji, Clande

    2011-01-01

    The computation of the phase shift in a symmetric atom interferometer in the presence of a gravitational field is reviewed. The difference of action-phase integrals between the two paths of the interferometer is zero for any Lagrangian which is at most quadratic in position and velocity. We emphasize that in a large class of theories of gravity the atom interferometer permits a test of the weak version of the equivalence principle (or universality of free fall) by comparing the acceleration of atoms with that of ordinary bodies, but is insensitive to that aspect of the equivalence principle known as the gravitational redshift or universality of clock rates.

  19. Deep Fusion of Multiple Semantic Cues for Complex Event Recognition.

    Zhang, Xishan; Zhang, Hanwang; Zhang, Yongdong; Yang, Yang; Wang, Meng; Luan, Huanbo; Li, Jintao; Chua, Tat-Seng

    2016-03-01

    We present a deep learning strategy to fuse multiple semantic cues for complex event recognition. In particular, we tackle the recognition task by answering how to jointly analyze human actions (who is doing what), objects (what), and scenes (where). First, each type of semantic features (e.g., human action trajectories) is fed into a corresponding multi-layer feature abstraction pathway, followed by a fusion layer connecting all the different pathways. Second, the correlations of how the semantic cues interacting with each other are learned in an unsupervised cross-modality autoencoder fashion. Finally, by fine-tuning a large-margin objective deployed on this deep architecture, we are able to answer the question on how the semantic cues of who, what, and where compose a complex event. As compared with the traditional feature fusion methods (e.g., various early or late strategies), our method jointly learns the essential higher level features that are most effective for fusion and recognition. We perform extensive experiments on two real-world complex event video benchmarks, MED'11 and CCV, and demonstrate that our method outperforms the best published results by 21% and 11%, respectively, on an event recognition task. PMID:26780785

  20. Graph-based Operational Semantics of a Lazy Functional Languages

    Rose, Kristoffer Høgsbro

    1992-01-01

    Presents Graph Operational Semantics (GOS): a semantic specification formalism based on structural operational semantics and term graph rewriting. Demonstrates the method by specifying the dynamic ...

  1. Equivalence Relations of -Algebra Extensions

    Changguo Wei

    2010-04-01

    In this paper, we consider equivalence relations of *-algebra extensions and describe the relationship between the isomorphism equivalence and the unitary equivalence. We also show that a certain group homomorphism is the obstruction for these equivalence relations to be the same.

  2. Improving Semantic Web Service Discovery

    J. Javier Samper

    2008-01-01

    Full Text Available Semantic Web Services (SWS propose to extend the traditional Web Services technologies on the way to consolidate ontologies and semantics. This makes it possible to select, integrate and invocate services dynamically. In this way, services are able to dynamically adapt themselves to changes without human intervention. The main purpose of this paper is to present an algorithm for matching SWS. The algorithm uses the description of the service capabilities to match the semantic values. The traditional matching has been improved using ontologies which constitute a step further in the matching algorithms. To implement the algorithm, an agent FIPA compliant architecture has been designed and developed. The results obtained are positive. The semantic web services framework developed in combination with the use of the matchmaking algorithm, which allows finding services based on their similarities.

  3. Chinese semantic processing cerebral areas

    SHAN Baoci; ZHANG Wutian; MA Lin; LI Dejun; CAO Bingli; TANG Yiyuan; WU Yigen; TANG Xiaowei

    2003-01-01

    This study has identified the active cerebral areas of normal Chinese that are associated with Chinese semantic processing using functional brain imaging. According to the traditional cognitive theory, semantic processing is not particularly associated with or affected by input modality. The functional brain imaging experiments were conducted to identify the common active areas of two modalities when subjects perform Chinese semantic tasks through reading and listening respectively. The result has shown that the common active areas include left inferior frontal gyrus (BA 44/45), left posterior inferior temporal gyrus (BA37); the joint area of inferior parietal lobules (BA40) and superior temporal gyrus, the ventral occipital areas and cerebella of both hemispheres. It gives important clue to further discerning the roles of different cerebral areas in Chinese semantic processing.

  4. Principle Based Semantics for HPSG

    Frank, A I

    1994-01-01

    The paper presents a constraint based semantic formalism for HPSG. The advantages of the formlism are shown with respect to a grammar for a fragment of German that deals with (i) quantifier scope ambiguities triggered by scrambling and/or movement and (ii) ambiguities that arise from the collective/distributive distinction of plural NPs. The syntax-semantics interface directly implements syntactic conditions on quantifier scoping and distributivity. The construction of semantic representations is guided by general principles governing the interaction between syntax and semantics. Each of these principles acts as a constraint to narrow down the set of possible interpretations of a sentence. Meanings of ambiguous sentences are represented by single partial representations (so-called U(nderspecified) D(iscourse) R(epresentation) S(tructure)s) to which further constraints can be added monotonically to gain more information about the content of a sentence. There is no need to build up a large number of alternative...

  5. Semantic Knowledge Representation (SKR) API

    U.S. Department of Health & Human Services — The SKR Project was initiated at NLM in order to develop programs to provide usable semantic representation of biomedical free text by building on resources...

  6. Russian nominal semantics and morphology

    Nørgård-Sørensen, Jens

    The principal idea behind this book is that lexis and grammar make up a single coherent structure. It is shown that the grammatical patterns of the different classes of Russian nominals are closely interconnected. They can be described as reflecting a limited set of semantic distinctions which are...... also rooted in the lexical-semantic classification of Russian nouns. The presentation focuses on semantics, both lexical and grammatical, and not least the connection between these two levels of content. The principal theoretical impact is the insight that grammar and lexis should not be seen as a...... random collection of subsystems, but as a comprehensive structure of interconnected oppositions, repeating the same semantic distinctions at different levels and in different lexical and grammatical classes. The book is of interest to students of Russian and linguists with some command, stronger or...

  7. The Dynamics Of English Terminological Compound Lexemes And Their Serbian Equivalents

    Dimković-Telebaković Gordana

    2014-03-01

    Full Text Available This paper discusses the conceptual dynamicity of English compound lexemes and their Serbian equivalents as reflected in compound lexemes in traffic engineering. The morphological structure and semantics of compound lexemes are considered, as well as strategies for translating English metaphorical compound lexemes into Serbian. The analysis reveals that Serbian cannot cope with the dynamic nature of traffic engineering terminology in English, and that Anglicisms, synonyms of different polysemous terms and vague conceptual determinations are characteristic of Serbian terminological equivalents

  8. Equivalence in the Vietnamese Translation of Shakespeare’s Romeo and Juliet

    Van Nhan Luong

    2016-01-01

    Equivalence has been the central concern in Translation Studies and always challenges the translator’s abilities. Equivalence is also the factor determining the closeness of target text (TT) to the source text (ST). By applying the theories suggested by Vinay and Darbelnet, Nida and Taber, Catford, Baker, House and Pym, as well as the qualitative method to describe the semantic features of the ST and the TT, this study has investigated and compared the Shakespeare’s English and the Vietnamese...

  9. NASA and The Semantic Web

    Ashish, Naveen

    2005-01-01

    We provide an overview of several ongoing NASA endeavors based on concepts, systems, and technology from the Semantic Web arena. Indeed NASA has been one of the early adopters of Semantic Web Technology and we describe ongoing and completed R&D efforts for several applications ranging from collaborative systems to airspace information management to enterprise search to scientific information gathering and discovery systems at NASA.

  10. The SemanticWeb Languages

    Giunchiglia, Fausto; Farazi, Feroz; Tanca, Letizia; De Virgilio, Roberto

    2009-01-01

    The SemanticWeb is basically an extension of the Web and of the Webenabling database and Internet technology, and, as a consequence, the Semantic Web methodologies, representation mechanisms and logics strongly rely on those developed in databases. This is the motivation for many attempts to, more or less loosely, merge the two worlds like, for instance, the various proposals to use relational technology for storing web data or the use of ontologies for data integration. This article comes se...

  11. Backward semantic inhibition in toddlers

    Chow, J.; Aimola Davies, AM; Fuentes, LJ; Plunkett, KR

    2016-01-01

    Attention-switching is a crucial ability required in our everyday life, from toddlerhood to adulthood. In adults, shifting attention from one word (e.g., dog) to another (e.g., sea) results in backward semantic inhibition, i.e., the inhibition of the initial word (dog). This study examines whether attention-switching is accompanied by backward semantic inhibition in toddlers using the preferential looking paradigm. The findings demonstrate that a backward inhibitory mechanism operates during ...

  12. Semantic Ambiguity and Perceived Ambiguity

    Poesio, Massimo

    1995-01-01

    I explore some of the issues that arise when trying to establish a connection between the underspecification hypothesis pursued in the NLP literature and work on ambiguity in semantics and in the psychological literature. A theory of underspecification is developed `from the first principles', i.e., starting from a definition of what it means for a sentence to be semantically ambiguous and from what we know about the way humans deal with ambiguity. An underspecified language is specified as t...

  13. Collaborative Semantic Structuring of Folksonomies

    Limpens, Freddy; Gandon, Fabien; Buffa, Michel

    2009-01-01

    The advent of tagging and folksonomies for organizing shared resources on the social Web brought promising opportunities to help communities of users capture their knowledge. However, the lack of semantics, or the spelling variations between tags lowers the potentials for browsing and exploring these data. To overcome these limitations, we propose exploiting the interactions between the users and the systems to validate or correct semantic analysis automatically applied to the tags. This proc...

  14. Semantically enriching folksonomies with FLOR

    Angeletou, Sofia; Sabou, Marta; Motta, Enrico

    2008-01-01

    While the increasing popularity of folksonomies has lead to a vast quantity of tagged data, resource retrieval in these systems is limited by them being agnostic to the meaning (i.e., semantics) of tags. Our goal is to automatically enrich folksonomy tags (and implicitly the related resources) with formal semantics by associating them to relevant concepts defined in online ontologies. We introduce FLOR, a mechanism for automatic folksonomy enrichment by combining knowledge from WordNet and on...

  15. Cooperative Question Answering Semantic Web

    Melo, Dora; Rodrigues, Irene Pimenta; Nogueira, Vitor

    2011-01-01

    In this paper we propose a Cooperative Question Answering System that takes as input queries expressed in natural language and is able to return a cooperative answer obtained from resources in the Semantic Web, more specifically DBpedia represented in OWL/RDF as knowledge base and WordNet to build similar questions. Our system resorts to ontologies not only for reasoning but also to find answers and is independent of prior knowledge of the semantic resources by the user. The natural language ...

  16. Semantic Description of Web Services

    Thabet Slimani

    2013-01-01

    The tasks of semantic web service (discovery, selection, composition, and execution) are supposed to enable seamless interoperation between systems, whereby human intervention is kept at a minimum. In the field of Web service description research, the exploitation of descriptions of services through semantics is a better support for the life-cycle of Web services. The large number of developed ontologies, languages of representations, and integrated frameworks supporting the discovery, compos...

  17. Benchmarking in the Semantic Web

    García-Castro, Raúl; Gómez-Pérez, A.

    2009-01-01

    The Semantic Web technology needs to be thoroughly evaluated for providing objective results and obtaining massive improvement in its quality; thus, the transfer of this technology from research to industry will speed up. This chapter presents software benchmarking, a process that aims to improve the Semantic Web technology and to find the best practices. The chapter also describes a specific software benchmarking methodology and shows how this methodology has been used to benchmark the inter...

  18. Quality measurement of semantic standards

    Folmer, E.J.A.; Oude Luttighuis, P.H.W.M.; Hillegersberg, van, R.

    2010-01-01

    Quality of semantic standards is unadressed in current research while there is an explicit need from standard developers. The business importance is evident since quality of standards will have impact on its diffusion and achieved interoperability in practice. An instrument to measure the quality of semantic standards is designed to contribute to the knowledge domain, standards developers and might ultimo lead to improved interoperability. This instrument is iteratively designed with multiple...

  19. Image Semantic Analysis and Understanding

    Shi, Zhongzhi

    2010-01-01

    Image understanding is widely used in many areas like satellite imaging, robotic technologies, sensory networks, medical and biomedical imaging, intelligent transportation systems, etc. But it is difficult by traditional image processing. Recently semantic analysis has become an active research topic aimed at resolving the gap between low level image features and high level semantics which is a promoting approach in image understanding. This talk highlights the sophisticated methodologies of ...

  20. A System-Level Semantics

    Ghica, Dan R

    2012-01-01

    Game semantics is a trace-like denotational semantics for programming languages where the notion of legal observable behaviour of a term is defined combinatorially, by means of rules of a game between the term (the "Proponent") and its context (the "Opponent"). In general, the richer the computational features a language has, the less constrained the rules of the semantic game. In this paper we consider the consequences of taking this relaxation of rules to the limit, by granting the Opponent omnipotence, that is, permission to play any move without combinatorial restrictions. However, we impose an epistemic restriction by not granting Opponent omniscience, so that Proponent can have undisclosed secret moves. We introduce a basic C-like programming language and we define such a semantic model for it. We argue that the resulting semantics is an appealingly simple combination of operational and game semantics and we show how certain traces explain system-level attacks, i.e. plausible attacks that are realizable...

  1. Object-oriented semantics of English in natural language understanding system

    Ostapov, Yuriy

    2011-01-01

    A new approach to the problem of natural language understanding is proposed. The knowledge domain under consideration is the social behavior of people. English sentences are translated into set of predicates of a semantic database, which describe persons, occupations, organizations, projects, actions, events, messages, machines, things, animals, location and time of actions, relations between objects, thoughts, cause-and-effect relations, abstract objects. There is a knowledge base containing the description of semantics of objects (functions and structure), actions (motives and causes), and operations.

  2. Adaptação transcultural da versão em português da Conflict Tactics Scales Form R (CTS-1, usada para aferir violência no casal: equivalências semântica e de mensuração Cross-cultural adaptation of the Portuguese version of the Conflict Tactics Scales Form R (CTS-1 used to assess marital violence: semantic and measurement equivalence

    Maria Helena Hasselmann

    2003-08-01

    Full Text Available Este artigo focaliza a adaptação transcultural da versão em português do instrumento Conflict Tactics Scales (CTS-1. A equivalência semântica foi avaliada no que diz respeito ao significado referencial dos termos/palavras e a acepção geral de cada item. A equivalência de mensuração entre a versão em português e o instrumento original foi apreciada por meio das propriedades psicométricas, tais como, sua confiabilidade teste-reteste, sua validade de constructo, sua consistência interna e sua estrutura de fatores. Para os diferentes relacionamentos, as concordâncias das mensurações sobre agressão física oscilaram entre moderada e substancial. Os a de Cronbach apresentaram-se elevados para as escalas de agressão física e verbal, e baixos para escala de argumentação. Da mesma forma que no instrumento original, a análise de fatores da versão da CTS-1 identificou três dimensões que representam as escalas de argumentação, de agressão verbal, de agressão física e mais uma subescala de agressão física grave. Ainda que algumas discrepâncias tenham sido notadas, como um todo os resultados sugerem uma adequação do processo de adaptação transcultural da versão da CTS-1 para a língua portuguesa, endossando seu uso na população brasileira.This paper focuses on the cross-cultural adaptation of the Portuguese version of the Conflict Tactics Scales (CTS-1. Semantic equivalence was evaluated with regard to the referential meaning of words and the general connotative meaning of each item. Measurement equivalence between the Portuguese version and the original instrument was assessed by means of the version's psychometric properties, namely, intra-observer reliability, construct validity, internal consistency, and factor structure. For the different relationships, measurement agreement for physical aggression was moderate to substantial. Cronbach's a's were high for the physical and verbal aggression scales and low for the

  3. Beat-Event Detection in Action Movie Franchises

    Potapov, Danila; Douze, Matthijs; Revaud, Jerome; Harchaoui, Zaid; Schmid, Cordelia

    2015-01-01

    While important advances were recently made towards temporally localizing and recognizing specific human actions or activities in videos, efficient detection and classification of long video chunks belonging to semantically defined categories such as "pursuit" or "romance" remains challenging.We introduce a new dataset, Action Movie Franchises, consisting of a collection of Hollywood action movie franchises. We define 11 non-exclusive semantic categories - called beat-categories - that are br...

  4. 77 FR 22282 - Milk in the Northeast and Other Marketing Areas; Determination of Equivalent Price Series

    2012-04-13

    ... Agricultural Marketing Service Milk in the Northeast and Other Marketing Areas; Determination of Equivalent Price Series AGENCY: Agricultural Marketing Service, USDA. ACTION: Determination of equivalent price... products price series in the Dairy Products Sales report released by the Agricultural Marketing...

  5. Quantum mechanics from an equivalence principle

    The authors show that requiring diffeomorphic equivalence for one-dimensional stationary states implies that the reduced action S0 satisfies the quantum Hamilton-Jacobi equation with the Planck constant playing the role of a covariantizing parameter. The construction shows the existence of a fundamental initial condition which is strictly related to the Moebius symmetry of the Legendre transform and to its involutive character. The universal nature of the initial condition implies the Schroedinger equation in any dimension

  6. Quantum Mechanics from an Equivalence Principle

    Faraggi, A E; Faraggi, Alon E.; Matone, Marco

    1999-01-01

    We show that requiring diffeomorphic equivalence for one-dimensional stationary states implies that the reduced action $\\S_0$ satisfies the quantum Hamilton-Jacobi equation with the Planck constant playing the role of a covariantizing parameter. The construction shows the existence of a fundamental initial condition which is strictly related to the Möbius symmetry of the Legendre transform and to its involutive character. The universal nature of the initial condition implies the Schrödinger equation in any dimension.

  7. Quantum mechanics from an equivalence principle

    Faraggi, A.E. [Univ. of Florida, Gainesville, FL (United States). Inst. for Fundamental Theory; Matone, M. [Univ. of Padova (Italy)

    1997-05-15

    The authors show that requiring diffeomorphic equivalence for one-dimensional stationary states implies that the reduced action S{sub 0} satisfies the quantum Hamilton-Jacobi equation with the Planck constant playing the role of a covariantizing parameter. The construction shows the existence of a fundamental initial condition which is strictly related to the Moebius symmetry of the Legendre transform and to its involutive character. The universal nature of the initial condition implies the Schroedinger equation in any dimension.

  8. A Semantic Matchmaker for Ranking Web Services

    Bin Xu; Po Zhang; Juan-Zi Li; Wen-Jun Yang

    2006-01-01

    This paper is concerned with the matchmaker for ranking web services by using semantics. So far several methods of semantic matchmaker have been proposed. Most of them, however, focus on classifying the services into predefined categories rather than providing a ranking result. In this paper, a new method of semantic matchmaker is proposed for ranking web services. It is proposed to use the semantic distance for estimating the matching degree between a service and a user request. Four types of semantic distances are defined and four algorithms are implemented respectively to calculate them. Experimental results show that the proposed semantic matchmaker significantly outperforms the keywordbased baseline method.

  9. Service composition for the semantic web

    Medjahed, Brahim

    2011-01-01

    Service Composition for the Semantic Web presents an in-depth analysis of aspects related to semantic-enabled Web service modeling and composition. It also covers challenges and solutions to composing Web services on the semantic Web, and proposing a semantic framework for organizing and describing Web services. Service Composition for the Semantic Web describes composability and matching models to check whether semantic Web services can be combined together to avoid unexpected failures at run time, and a set of algorithms that automatically generate detailed descriptions of composite services

  10. Process-oriented semantic web search

    Tran, DT

    2011-01-01

    The book is composed of two main parts. The first part is a general study of Semantic Web Search. The second part specifically focuses on the use of semantics throughout the search process, compiling a big picture of Process-oriented Semantic Web Search from different pieces of work that target specific aspects of the process.In particular, this book provides a rigorous account of the concepts and technologies proposed for searching resources and semantic data on the Semantic Web. To collate the various approaches and to better understand what the notion of Semantic Web Search entails, this bo