On Instance-level Update and Erasure in Description Logic Ontologies

DOI10.1093/logcom/exn051zbMath1181.68274WikidataQ64360209 ScholiaQ64360209MaRDI QIDQ3184232

Antonella Poggi, Riccardo Rosati, Maurizio Lenzerini, Giuseppe De Giacomo

Publication date: 14 October 2009

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn051

zbMATH Keywords

description logic; erasure; ontologies; update

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

Related Items

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting, DL-Lite Ontology Revision Based on An Alternative Semantic Characterization, Data Integration through ${\textit{DL-Lite}_{\mathcal A}}$ Ontologies, Capturing model-based ontology evolution at the instance level: the case of DL-Lite, Foundations of instance level updates in expressive description logics, Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases, Forgetting for knowledge bases in DL-lite, On updates of hybrid knowledge bases composed of ontologies and rules, Query inseparability for \(\mathcal{ALC}\) ontologies, Tractable reasoning and efficient query answering in description logics: The DL-Lite family, A Unifying Perspective on Knowledge Updates, Conceptual Modeling for Data Integration, A Distance-Based Operator to Revising Ontologies in DL $\mathcal{SHOQ}$, Ontologies and Databases: The DL-Lite Approach