Search Sciweavers | Sciweavers

1544 search results - page 15 / 309

» Automated Evaluation of Description Logic Reasoning Systems

click to vote

DLOG
2003

101views Automated Reasoning» more DLOG 2003»

e-Service Composition by Description Logics Based Reasoning

13 years 8 months ago

Download sunsite.informatik.rwth-aachen.de

Daniela Berardi, Diego Calvanese, Giuseppe De Giac...

claim paper

Read More »

click to vote

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

14 years 8 days ago

Download www.inf.unibz.it

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

claim paper

Read More »

click to vote

LPAR
2000
Springer

97views Automated Reasoning» more LPAR 2000»

How to Decide Query Containment Under Constraints Using a Description Logic

13 years 11 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

13 years 9 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

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers