Sciweavers

2332 search results - page 220 / 467
» AIS and Semantic Query
Sort
View
PSSS
2003
15 years 8 months ago
Extending Classical Theorem Proving for the Semantic Web
We investigate the applicability of classical resolution-based theorem proving methods for the Semantic Web. We consider several well-known search strategies, propose a general sch...
Tanel Tammet
SWAP
2007
15 years 7 months ago
Semantic Nearest Neighbor Search in OWL Ontologies
Abstract. A nearest neighbor search procedure is presented, for retrieving resources in knowledge bases expressed in OWL. The procedure exploits a semidistance for annotated resour...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
CORR
2011
Springer
207views Education» more  CORR 2011»
15 years 1 months ago
DB Category: Denotational Semantics for View-based Database Mappings
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
Zoran Majkic
SIGMOD
2005
ACM
114views Database» more  SIGMOD 2005»
16 years 6 months ago
Semantic characterizations of navigational XPath
We give semantic characterizations of the expressive power of navigational XPath (also called Core XPath) in terms of first order logic. XPath can be used to specify sets of nodes...
Maarten Marx, Maarten de Rijke
PERCOM
2008
ACM
16 years 6 months ago
Kinds of Contexts and their Impact on Semantic Similarity Measurement
Semantic similarity measurement gained attention over the last years as a non-standard inference service for various kinds of knowledge representations including description logics...
Krzysztof Janowicz