Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

LPAR
2000
Springer

favoriteEmaildiscussreport

97views Automated Reasoning» more LPAR 2000»

How to Decide Query Containment Under Constraints Using a Description Logic

13 years 8 months ago

How to Decide Query Containment Under Constraints Using a Description Logic

Download www.comlab.ox.ac.uk

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Ste

Real-time Traffic

Automated Reasoning | LPAR 2000 |

claim paper

Related Content

» Conjunctive query containment and answering under description logic constraints

» Tractable query answering and rewriting under description logic constraints

» Query containment and rewriting using views for regular path queries under constraints

» Taming the Infinite Chase Query Answering under Expressive Relational Constraints

» Computing universal models under guarded TGDs

» Deciding XPath containment with MSO

» Rewriting Queries Using Views with Access Patterns Under Integrity Constraints

» Query Answering and Containment for Regular Path Queries under Distortions

» Reasoning over Conceptual Schemas and Queries in Temporal Databases

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	LPAR
Authors	Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies

Comments (0)