Sciweavers

49 search results - page 1 / 10
» On the Formal Distinction between Literal and Figurative Lan...
Sort
View
SCIE
1997
Springer
13 years 9 months ago
Semantic Matching: Formal Ontological Distinctions for Information Organization, Extraction, and Integration
Abstract. The task of information extraction can be seen as a problem of semantic matching between a user-defined template and a piece of information written in natural language. T...
Nicola Guarino
VL
1999
IEEE
142views Visual Languages» more  VL 1999»
13 years 9 months ago
Visual Graphs
The formal treatment of visual languages is often based on graph representations. Since the matter of discourse is visual languages, it would be convenient if the formal manipulat...
Martin Erwig
POPL
1990
ACM
13 years 9 months ago
Higher-Order Modules and the Phase Distinction
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
Robert Harper, John C. Mitchell, Eugenio Moggi
AO
2005
120views more  AO 2005»
13 years 5 months ago
Modes of concept definition and varieties of vagueness
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...
Brandon Bennett