Search Sciweavers | Sciweavers

42

DLOG
1998

166views Automated Reasoning» more DLOG 1998»

A Description Logic System for Learning in Complex Domains

14 years 2 days ago

This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...

Jordi Alvarez

claim paper

Read More »

31

click to vote

DLOG
1998

162views Automated Reasoning» more DLOG 1998»

Implementing an ALCRP(D) ABox Reasoner - Progress Report

14 years 2 days ago

Download kogs-www.informatik.uni-hamburg.de

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...

Volker Haarslev, Ralf Möller, Anni-Yasmin Tur...

claim paper

Read More »

28

click to vote

DLOG
1998

120views Automated Reasoning» more DLOG 1998»

Using Description Logics for Indexing Audiovisual Documents

14 years 2 days ago

Download www.csl.sony.fr

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...

Jean Carrive, François Pachet, Rémi ...

claim paper

Read More »

43

click to vote

DLOG
1998

136views Automated Reasoning» more DLOG 1998»

Comparing Subsumption Optimizations

14 years 2 days ago

Download www.comlab.ox.ac.uk

Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...

Ian Horrocks, Peter F. Patel-Schneider

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers