Sciweavers

9 search results - page 1 / 2

» dlog 2000

15

DLOG
2000

99views Automated Reasoning» more DLOG 2000»

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report

13 years 6 months ago

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report

Download www.comlab.ox.ac.uk

Ian Horrocks, Sergio Tessaris

claim paper

Read More »

12

DLOG
2000

79views Automated Reasoning» more DLOG 2000»

Optimisation of Terminological Reasoning

13 years 6 months ago

Optimisation of Terminological Reasoning

Download www.comlab.ox.ac.uk

Ian Horrocks, Stephan Tobies

claim paper

Read More »

14

DLOG
2000

84views Automated Reasoning» more DLOG 2000»

Keys for Free in Description Logics

13 years 6 months ago

Keys for Free in Description Logics

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

15

DLOG
2000

87views Automated Reasoning» more DLOG 2000»

Fusions of Description Logics

13 years 6 months ago

Fusions of Description Logics

Download www.jair.org

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wo...

claim paper

Read More »

14

DLOG
2000

124views Automated Reasoning» more DLOG 2000»

Optimizing TBox and ABox Reasoning with Pseudo Models

13 years 6 months ago

Optimizing TBox and ABox Reasoning with Pseudo Models

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

This paper investigates optimization techniques and data structures exploiting the use of so-called pseudo models. These techniques are applied to speed-up TBox and ABox reasoning...

Volker Haarslev, Ralf Möller

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »