104
Voted
DLOG
1998
15 years 2 months ago
1998
131
Voted
DLOG
1998
15 years 2 months ago
1998
134
click to vote
DLOG
1998
15 years 2 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
105
Voted
DLOG
1998
15 years 2 months ago
1998
Abstract: This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework. We present an ALC ABox reasoner which h...
91
Voted
DLOG
1998
15 years 2 months ago
1998
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...
84
Voted
DLOG
1998
15 years 2 months ago
1998
59
Voted
DLOG
1998
15 years 2 months ago
1998
80
Voted
DLOG
1998
15 years 2 months ago
1998
84
Voted
DLOG
1998
15 years 2 months ago
1998
We consider two recently proposed definitions of the expressive power of description logics, one due to Baader, the other due to Kurtonina and de Rijke. The proposals are non-equi...