Sciweavers

155 search results - page 12 / 31
» Formal semantics and analysis of object queries
Sort
View
DEXAW
2007
IEEE
137views Database» more  DEXAW 2007»
14 years 1 months ago
FCA for contextual semantic navigation and information retrieval in heterogeneous information systems
This paper presents an information retrieval methodology which uses Formal Concept Analysis in conjunction with semantics to provide contextual answers to users’ queries. User f...
Géraldine Polaillon, Marie-Aude Aufaure, B&...
DASFAA
2005
IEEE
91views Database» more  DASFAA 2005»
14 years 1 months ago
Semantic Characterization of Real World Events
Reducing the latency of information delivery in an event driven world has always been a challenge. It is often necessary to completely capture the attributes of events and relation...
Aparna Nagargadde, Sridhar Varadarajan, Krithi Ram...
DBPL
2007
Springer
100views Database» more  DBPL 2007»
14 years 1 months ago
Provenance as Dependency Analysis
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...
James Cheney, Amal Ahmed, Umut A. Acar
ER
2006
Springer
145views Database» more  ER 2006»
13 years 11 months ago
Combining Declarative and Procedural Knowledge to Automate and Represent Ontology Mapping
Ontologies on the Semantic Web are by nature decentralized. From the body of ontology mapping approaches, we can draw a conclusion that an effective approach to automate ontology m...
Li Xu, David W. Embley, Yihong Ding
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
13 years 11 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi