Search Sciweavers | Sciweavers

1582 search results - page 91 / 317

» On Higher-Order Description Logics

click to vote

ERCIMDL
1999
Springer

111views Education» more ERCIMDL 1999»

Declarative Specification of Z39.50 Wrappers Using Description Logics

15 years 2 months ago

Download dit.unitn.it

Yannis Velegrakis, Vassilis Christophides, Panos C...

claim paper

Read More »

click to vote

TIME
1999
IEEE

120views Automated Reasoning» more TIME 1999»

Introducing Temporal Description Logics

15 years 2 months ago

Download www.dbnet.ece.ntua.gr

Alessandro Artale, Enrico Franconi

claim paper

Read More »

click to vote

AGP
1997
IEEE

93views Artificial Intelligence» more AGP 1997»

Datalog and Description Logics: Expressive Power

15 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

15 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

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers