Search Sciweavers | Sciweavers

1087 search results - page 26 / 218

» Exploiting Description Logic Reasoners in Inductive Logic

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 1 months ago

Download www.comlab.ox.ac.uk

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

claim paper

Read More »

click to vote

DLOG
2007

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

14 years 12 months ago

Download dl.kr.org

Jean-David Roubach, Pascal Yim, Joaquin Rodriguez

claim paper

Read More »

click to vote

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

14 years 12 months ago

Download www.dis.uniroma1.it

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

claim paper

Read More »

Voted

DLOG
2006

102views Automated Reasoning» more DLOG 2006»

Epistemic First-order Queries over Description Logic Knowledge Bases

14 years 11 months ago

Download sunsite.informatik.rwth-aachen.de

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

claim paper

Read More »

Voted

DLOG
2000

87views Automated Reasoning» more DLOG 2000»

Fusions of Description Logics

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers