111 search results - page 10 / 23 » First Order Reasoning on a Large Ontology |
115
click to vote
FOIS
2006
15 years 3 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
114
click to vote
SIGKDD
2008
15 years 1 months ago
2008
The value of knowledge obtainable by analysing large quantities of data is widely acknowledged. However, so-called primary or raw data may not always be available for knowledge di...
100
click to vote
EWCBR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We present a CBR approach to musical playlist recommendation. A good playlist is not merely a bunch of songs, but a selected collection of songs, arranged in a meaningful...
143
click to vote
EKAW
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
125
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...