Foundations of Rule−Based Query Answering

Foundations of Rule−Based Query Answering

<p>This survey article introduces into the essential concepts and methods underlying rule-based query languages. It covers four complementary areas: declarative semantics based on adaptations of mathematical logic, operational semantics, complexity and expressive power, and optimisation of que...

Полное описание

Библиографические подробности
Главные авторы:	Bry, F, Eisinger, N, Eiter, T, Furche, T, Gottlob, G, Ley, C, Linse, B, Pichler, R, Wei, F
Формат:	Conference item
Опубликовано:	Springer 2007

Схожие документы

RDF Querying: Language Constructs and Evaluation Methods Compared
по: Furche, T, и др.
Опубликовано: (2006)

The Perfect Match: RPL and RDF Rule Languages.
по: Bry, F, и др.
Опубликовано: (2009)

SPARQLog: SPARQL with Rules and Quantification
по: Bry, F, и др.
Опубликовано: (2010)

SPARQLog: SPARQL with Rules and Quantification
по: Bry, F, и др.
Опубликовано: (2010)

Generalized consistent query answering under existential rules
по: Eiter, T, и др.
Опубликовано: (2016)

Query Answering under Non−guarded Rules in Datalog+/−
по: Calì, A, и др.
Опубликовано: (2010)

RDFLog: It's like Datalog for RDF
по: Bry, F, и др.
Опубликовано: (2008)

RDFLog: It's like Datalog for RDF
по: Bry, F, и др.
Опубликовано: (2008)

Query Answering for OWL-DL with Rules.
по: Motik, B, и др.
Опубликовано: (2004)

Query Answering for OWL-DL with rules.
по: Motik, B, и др.
Опубликовано: (2005)

Ontological Query Answering via Rewriting
по: Gottlob, G, и др.
Опубликовано: (2011)

Datalog Relaunched: Simulation Unification and Value Invention
по: Bry, F, и др.
Опубликовано: (2011)

Answering Threshold Queries in Probabilistic Datalog+/- Ontologies.
по: Gottlob, G, и др.
Опубликовано: (2011)

Conjunctive Query Answering in Probabilistic Datalog+⁄− Ontologies
по: Gottlob, G, и др.
Опубликовано: (2011)

Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies.
по: Gottlob, G, и др.
Опубликовано: (2011)

Tractable Query Answering over Ontologies with Datalog+⁄−
по: Calì, A, и др.
Опубликовано: (2009)

Tractable Query Answering over Conceptual Schemata
по: Calì, A, и др.
Опубликовано: (2009)

Explanations for Query Answers under Existential Rules
по: Ceylan, İ, и др.
Опубликовано: (2019)

Default Logic as a Query Language
по: Cadoli, M, и др.
Опубликовано: (1997)

Default Logic as a Query Language
по: Cadoli, M, и др.
Опубликовано: (1994)

On the Complexity of Single−Rule Datalog Queries
по: Gottlob, G, и др.
Опубликовано: (1999)

On the complexity of single−rule datalog queries
по: Gottlob, G, и др.
Опубликовано: (2003)

Goal-driven query answering for existential rules with equality
по: Benedikt, M, и др.
Опубликовано: (2018)

Complexity of repair checking and consistent query answering
по: Arming, S, и др.
Опубликовано: (2016)

Explanations for negative query answers under existential rules
по: Ceylan, I, и др.
Опубликовано: (2020)

Query Answering under Expressive Entity−Relationship Schemata
по: Calì, A, и др.
Опубликовано: (2010)

Query Answering under Probabilistic Uncertainty in Datalog+⁄− Ontologies
по: Gottlob, G, и др.
Опубликовано: (2013)

Acyclicity notions for existential rules and their application to query answering in ontologies
по: Grau, B, и др.
Опубликовано: (2013)

The complexity of XPath query evaluation
по: Gottlob, G, и др.
Опубликовано: (2003)

Explanations for inconsistency-tolerant query answering under existential rules
по: Lukasiewicz, T, и др.
Опубликовано: (2020)

Tractable Query Answering over Conceptual Schemata (Extended Abstract)
по: Calì, A, и др.
Опубликовано: (2010)

Towards more expressive ontology languages: The query answering problem.
по: Calì, A, и др.
Опубликовано: (2012)

Efficient Algorithms for Processing XPath Queries
по: Gottlob, G, и др.
Опубликовано: (2002)

Efficient algorithms for processing XPath queries
по: Gottlob, G, и др.
Опубликовано: (2005)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
по: Calì, A, и др.
Опубликовано: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
по: Calì, A, и др.
Опубликовано: (2009)

A general datalog-based framework for tractable query answering over ontologies.
по: Calì, A, и др.
Опубликовано: (2009)

A general Datalog-based framework for tractable query answering over ontologies.
по: Calì, A, и др.
Опубликовано: (2012)

A General Datalog−Based Framework for Tractable Query Answering over Ontologies
по: Calì, A, и др.
Опубликовано: (2012)

From classical to consistent query answering under existential rules
по: Lukasiewicz, T, и др.
Опубликовано: (2015)