Corpus ID: 18410323

A set-theoretical approach for ABox reasoning services (Extended Version)

  title={A set-theoretical approach for ABox reasoning services (Extended Version)},
  author={Domenico Cantone and Marianna Nicolosi Asmundo and Daniele Francesco Santamaria},
In this paper we consider the most common ABox reasoning services for the description logic $\dlssx$ ($\shdlssx$, for short) and prove their decidability via a reduction to the satisfiability problem for the set-theoretic fragment \flqsr. $\shdlssx$ is a very expressive description logic admitting various concept and role constructs, datatypes, and it allows one to represent rule based languages such as SWRL. Decidability results are achieved by defining a generalized version of the… Expand
1 Citations
A Set-Theoretic Approach to ABox Reasoning Services
This paper considers the most common ABox reasoning services for the description logic (D) and proves their decidability via a reduction to the satisfiability problem for the set-theoretic fragment. Expand


Conjunctive Query Answering via a Fragment of Set Theory
The CQA problem for $\shdlssx$ is solved through a decision procedure for the satisfiability problem of $\flqsr$ and a space based procedure is defined for the same problem, more suitable for implementation purposes, and its computational complexity is analyzed. Expand
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Decidability (more precisely, a 2EXPTIME upper bound) of query answering is proved, thus significantly pushing the decidability frontier, both with respect to the query language and the considered DL. Expand
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ
These are the first completeness results for query answering in DLs with inverses, nominals, and counting, and show that for the considered logics the problem is not more expensive than standard reasoning. Expand
Data Complexity of Query Answering in Description Logics
The Description Logics of the DL-Lite family are the maximal logics allowing conjunctive query answering through standard database technology, and are the first description Logics specifically tailored for effective query answering over very large ABoxes. Expand
Reasoning with Individuals for the Description Logic SHIQ
An algorithm for combined Tbox and Abox reasoning in the \(\mathcal{SHIQ}\) description logic is presented, of particular interest as it can be used to decide the problem of (database) conjunctive query containment w.r.t. a schema. Expand
The Even More Irresistible SROIQ
A rather elegant tableau-based reasoning algorithm that combines the use of automata to keep track of universal value restrictions with the techniques developed for SHOIQ, which has been adopted as the logical basis for the next iteration of OWL, OWL 1.1. Expand
The Decision Problem for a Three-sorted Fragment of Set Theory with Restricted Quantification and Finite Enumerations
The satisfiability problem for a three-sorted fragment of set theory (denoted $3LQST_0^R$), which admits a restricted form of quantification over individual and set variables and the finite enumeration operator over individual variables, is solved. Expand
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics
For a whole range of DLs from AL to SHIQ, answering CQs with no transitive roles has CONP-complete data complexity, established by a novel tableaux-based algorithm for checking query entailment. Expand
A Conjunctive Query Language for Description Logic Aboxes
This paper presents a novel technique that can be used to provide an expressive query language for interrogating the knowledge base of Description Logic systems, based on a reduction to knowledge base satisfiability. Expand
On Conjunctive Query Answering in EL
  • R. Rosati
  • Computer Science
  • Description Logics
  • 2007
This paper study conjunctive query answering in the description logics of the EL family, in particular the DLs EL, ELH, EL, and EL, to identify DLs both having interesting expressive abilities and allowing for tractable reasoning. Expand