A Proof Procedure for Data Dependencies
Journal of the ACM (JACM)
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
The expressive power of stratified logic programs with value invention
Information and Computation
A normal form for relational databases that is based on domains and keys
ACM Transactions on Database Systems (TODS)
Testing implications of data dependencies
ACM Transactions on Database Systems (TODS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Data integration: a theoretical perspective
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
The Implication Problem for Data Dependencies
Proceedings of the 8th Colloquium on Automata, Languages and Programming
Datalog and Description Logics: Expressive Power
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
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
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
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
Artificial Intelligence - Special issue: Distributed constraint satisfaction
Position paper: a comparison of two modelling paradigms in the Semantic Web
Proceedings of the 15th international conference on World Wide Web
External sources of knowledge and value invention in logic programming
Annals of Mathematics and Artificial Intelligence
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
Journal of Automated Reasoning
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
DL-lite in the light of first-order logic
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
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
Journal on data semantics X
Tractable Query Answering over Conceptual Schemata
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Static analysis of schema-mappings ensuring oblivious termination
Proceedings of the 13th International Conference on Database Theory
Semantic query optimization in the presence of types
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Active knowledge: dynamically enriching RDF knowledge bases by web services
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Monadic datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic (TOCL)
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
A metamodel approach to flexible semantic web service discovery
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Default conceptual graph rules, atomic negation and Tic-Tac-Toe
ICCS'10 Proceedings of the 18th international conference on Conceptual structures: from information to intelligence
Query answering under non-guarded rules in datalog+/-
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Advanced processing for ontological queries
Proceedings of the VLDB Endowment
Query answering under expressive entity-relationship schemata
ER'10 Proceedings of the 29th international conference on Conceptual modeling
A better uncle for OWL: nominal schemas for integrating rules and ontologies
Proceedings of the 20th international conference on World wide web
On rules with existential variables: Walking the decidability line
Artificial Intelligence
Ontological query answering with existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Towards farsighted dependencies for existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Polynomial conjunctive query rewriting under unary inclusion dependencies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Ontological query answering via rewriting
ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Semantic data markets: a flexible environment for knowledge management
Proceedings of the 20th ACM international conference on Information and knowledge management
A logical toolbox for ontological reasoning
ACM SIGMOD Record
Querying conceptual schemata with expressive equality constraints
ER'11 Proceedings of the 30th international conference on Conceptual modeling
Semantic Web search based on ontological conjunctive queries
Web Semantics: Science, Services and Agents on the World Wide Web
Ontological query answering under expressive Entity-Relationship schemata
Information Systems
Informing datalog through language intelligence --- a personal perspective
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Context modelling and context-aware querying
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Datalog+/-: a family of languages for ontology querying
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
A general Datalog-based framework for tractable query answering over ontologies
Web Semantics: Science, Services and Agents on the World Wide Web
Computing universal models under guarded TGDs
Proceedings of the 15th International Conference on Database Theory
Walking the complexity lines for generalized guarded existential rules
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Extending decidable existential rules by joining acyclicity and guardedness
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Exponential lower bounds and separation for query rewriting
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
On the complexity of ontological reasoning under disjunctive existential rules
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Ontology-based semantic search on the Web and its combination with the power of inductive reasoning
Annals of Mathematics and Artificial Intelligence
Existential rules: a graph-based view
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Magic-Sets for datalog with existential quantifiers
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
A broad class of first-order rewritable tuple-generating dependencies
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Inconsistency-Tolerant query rewriting for linear datalog+/-
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Query patterns for existential rules
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
A sound and complete backward chaining algorithm for existential rules
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Distributed ontology based data access via logic programming
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Research summary: datalog-based data access
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
ADBIS'12 Proceedings of the 16th East European conference on Advances in Databases and Information Systems
Programming and Computing Software
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
Theory and Practice of Logic Programming
Data complexity of query answering in description logics
Artificial Intelligence
Access patterns and integrity constraints revisited
Proceedings of the 16th International Conference on Database Theory
Proceedings of the 32nd symposium on Principles of database systems
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP
Proceedings of the 32nd symposium on Principles of database systems
A variant of earley deduction with partial evaluation
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
On the exploration of the query rewriting space with existential rules
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Kiabora: an analyzer of existential rule bases
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
An integrated environment for reasoning over ontologies via logic programming
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Computing stable models for nonmonotonic existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Sound, complete, and minimal query rewriting for existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Ontology based query answering with existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Datalog-based framework for efficient query answering over fuzzy ontologies
International Journal of Metadata, Semantics and Ontologies
Taming the infinite chase: query answering under expressive relational constraints
Journal of Artificial Intelligence Research
Converging to the Chase -- A Tool for Finite Controllability
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |
In this paper, we introduce a family of expressive extensions of Datalog, called Datalog+/-, as a new paradigm for query answering over ontologies. The Datalog+/- family admits existentially quantified variables in rule heads, and has suitable restrictions to ensure highly efficient ontology querying. We show in particular that Datalog+/- generalizes the DL-Lite family of tractable description logics, which are the most common tractable ontology languages in the context of the Semantic Web and databases. We also show how stratified negation can be added to Datalog+/- while keeping ontology querying tractable. Furthermore, the Datalog+/- family is of interest in its own right and can, moreover, be used in various contexts such as data integration and data exchange.