Sciweavers

9 search results - page 1 / 2

» dlog 2000

23

DLOG
2000

99views Automated Reasoning» more DLOG 2000»

Answering Conjunctive Queries over DL Aboxes: A Preliminary Report

13 years 10 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 »

20

DLOG
2000

79views Automated Reasoning» more DLOG 2000»

Optimisation of Terminological Reasoning

13 years 10 months ago

Optimisation of Terminological Reasoning

Download www.comlab.ox.ac.uk

Ian Horrocks, Stephan Tobies

claim paper

Read More »

23

DLOG
2000

84views Automated Reasoning» more DLOG 2000»

Keys for Free in Description Logics

13 years 10 months ago

Keys for Free in Description Logics

Download www.inf.unibz.it

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

claim paper

Read More »

30

DLOG
2000

87views Automated Reasoning» more DLOG 2000»

Fusions of Description Logics

13 years 10 months ago

Fusions of Description Logics

Download www.jair.org

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

claim paper

Read More »

27

DLOG
2000

124views Automated Reasoning» more DLOG 2000»

Optimizing TBox and ABox Reasoning with Pseudo Models

13 years 10 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 »