𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On behalf of the semantic view

✍ Scribed by John Beaty


Publisher
Springer Netherlands
Year
1987
Tongue
English
Weight
436 KB
Volume
2
Category
Article
ISSN
0169-3867

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A syntactic view of semantic networks
✍ D. Partridge πŸ“‚ Article πŸ“… 1978 πŸ› Elsevier Science βš– 460 KB

So-called "semantic networks" are notations which make explicit much of the implicit syntax of say, English. The mapping from an English sentence to a portion of the network, often claimed to be "understanding" of the sentence, is a mapping of one notation (the English language) to another (the "sem

Viewing the semantic web through RVL len
✍ Aimilia Magkanaraki; Val Tannen; Vassilis Christophides; Dimitris Plexousakis πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 618 KB

Personalized access and content syndication involving diverse conceptual representations of information resources are two of the key challenges of Semantic Web (SW) applications. In this paper, we investigate how these goals can be achieved using view definition primitives over RDF/S bases. We intro

On behalf of the Editorial Board
✍ Marco Modugno πŸ“‚ Article πŸ“… 1992 πŸ› Elsevier Science 🌐 English βš– 59 KB

The JOURNAL OF GEOMETRY AND PHYSICS (JGP ) started publication in 1984 with the aim of stimulating interaction between geometry and physics by communicating results, ideas and problems between these two areas. We undertake to cover the many trends and schools in an unbiased way as we are convinced t

On phase semantics and denotational sema
✍ Antonio Bucciarelli; Thomas Ehrhard πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 281 KB

We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard (Ann. Pure. Appl. Logic 102 (3) (2000) 247). We deΓΏne an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we as