Sciweavers

1087 search results - page 16 / 218

» Exploiting Description Logic Reasoners in Inductive Logic

146

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 »

287

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 »

129

DLOG
1996

137views Automated Reasoning» more DLOG 1996»

Finite Model Reasoning in Description Logics

15 years 7 months ago

Finite Model Reasoning in Description Logics

Download www.inf.unibz.it

Diego Calvanese

claim paper

Read More »

123

DLOG
1996

140views Automated Reasoning» more DLOG 1996»

Using Description Logic for Reasoning about Diagrammatical Notations

15 years 7 months ago

Using Description Logic for Reasoning about Diagrammatical Notations

Download www.inf.unibz.it

Volker Haarslev

claim paper

Read More »

162

IJCAI
2003

130views Artificial Intelligence» more IJCAI 2003»

Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies

15 years 7 months ago

Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies

Download www.few.vu.nl

Current Description Logic reasoning systems provide only limited support for debugging logically erroneous knowledge bases. In this paper we propose new non-standard reasoning ser...

Stefan Schlobach, Ronald Cornet

claim paper

Read More »

« Prev « First page 16 / 218 Last » Next »