Search Sciweavers | Sciweavers

3032 search results - page 97 / 607

» Description Logic Rules

click to vote

AGP
1997
IEEE

93views Artificial Intelligence» more AGP 1997»

Datalog and Description Logics: Expressive Power

14 years 2 months ago

Download www.inf.unibz.it

Marco Cadoli, Luigi Palopoli, Maurizio Lenzerini

claim paper

Read More »

click to vote

KR
1998
Springer

117views Automated Reasoning» more KR 1998»

Description Logic Framework for Information Integration

14 years 2 months 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

14 years 1 months ago

Download www.comlab.ox.ac.uk

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

claim paper

Read More »

click to vote

TABLEAUX
2000
Springer

96views Artificial Intelligence» more TABLEAUX 2000»

Tableau Algorithms for Description Logics

14 years 1 months ago

Download lat.inf.tu-dresden.de

Franz Baader

claim paper

Read More »

click to vote

AAAI
2007

75views Intelligent Agents» more AAAI 2007»

On the Approximation of Instance Level Update and Erasure in Description Logics

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers