JAPLL 2010 - PDF Preprint Papers

JAPLL 2010

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JAPLL-2010 Paper

click to vote

JAPLL
2010

179views more JAPLL 2010»

Tractable query answering and rewriting under description logic constraints

13 years 10 months ago

Download www.comlab.ox.ac.uk

Answering queries over an incomplete database w.r.t. a set of constraints is an important computational task with applications in ﬁelds as diverse as information integration and ...

Héctor Pérez-Urbina, Boris Motik, Ia...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	179	Tractable query answering and rewriting under description logic constraints	claim
2	141	Algebraic tableau reasoning for the description logic SHOQ	claim
3	133	Complexity of modal logics with Presburger constraints	claim
4	131	Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA	claim
5	126	Justification logics and hybrid logics	claim
6	124	Reasoning about XML with temporal logics and automata	claim
7	111	The complexity of satisfiability for fragments of hybrid logic - Part I	claim
8	104	Complete axiomatizations for XPath fragments	claim
9	104	Group announcement logic	claim
10	104	Lightweight hybrid tableaux	claim
11	98	On database query languages for K-relations	claim
12	98	Formalization of the ad hominem argumentation scheme	claim
13	85	Hybrid logic with the difference modality for generalisations of graphs	claim
14	74	Axiomatizing hybrid logic using modal logic	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers