Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
type: Item
instance of: scholarly article
title: Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
DOI: 10.1007/978-3-030-79876-5_18
author: Franz Baader
author: Patrick Koopmann
author: Francesco Kriegel
author: Adrian Nuradiansyah
publication date: 2021-12-01T00:00:00Z
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7437086
zbMATH Keywords: compliance
zbMATH Keywords: safety
zbMATH Keywords: privacy-preserving ontology publishing
zbMATH Keywords: description logic
describes a project that uses: RacerPro
describes a project that uses: HermiT
describes a project that uses: Konclude
MaRDI profile type: Publication
full work available at URL: 978-3-030-79876-5 18
OpenAlex ID: W3177529194
cites work: An Introduction to Description Logic
cites work: Privacy-preserving ontology publishing for \(\mathcal{EL}\) instance stores
cites work: HermiT: an OWL 2 reasoner
cites work: Acyclicity notions for existential rules and their application to query answering in ontologies
cites work: Logical Foundations of Linked Data Anonymisation
cites work: Q4252730
cites work: Testing containment of conjunctive queries under functional and inclusion dependencies
cites work: The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
cites work: Non-standard inferences in description logics
cites work: A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
cites work: Deciding inseparability and conservative extensions in the description logic
cites work: The OWL reasoner evaluation (ORE) 2015 competition report
cites work: Debugging incoherent terminologies
description: scientific article; zbMATH DE number 7437086