Ontologies and Databases: The DL-Lite Approach

DOI10.1007/978-3-642-03754-2_7zbMath1254.68106WikidataQ62048045 ScholiaQ62048045MaRDI QIDQ3639004

Riccardo Rosati, Giuseppe De Giacomo, Diego Calvanese, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, 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

Mathematics Subject Classification ID

68P15: Database theory

68T27: Logic in artificial intelligence

68T30: Knowledge representation

Related Items

Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies, Capturing model-based ontology evolution at the instance level: the case of DL-Lite, Absorption for ABoxes

Uses Software

• Pellet
• Racer
• KL-ONE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Data complexity of query answering in description logics
• Attributive concept descriptions with complements
• Data complexity of query answering in expressive description logics via tableaux
• Testing containment of conjunctive queries under functional and inclusion dependencies
• Automata-theoretic techniques for modal logics of programs
• Computational complexity of terminological reasoning in BACK
• The complexity of concept languages
• Conjunctive-query containment and constraint satisfaction
• Reasoning on UML class diagrams
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Theory of computation.
• On Instance-level Update and Erasure in Description Logic Ontologies
• Polynomial-time implication problems for unary inclusion dependencies
• Data Complexity in the $\mathcal{EL}$ Family of Description Logics
• Towards Top-k Query Answering in Description Logics: The Case of DL-Lite
• Undirected connectivity in log-space
• The DL-Lite Family and Relations
• A description logic with transitive and inverse roles and role hierarchies
• Deduction in Concept Languages: from Subsumption to Instance Checking
• Linking Data to Ontologies
• Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies
• An overview of tableau algorithms for description logics
• Answering queries using views: A survey