1103 search results - page 9 / 221 » The Relevance of Semantic Subtyping |
CADE
2007
Springer
14 years 7 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
INFSOF
2000
13 years 6 months ago
2000
Semantic query optimization is the process of utilizing information implied by integrity constraints to reformulate the query into one that generates the same set of answers in a ...
IADIS
2004
13 years 8 months ago
2004
Relevance feedback has been considered as a means of incorporating learning into information retrieval systems for quite sometime now. This paper discusses the research results of...
JSYML
2006
13 years 6 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
GI
2010
Springer
2010
Springer
Estimating the Relevance of Search Results in the Culture-Web: A Study of Semantic Distance Measures
13 years 5 months ago
Abstract: More and more cultural heritage institutions publish their collections, vocabularies and metadata on the Web. The resulting Web of linked cultural data opens up exciting ...