Reasoning in Description Logics by a Reduction to Disjunctive Datalog

Authors:
Ullrich Hustadt;Boris Motik;Ulrike Sattler
Affiliations:
Department of Computer Science, University of Liverpool, Liverpool, UK;Department of Computer Science, University of Manchester, Manchester, UK;Department of Computer Science, University of Manchester, Manchester, UK
Venue:
Journal of Automated Reasoning
Year:
2007

Citing 21
Cited 31

A Structure-preserving Clause Form Translation

Journal of Symbolic Computation
On the power of magic

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theorem proving with ordering and equality constrained clauses

Journal of Symbolic Computation
Basic paramodulation

Information and Computation
On the relative expressiveness of description logics and predicate logics

Artificial Intelligence
First-order logic and automated theorem proving (2nd ed.)

First-order logic and automated theorem proving (2nd ed.)
Disjunctive datalog

ACM Transactions on Database Systems (TODS)
Term rewriting and all that

Term rewriting and all that
Description logics for conceptual data modeling

Logics for databases and information systems
The entity-relationship model—toward a unified view of data

ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Complexity and expressive power of logic programming

ACM Computing Surveys (CSUR)
Foundations of Databases: The Logical Level

Foundations of Databases: The Logical Level
On the Relation of Resolution and Tableaux Proof Systems for Description Logics

IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Exploiting Pseudo Models for TBox and ABox Reasoning in Expressive Description Logics

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
RACER System Description

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
Data complexity of reasoning in very expressive description logics

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A comparison of reasoning techniques for querying large description logic ABoxes

LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
FaCT++ description logic reasoner: system description

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
A resolution-based decision procedure for SHOIQ

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

Rules and Ontologies for the Semantic Web

Reasoning Web
Lexicographical Inference over Inconsistent DL-Based Ontologies

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
DL - Lite and Role Inclusions

ASWC '08 Proceedings of the 3rd Asian Semantic Web Conference on The Semantic Web
Data-complexity of the two-variable fragment with counting quantifiers

Information and Computation
Consequence-driven reasoning for horn SHIQ ontologies

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Distributed Resolution for Expressive Ontology Networks

RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Goal-Directed Module Extraction for Explaining OWL DL Entailments

ISWC '09 Proceedings of the 8th International Semantic Web Conference
The DL-lite family and relations

Journal of Artificial Intelligence Research
Reconciling description logics and rules

Journal of the ACM (JACM)
The role of semantics in mining frequent patterns from knowledge bases in description logics with rules

Theory and Practice of Logic Programming
Horn Knowledge Bases in Regular Description Logics with PTIME Data Complexity

Fundamenta Informaticae
A Prolog-based Query Language for OWL

Electronic Notes in Theoretical Computer Science (ENTCS)
Extending XQuery for semantic web reasoning

INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Optimizing query answering over OWL ontologies

ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Conjunctive query answering in the description logic SH using knots

Journal of Computer and System Sciences
View-based query answering in Description Logics: Semantics and complexity

Journal of Computer and System Sciences
A query language for logic architectures

PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Datalog relaunched: simulation unification and value invention

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Magic Sets for disjunctive Datalog programs

Artificial Intelligence
Uniform evaluation of nonmonotonic DL-Programs

FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Finitely recursive programs: Decidability and bottom-up computation

AI Communications
Towards Practical ABox Abduction in Large Description Logic Ontologies

International Journal on Semantic Web & Information Systems
Approximating Linear Order Inference in OWL 2 DL by Horn Compilation

WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 01
Ontology-based data access: a study through disjunctive datalog, CSP, and MMSNP

Proceedings of the 32nd symposium on Principles of database systems
Making the most of your triple store: query answering in OWL 2 using an RL reasoner

Proceedings of the 22nd international conference on World Wide Web
HornDL: an expressive horn description logic with PTime data complexity

RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Answer set programming

RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Ontology-based data access with databases: a short course

RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
First-order rewritability of atomic queries in horn description logics

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Computing datalog rewritings beyond horn ontologies

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Ontology-based data access with closed predicates is inherently intractable (sometimes)

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a novel reasoning algorithm that reduces a $\mathcal{SHIQ}$ knowledge base to a disjunctive datalog program while preserving the set of ground consequences. Queries can then be answered in the resulting program while reusing existing and practically proven optimization techniques of deductive databases, such as join-order optimizations or magic sets. Moreover, we use our algorithm to derive precise data complexity bounds: we show that $\mathcal{SHIQ}$ is data complete for NP, and we identify an expressive fragment of $\mathcal{SHIQ}$ with polynomial data complexity.