![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Software requirements as an application domain for natural language processing
Map** functional requirements first to specifications and then to code is one of the most challenging tasks in software development. Since requirements are commonly written in natural language, they can be p...
-
Chapter and Conference Paper
Linking Data, Services and Human Know-How
An increasing number of everyday tasks involve a mixture of human actions and machine computation. This paper presents the first framework that allows non-programmer users to create and execute workflows where...
-
Chapter and Conference Paper
A Linked Data Approach to Know-How
The Web is one of the major repositories of human generated know-how, such as step-by-step videos and instructions. This knowledge can be potentially reused in a wide variety of applications, but it currently ...
-
Chapter and Conference Paper
Integrating Know-How into the Linked Data Cloud
This paper presents the first framework for integrating procedural knowledge, or “know-how”, into the Linked Data Cloud. Know-how available on the Web, such as step-by-step instructions, is largely unstructure...
-
Chapter and Conference Paper
RDFa2: Lightweight Semantic Enrichment for Hypertext Content
RDFa is a syntactic format that allows RDF triples to be integrated into hypertext content of HTML/XHTML documents. Although a growing number of methods or tools have been designed attempting at generating or ...
-
Chapter and Conference Paper
Temporal Vagueness, Coordination and Communication
How is it that people manage to communicate even when they implicitly differ on the meaning of the terms they use? Take an innocent-sounding expression such as tomorrow morning. What counts a...
-
Article
Open AccessAutomating curation using a natural language processing pipeline
The tasks in BioCreative II were designed to approximate some of the laborious work involved in curating biomedical research papers. The approach to these tasks taken by the University of Edinburgh team was to...
-
Book
-
Book
-
Book
-
Article
Nominalization, predication and type containment
In an attempt to accommodate natural language phenomena involving nominalization and self-application, various researchers in formal semantics have proposed abandoning the hierarchical type system which Montag...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Phonological Data Types
This paper examines certain aspects of phonological structure from the viewpoint of abstract data types. Our immediate goal is to find a format for phonological representation which will be reasonably faithful...
-
Chapter and Conference Paper
Default Reasoning and Dynamic Interpretation of Natural Language
We present a proposal for treating default reasoning from the perspective of a dynamic approach to semantics, where meaning is a map** between information states. Information states are identified with sets ...
-
Article
Type-driven translation
-
Article
Preface
-
Article
Preface
-
Chapter
Defensible Descriptions
Donnellan’s (1966) referential/attributive distinction has been widely discussed in recent years, and various aspects of his proposal have come under scrutiny at different times. One of his most striking claim...
-
Article
A semantics for positive and comparative adjectives
-
Article
On formalizing the referential/attributive distinction