Ontologies and Databases: The DL-Lite Approach
From MaRDI portal
Publication:3639004
DOI10.1007/978-3-642-03754-2_7zbMATH Open1254.68106OpenAlexW1528446492WikidataQ62048045 ScholiaQ62048045MaRDI QIDQ3639004
Riccardo Rosati, Giuseppe De Giacomo, Diego Calvanese, Antonella Poggi, Maurizio Lenzerini, Domenico Lembo, Mariano Rodriguez-Muro
Publication date: 28 October 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03754-2_7
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Theory of computation.
- The DL-Lite Family and Relations
- Linking Data to Ontologies
- Undirected connectivity in log-space
- Testing containment of conjunctive queries under functional and inclusion dependencies
- Conjunctive-query containment and constraint satisfaction
- Polynomial-time implication problems for unary inclusion dependencies
- Data complexity of query answering in description logics
- Attributive concept descriptions with complements
- A description logic with transitive and inverse roles and role hierarchies
- Answering queries using views: A survey
- Automata-theoretic techniques for modal logics of programs
- Reasoning in expressive description logics
- An overview of tableau algorithms for description logics
- Reasoning on UML class diagrams
- On Instance-level Update and Erasure in Description Logic Ontologies
- The complexity of concept languages
- Data Complexity in the $\mathcal{EL}$ Family of Description Logics
- Data complexity of query answering in expressive description logics via tableaux
- Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies
- Computational complexity of terminological reasoning in BACK
- Deduction in Concept Languages: from Subsumption to Instance Checking
Cited In (11)
- Foundations of ontology-based data access under bag semantics
- Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies
- Metamodeling and metaquerying in \texttt{OWL 2 QL}
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\)
- The notion of abstraction in ontology-based data management
- Uncertain lightweight ontologies in a product-based possibility theory framework
- Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting
- Capturing model-based ontology evolution at the instance level: the case of DL-Lite
- Title not available (Why is that?)
- Absorption for ABoxes
Uses Software
This page was built for publication: Ontologies and Databases: The DL-Lite Approach
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3639004)
