Results 1  10
of
154
Querying objectoriented databases
 ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA
, 1992
"... We present a novel language for querying objectoriented databases. The language is built around the idea of extended path expressions that substantially generalize [ZAN83], and on an adaptation of the firstorder formalization of objectoriented languages from [KW89, KLW90, KW92]. The language inco ..."
Abstract

Cited by 492 (6 self)
 Add to MetaCart
incorporates features not found in earlier proposals; it is easier to use and has greater expressive power. Some of the salient features of our language are: ffl Precise modeltheoretic semantics. ffl A very expressive form of path expressions that not only can do joins, selections and unnesting, but can also
A ModelTheoretic Semantics of The Multilevel Relational Model
 Advances in Database Technology  EDBT'94, Lecture Notes in Computer Science 779
, 1994
"... A multilevel relational database represents information in a multilevel state of the world, which is the knowledge of the truth value of a statement with respect to a classification level in a security lattice. We develop a modeltheoretic semantics of the multilevel relational model with tuplelevel ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
A multilevel relational database represents information in a multilevel state of the world, which is the knowledge of the truth value of a statement with respect to a classification level in a security lattice. We develop a modeltheoretic semantics of the multilevel relational model
Formal Semantics in Modern Type Theories: Is It Modeltheoretic, Prooftheoretic, or Both?⋆
"... Abstract. In this talk, we contend that, for NLs, the divide between modeltheoretic semantics and prooftheoretic semantics has not been wellunderstood. In particular, the formal semantics based on modern type theories (MTTs) may be seen as both modeltheoretic and prooftheoretic. To be more prec ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
precise, it may be seen both ways in the sense that the NL semantics can first be represented in an MTT in a modeltheoretic way and then the semantic representations can be understood inferentially in a prooftheoretic way. Considered in this way, MTTs arguably have unique advantages when employed
Integration of Neuroimaging and Microarray Datasets through Mapping and ModelTheoretic Semantic Decomposition of Unstructured Phenotypes
"... An approach towards heterogeneous neuroscience dataset integration is proposed that uses Natural Language Processing (NLP) and a knowledgebased phenotype organizer system (PhenOS) to link ontologyanchored terms to underlying data from each database, and then maps these terms based on a computable m ..."
Abstract
 Add to MetaCart
on the ontological model of the disease or its anatomical and morphological attributes”. Precision of the NLPderived coding of the unstructured phenotypes in each datasets was 88 % (n=50), and precision of the semantic mapping between these terms across datasets was 98 % (n=100). To our knowledge, this is the first
A Reasonable Semantic Web
, 2010
"... The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenges, which forces us to question established lines of research and to rethink the underlying approaches. We argue that reasoning f ..."
Abstract

Cited by 51 (9 self)
 Add to MetaCart
for the Semantic Web should be understood as "shared inference," which is not necessarily based on deductive methods. Modeltheoretic semantics (and sound and complete reasoning based on it) functions as a gold standard, but applications dealing with largescale and noisy data usually cannot afford
A Practical Implementation of Semantic Precision and Recall
"... AbstractThe systematic evaluation of ontology alignments still faces a number of problems. One is the argued inadequacy of traditional quality measures adopted from the field of information retrieval. In previous work, Euzenat and others have proposed notions of semantic precision and recall that ..."
Abstract
 Add to MetaCart
and relations but for instance also include subsumption mappings. In order to overcome this problem, Euzenat and others [4], account. So far, these measures have only been investigated theoretically. The goal of the work reported in this paper is to put semantic precision and recall into practice
Semantic Interoperability of Geospatial Ontologies: A Model theoretic Analysis
, 2007
"... People sometimes misunderstand each other, even when they use the same language to communicate. Often these misunderstandings happen when people use the same words to mean different things, in effect disagreeing about meanings. This thesis investigates such disagreements about meaning, considering t ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
equipped with a modeltheoretic semantics. The domain under consideration is the geospatial domain. Specifically, this thesis investigates to what extent two geospatial ontologies are semantically interoperable when they ‘agree ’ on the meanings of certain basic terms and statements, but ‘disagree
Variable Set Semantics for Predicate Logic and Problems of Semantic Database Theory
"... lear that it should be a version of the hyperdoctrine construction, a well known categorical counterpart of predicate logic; ffl to understand this structure from the prooftheoretical and modeltheoretical (semantic) perspectives, and initiate its studying in both directions; ffl on this ground, t ..."
Abstract
 Add to MetaCart
lear that it should be a version of the hyperdoctrine construction, a well known categorical counterpart of predicate logic; ffl to understand this structure from the prooftheoretical and modeltheoretical (semantic) perspectives, and initiate its studying in both directions; ffl on this ground
The Semantics of Counting Numerals of Latin
 Journal of Semantics
, 1997
"... In this paper we present a precise semantics for the two series of counting numerals of Latin: the cardinals and the collectives. Couched in the framework of mereological modeltheoretic semantics, the proposal is that while a cardinal denotes a set of equinumerous combinations of elements of an ind ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
In this paper we present a precise semantics for the two series of counting numerals of Latin: the cardinals and the collectives. Couched in the framework of mereological modeltheoretic semantics, the proposal is that while a cardinal denotes a set of equinumerous combinations of elements
Anonymous Hierarchical IdentityBased Encryption (Without Random Oracles). In: Dwork
 CRYPTO 2006. LNCS,
, 2006
"... Abstract We present an identitybased cryptosystem that features fully anonymous ciphertexts and hierarchical key delegation. We give a proof of security in the standard model, based on the mild Decision Linear complexity assumption in bilinear groups. The system is efficient and practical, with sm ..."
Abstract

Cited by 119 (10 self)
 Add to MetaCart
) in the notation. Also note that DLinear trivially implies DBDH. Models We briefly precise the security notions that are implied by the concept of Anonymous IBE or HIBE. We omit the formal definitions, which may be found in the literature Confidentiality: This is the usual security notion of semantic security
Results 1  10
of
154