A logical toolbox for ontological reasoning

Authors:
Andrea Calì;Georg Gottlob;Thomas Lukasiewicz;Andreas Pieris
Affiliations:
Birkbeck, University of London;University of Oxford;University of Oxford;University of Oxford
Venue:
ACM SIGMOD Record
Year:
2011

Citing 27
Cited 3

On the complexity of bounded-variable queries (extended abstract)

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The expressive power of stratified logic programs with value invention

Information and Computation
Testing implications of data dependencies

ACM Transactions on Database Systems (TODS)
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
Visual Web Information Extraction with Lixto

Proceedings of the 27th International Conference on Very Large Data Bases
The Implication Problem for Data Dependencies

Proceedings of the 8th Colloquium on Automata, Languages and Programming
On the decidability and complexity of query answering over inconsistent and incomplete databases

Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the complexity of single-rule datalog queries

Information and Computation - Special issue: ICC '99
The complexity of relational query languages (Extended Abstract)

STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Optimal implementation of conjunctive queries in relational data bases

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Monadic datalog and the expressive power of languages for Web information extraction

Journal of the ACM (JACM)
A classification and constraint-based framework for configuration

Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Data exchange: semantics and query answering

Theoretical Computer Science - Database theory
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Journal of Automated Reasoning
A comparison of two modelling paradigms in the Semantic Web

Web Semantics: Science, Services and Agents on the World Wide Web
The chase revisited

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Generalized schema-mappings: from termination to tractability

Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A general datalog-based framework for tractable query answering over ontologies

Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The complexity of finite model reasoning in description logics

Information and Computation - Special issue: 19th international conference on automated deduction (CADE-19)
Logical foundations of (e)RDF(S): complexity and reasoning

ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Finite model reasoning in DL-lite

ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Linking data to ontologies

Journal on data semantics X
Querying the Guarded Fragment

LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
Advanced processing for ontological queries

Proceedings of the VLDB Endowment
On the finite controllability of conjunctive query answering in databases under open-world assumption

Journal of Computer and System Sciences
On rules with existential variables: Walking the decidability line

Artificial Intelligence
CodeQuest: scalable source code queries with datalog

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming

Towards scalable data integration under constraints

Proceedings of the 2012 Joint EDBT/ICDT Workshops
Query rewriting using datalog for duplicate resolution

Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Scalable containment for unions of conjunctive queries under constraints

Proceedings of the Fifth Workshop on Semantic Web Information Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

In ontology-enhanced database systems, an ontology on top of the extensional database expresses intensional knowledge that enhances the database schema. Queries posed to such systems are to be evaluated considering all the knowledge inferred from the data by means of the ontology; in other words, queries are to be evaluated against the logical theory constituted by the data and the ontology. In this context, tractability of query answering is a central issue, given that the data size is normally very large. This paper surveys results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a useful logical toolbox for ontology modeling and for ontology-based query answering. We present different Datalog+/- languages and related complexity results, showing that Datalog+/- can be successfully adopted due to its clarity, expressiveness and its good computational properties.