Search Sciweavers | Sciweavers

441 search results - page 9 / 89

» Automated Benchmarking of Description Logic Reasoners

120

click to vote

DLOG
1997

98views Automated Reasoning» more DLOG 1997»

Discovering description logic assertions from database schemes

15 years 7 months ago

Download www.inf.unibz.it

Angela Bonifati, Luigi Palopoli, Domenico Sacc&agr...

claim paper

Read More »

122

click to vote

DLOG
2009

79views Automated Reasoning» more DLOG 2009»

A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results

15 years 3 months ago

Download dl.kr.org

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....

claim paper

Read More »

129

click to vote

LPAR
2000
Springer

97views Automated Reasoning» more LPAR 2000»

How to Decide Query Containment Under Constraints Using a Description Logic

15 years 9 months ago

Download www.comlab.ox.ac.uk

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Ste...

claim paper

Read More »

102

click to vote

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

15 years 8 months ago

Download dl.kr.org

Jean-David Roubach, Pascal Yim, Joaquin Rodriguez

claim paper

Read More »

121

click to vote

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers