Conjunctive query answering for the description logic SHIQ

Authors:
Birte Glimm;Ian Horrocks;Carsten Lutz;Ulrike Sattler
Affiliations:
Oxford University Computing Laboratory, UK;Oxford University Computing Laboratory, UK;Dresden University of Technology, Germany;The University of Manchester, UK
Venue:
Journal of Artificial Intelligence Research
Year:
2008

Citing 20
Cited 41

On the complexity of the instance checking problem in concept languages with existential quantification

Journal of Intelligent Information Systems - Special issue on methodologies for intelligent systems
On the decidability of query containment under constraints

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Combining Horn rules and description logics in CARIN

Artificial Intelligence
Logical approaches to incomplete information: a survey

Logics for databases and information systems
Why are modal logics so robustly decidable?

Current trends in theoretical computer science
Problem of Incomplete Information in Relational Databases

Problem of Incomplete Information in Relational Databases
An Industrial Strength Description Logics-Based Configurator Platform

IEEE Intelligent Systems
Conjunctive Query Containment Revisited

ICDT '97 Proceedings of the 6th International Conference on Database Theory
A Conjunctive Query Language for Description Logic Aboxes

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Reasoning with Individuals for the Description Logic SHIQ

CADE-17 Proceedings of the 17th International Conference on Automated Deduction
On the decidability and finite controllability of query processing in databases with incomplete information

Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Description Logic Handbook

The Description Logic Handbook
Pellet: A practical OWL-DL reasoner

Web Semantics: Science, Services and Agents on the World Wide Web
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Journal of Automated Reasoning
Characterizing data complexity for conjunctive query answering in expressive description logics

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Answering regular path queries in expressive description logics: an automata-theoretic approach

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Data complexity of reasoning in very expressive description logics

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A little semantic web goes a long way in biology

ISWC'05 Proceedings of the 4th international conference on The Semantic Web
The limits of querying ontologies

ICDT'07 Proceedings of the 11th international conference on Database Theory
FaCT++ description logic reasoner: system description

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

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

Journal of Automated Reasoning
Foundations of Onto-Relational Learning

ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
The Complexity of Conjunctive Query Answering in Expressive Description Logics

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Cheap Boolean Role Constructors for Description Logics

JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Aggregate queries over ontologies

Proceedings of the 2nd international workshop on Ontologies and information systems for the semantic web
Role Conjunctions in Expressive Description Logics

LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Exploiting conjunctive queries in description logic programs

Annals of Mathematics and Artificial Intelligence
Data-complexity of the two-variable fragment with counting quantifiers

Information and Computation
Formal Properties of Modularisation

Modular Ontologies
Query Answering in Description Logics: The Knots Approach

WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Query answering in description logics with transitive roles

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling

ISWC '09 Proceedings of the 8th International Semantic Web Conference
A Practical Approach for Scalable Conjunctive Query Answering on Acyclic $\mathcal{EL}^+$ Knowledge Base

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Inductive logic programming in databases: From datalog to $\mathcal{dl}+log}^{\neg\vee}$

Theory and Practice of Logic Programming
Scalable and efficient reasoning for enforcing role-based access control

DBSec'10 Proceedings of the 24th annual IFIP WG 11.3 working conference on Data and applications security and privacy
Well-founded semantics for description logic programs in the semantic web

ACM Transactions on Computational Logic (TOCL)
A refinement operator based method for semantic grouping of conjunctive query results

KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III
SPARQL1.1: new features and friends (OWL2, RIF)

RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Nominals, inverses, counting, and conjunctive queries or: why infinity is your friend!

Journal of Artificial Intelligence Research
Optimized query rewriting for OWL 2 QL

CADE'11 Proceedings of the 23rd international conference on Automated deduction
Foundations of description logics

RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Query Answering with DBoxes is Hard

Electronic Notes in Theoretical Computer Science (ENTCS)
Querying OWL 2 QL and non-monotonic rules

ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
View-based query answering in Description Logics: Semantics and complexity

Journal of Computer and System Sciences
Categorize by: deductive aggregation of semantic web query results

ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Datalog for security, privacy and trust

Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Delta-reasoner: a semantic web reasoner for an intelligent mobile platform

Proceedings of the 21st international conference companion on World Wide Web
Containment of regular path queries under description logic constraints

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
On the complexity of dealing with inconsistency in description logic ontologies

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A systemic approach for effective semantic access to cultural content

Semantic Web
Towards a unifying approach to representing and querying temporal data in description logics

RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Complexities of Horn Description Logics

ACM Transactions on Computational Logic (TOCL)
Formal verification of data provenance records

ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Cost based query ordering over OWL ontologies

ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part I
Data complexity of query answering in description logics

Artificial Intelligence
A semantic metrics suite for evaluating modular ontologies

Information Systems
Query-Driven Procedures for Hybrid MKNF Knowledge Bases

ACM Transactions on Computational Logic (TOCL)
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
Computing datalog rewritings beyond horn ontologies

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Acyclicity notions for existential rules and their application to query answering in ontologies

Journal of Artificial Intelligence Research
Query rewriting under query refinements

Knowledge-Based Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Conjunctive queries play an important role as an expressive query language for Description Logics (DLs). Although modern DLs usually provide for transitive roles, conjunctive query answering over DL knowledge bases is only poorly understood if transitive roles are admitted in the query. In this paper, we consider unions of conjunctive queries over knowledge bases formulated in the prominent DL SHIQ and allow transitive roles in both the query and the knowledge base. We show decidability of query answering in this setting and establish two tight complexity bounds: regarding combined complexity, we prove that there is a deterministic algorithm for query answering that needs time single exponential in the size of the KB and double exponential in the size of the query, which is optimal. Regarding data complexity, we prove containment in co-NP.