Sciweavers

4008 search results - page 237 / 802
» An expressive language of signatures
Sort
View
COOPIS
2002
IEEE
15 years 11 months ago
Querying XML Sources Using an Ontology-Based Mediator
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...
Bernd Amann, Catriel Beeri, Irini Fundulaki, Miche...
BIRTHDAY
2006
Springer
15 years 10 months ago
Data Flow Analysis for CCS
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
Hanne Riis Nielson, Flemming Nielson
AAAI
2007
15 years 9 months ago
The Semantics of Variables in Action Descriptions
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
Vladimir Lifschitz, Wanwan Ren
OWLED
2007
15 years 8 months ago
An Examination of OWL and the Requirements of a Large Health Care Terminology
This paper presents a brief initial look at some of the possible benefits and barriers to using OWL as the language for the development, dissemination and implementation of termin...
Kent A. Spackman
EACL
2006
ACL Anthology
15 years 8 months ago
Automatically Constructing a Lexicon of Verb Phrase Idiomatic Combinations
We investigate the lexical and syntactic flexibility of a class of idiomatic expressions. We develop measures that draw on such linguistic properties, and demonstrate that these s...
Afsaneh Fazly, Suzanne Stevenson