Tractable query answering and rewriting under description logic constraints

, &
Journal of Applied Logic 8 (2):186-209 (2010)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2009.09.004

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Tractability and Intractability of Controlled Languages for Data Access.Camilo Thorne & Diego Calvanese - 2012 - Studia Logica 100 (4):787-813.
Problems of equivalence, categoricity of axioms and states description in databases.Tatjana L. Plotkin, Sarit Kraus & Boris I. Plotkin - 1998 - Studia Logica 61 (3):347-366.
Relevance Sensitive Belief Structures.Samir Chopra & Rohit Parikh - unknown
Modal definability of first-order formulas with free variables and query answering.Stanislav Kikot & Evgeny Zolin - 2013 - Journal of Applied Logic 11 (2):190-216.
Querying linguistic treebanks with monadic second-order logic in linear time.Stephan Kepser - 2004 - Journal of Logic, Language and Information 13 (4):457-470.
Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications.Manuel Clavel - 2000 - Stanford Univ Center for the Study.
Higher-Order Algebra, Logic, and Term Rewriting First International Workshop, Hoa '93, Amsterdam, the Netherlands, September 23-24, 1993 : Selected Papers'.J. Heering - 1994 - Springer Verlag.
Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers'.Gilles Dowek & Logic Term Rewriting International Workshop on Higher-Order Algebra - 1996 - Springer Verlag.
Unification in modal and description logics.Franz Baader & Silvio Ghilardi - 2011 - Logic Journal of the IGPL 19 (6):705-730.
Bounded truth table does not reduce the one-query tautologies to a random oracle.Toshio Suzuki - 2005 - Archive for Mathematical Logic 44 (6):751-762.
On the Logic of Information Flow.Jon Barwise, Dov Gabby & Chrysafis Hartonas - 1995 - Logic Journal of the IGPL 3 (1):7-50.
Querying linguistic trees.Catherine Lai & Steven Bird - 2010 - Journal of Logic, Language and Information 19 (1):53-73.
Towards automated reasoning on ORM schemes - mapping ORM into the DLRidf description logic.Mustafa Jarrar - manuscript
Flexible query answering using distance-based fuzzy relations.Ulrich Bodenhofer, Josef Küng & Susanne Saminger - 2006 - In Harrie de Swart, Ewa Orlowska, Gunther Smith & Marc Roubens (eds.), Theory and Applications of Relational Structures as Knowledge Instruments Ii. Springer. pp. 207--228.
Learning via queries and oracles.Frank Stephan - 1998 - Annals of Pure and Applied Logic 94 (1-3):273-296.

Analytics

Added to PP
2016-06-30

Downloads
15 (#951,632)

6 months
7 (#439,760)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 6 citations / Add more citations

References found in this work

The Stable Model Semantics for Logic Programming.Melvin Fitting - 1992 - Journal of Symbolic Logic 57 (1):274-277.

Add more references