Corpus ID: 6132791

DL-Lite: Tractable Description Logics for Ontologies

@inproceedings{Calvanese2005DLLiteTD,
  title={DL-Lite: Tractable Description Logics for Ontologies},
  author={Diego Calvanese and Giuseppe De Giacomo and Domenico Lembo and Maurizio Lenzerini and Riccardo Rosati},
  booktitle={AAAI},
  year={2005}
}
We propose a new Description Logic, called DL-Lite, specifically tailored to capture basic ontology languages, while keeping low complexity of reasoning. Reasoning here means not only computing subsumption between concepts, and checking satisfiability of the whole knowledge base, but also answering complex queries (in particular, conjunctive queries) over the set of instances maintained in secondary storage. We show that in DL-Lite the usual DL reasoning tasks are polynomial in the size of the… Expand
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family
TLDR
It is shown that, for the DLs of the DL-Lite family, the usual DL reasoning tasks are polynomial in the size of the TBox, and query answering is LogSpace in thesize of the ABox, which is the first result ofPolynomial-time data complexity for query answering over DL knowledge bases. Expand
Query Answering in Expressive Variants of DL-Lite
TLDR
This paper proposes DL-Litebool, an extension of DL- lite with full Booleans and number restrictions, and study the complexity of reasoning in DL- Litebool and its significant sub-logics, and obtains results by a novel reduction to the one-variable fragment of firstorder logic. Expand
DL-Lite in the Light of First-Order Logic
TLDR
This paper proposes DL-Litebool, an extension of DL- lite with full Booleans and number restrictions, and study the complexity of reasoning in DL- Litebool and its significant sub-logics, and obtains results by a novel reduction to the one-variable fragment of first-order logic. Expand
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics
TLDR
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
Temporal Conjunctive Query Answering in the Extended DL-Lite Family
TLDR
This work investigates temporal conjunctive queries (TCQs) that allow to access temporal data through classical ontologies and studies combined and data complexity of TCQ entailment for ontologies written in description logics from the extended DL-Lite family. Expand
Consistent Query Answering over Description Logic Ontologies
TLDR
This paper provides inconsistency tolerant semantics for DLs, and studies the computational complexity of consistent query answering over ontologies specified in DL-Lite, a family of DLs specifically tailored to deal with large amounts of data. Expand
Data Complexity of Query Answering in Description Logics
TLDR
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
LTCS – Report On Implementing Temporal Query Answering in DL-Lite
Ontology-based data access augments classical query answering over fact bases by adopting the open-world assumption and by including domain knowledge provided by an ontology. We implemented temporalExpand
On the Update of Description Logic Ontologies at the Instance Level
TLDR
This work provides a general semantics for instance level update in Description Logics, and shows that DL-Lite is closed with respect to instancelevel update, in the sense that the result of an update is always expressible as a new DL- lite ABox. Expand
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
TLDR
It is established that, for a whole range of sublogics of $\mathcal{SHOIQ}$ that contain $\Mathcal{AL}$, answering such queries has coNP-complete data complexity, and a tight coNP upper bound for positive existential queries without transitive roles is proved. Expand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 20 REFERENCES
Answering Queries Using Views over Description Logics Knowledge Bases
TLDR
This paper addresses answering queries using views in a setting where intensional knowledge about the domain is represented using a very expressive Description Logic equipped with n-ary relations, and queries are nonrecursive datalog queries whose predicates are the concepts and relations that appear in the Description Logic knowledge base. Expand
AL-log: Integrating Datalog and Description Logics
TLDR
A method for query answering in AL-log based on constrained resolution, where the usual deduction procedure defined for Datalog is integrated with a method for reasoning on the structural knowledge. Expand
Deduction in Concept Languages: From Subsumption to Instance Checking
TLDR
This paper addresses the question of whether instance checking can be solved by means of subsumption algorithms by considering several languages where subsumption belongs to diierent complexity classes, and shows that instance checking is not always easily reducible to subsumption. Expand
Combining Horn Rules and Description Logics in CARIN
TLDR
It is shown that in general, the reasoning problem for recursive carin - A LCNR knowledge bases is undecidable, and the constructors of ALCNR causing the undecidability is identified. Expand
Recursive Query Plans for Data Integration
TLDR
The novel class of recursive query answering plans is described, which enables us to settle three open problems and describes an algorithm for finding a query plan that produces the maximal set of answers from the sources for arbitrary recursive queries. Expand
On the decidability and complexity of query answering over inconsistent and incomplete databases
TLDR
This paper identifies the maximal class of inclusion dependencies under which query answering is decidable in the presence of key dependencies and establishes decidability and complexity results for query answering under different assumptions on data. Expand
CLASSIC: a structural data model for objects
TLDR
The kind of language of descriptions and queries presented here provides a new arena for the search for languages that are more expressive than conventional DBMS languages, but for which query processing is still tractable. Expand
The logic of knowledge bases
TLDR
This book offers a new mathematical model of knowledge that is general and expressive yet more workable in practice than previous models, and presents a style of semantic argument and formal analysis that would be cumbersome or completely impractical with other approaches. Expand
Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity
TLDR
This paper provides a complete characterization of computational complexity of reasoning in these types of schemata, both in the presence and in the absence ofcycles, for a relevant class of description logic. Expand
The complexity of relational query languages (Extended Abstract)
TLDR
The pattern which will be shown is that the expression complexity of the investigated languages is one exponential higher then their data complexity, and for both types of complexity the authors show completeness in some complexity class. Expand
...
1
2
...