Spine is an experimental veri cation system based on Promela/Spin version 1.5.7. Spin is a general veri cation tool for proving correctness properties of concurrent/distributed systems speci ed in the CSP-like modeling language Promela [8, 9]. This extended abstract describing the Spine system and its foundations assumes familiarity with Promela/Spin. The Spine system extends Spin with `limited...

The metaphor of semantic memory as a rich network of associated concepts has become both an assumption and a tool of psychologists studying diverse cognitive processes. Many studies of semantic memory take advantage of the fact that concepts are associated; however, relatively little work has investigated the effects of the specific content of those associations, which are typically semantic re...

The paper presents advances in the use of semantic features and interlingua relations for word sense disambiguation (WSD) as part of unification-based deep processing grammars. Formally we present an extension of Minimal Recursion Semantics, introducing sortal specifications as well as linterlingua semantic relations as a means of semantic decomposition.

The paper presents technique and analysis to discover distributional thesauri relations by using statistical similarity of different word’s contexts. The application uses educational electronic text corpus and the Sketch Engine software statistical search to extract and compare word’s collocations from the related text corpus. The semantic search used is based on the evaluation and comparison o...

Extracting semantic relations from texts is a good way to build and supply a knowledge base, an indispensable resource for text analysis. We propose and evaluate the combination of three ways of producing lexical-semantic relations.

Our goal is to develop a framework for detecting and managing semantic relations between ontologies for large ontology repositories. Making explicit implicit relations between ontologies provides meta-information that facilitates the development of Semantic Web Applications. The development of the framework relies on an ontology-based methodology. This approach offers several advantages, among ...

NLP methods and applications need to take account not only of “classical” lexical relations, as found in WordNet, but the lessstructural, more context-dependent “nonclassical” relations that readers intuit in text. In a reader-based study of lexical relations in text, most were found to be of the latter type. The relationships themselves are analyzed, and consequences for NLP are discussed.

The treatment of semantic relations between terms is essential in information retrieval (IR). Each term in a thesaurus might have classes of synonymous, narrower, broader, or related terms. The ability to express formally the semantic relations is a core issue in applying mathematical tools to IR. In the application of evidential theory, particularly, the problems become more apparent since evi...

Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. This is a pervasive problem in both Software Engineering and Artificial Intelligence. Thus, we find semantic links that can have multiple interpretations, abstractions that are not enough to represent the relation richne...

Research on semantic memory has often tacitly treated semantic relations as simple conduits for spreading activation between associated object concepts, rather than as integral components of semantic organization. Yet conceptual relations, and the role bindings they impose on the objects they relate, are central to such cognitive tasks as discourse comprehension, inference, problem solving, and...