1933 search results - page 249 / 387 » Query Containment Using Views |
124
click to vote
PSSS
2003
15 years 4 months ago
2003
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...
147
Voted
CMMR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. As the use of digital music is getting popular, there is an increasing demand for efficient retrieval of music. To do that, an effective music indexing and natural way o...
136
click to vote
ML
2006
ACM
15 years 3 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
119
click to vote
NAR
2006
15 years 3 months ago
2006
EMAGE (http://genex.hgu.mrc.ac.uk/Emage/database) is a freely available, curated database of gene expression patterns generated by in situ techniques in the developing mouse embry...
144
click to vote
JAR
2007
15 years 3 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...