Sciweavers

1582 search results - page 95 / 317

» On Higher-Order Description Logics

152

DLOG
2004

138views Automated Reasoning» more DLOG 2004»

Towards Implementing Finite Model Reasoning in Description Logics

15 years 7 months ago

Towards Implementing Finite Model Reasoning in Description Logics

Download sunsite.informatik.rwth-aachen.de

Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo

claim paper

Read More »

144

DLOG
2006

102views Automated Reasoning» more DLOG 2006»

Epistemic First-order Queries over Description Logic Knowledge Bases

15 years 7 months ago

Epistemic First-order Queries over Description Logic Knowledge Bases

Download sunsite.informatik.rwth-aachen.de

Diego Calvanese, Giuseppe De Giacomo, Domenico Lem...

claim paper

Read More »

296

DLOG
2006

333views Automated Reasoning» more DLOG 2006»

Automated Benchmarking of Description Logic Reasoners

15 years 7 months ago

Automated Benchmarking of Description Logic Reasoners

Download www.comlab.ox.ac.uk

Tom Gardiner, Ian Horrocks, Dmitry Tsarkov

claim paper

Read More »

146

DLOG
2006

192views Automated Reasoning» more DLOG 2006»

Binary Absorption in Tableaux-Based Reasoning for Description Logics

15 years 7 months ago

Binary Absorption in Tableaux-Based Reasoning for Description Logics

Download sunsite.informatik.rwth-aachen.de

Alexander K. Hudek, Grant E. Weddell

claim paper

Read More »

130

DLOG
2006

141views Automated Reasoning» more DLOG 2006»

Description logic reasoning using the PTTP approach

15 years 7 months ago

Description logic reasoning using the PTTP approach

Download sunsite.informatik.rwth-aachen.de

The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...

Zsolt Nagy, Gergely Lukácsy, Péter S...

claim paper

Read More »

« Prev « First page 95 / 317 Last » Next »