Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes

DOI10.1007/978-3-030-79876-5_18OpenAlexW3177529194MaRDI QIDQ2055866

Francesco Kriegel, Franz Baader, Patrick Koopmann, Adrian Nuradiansyah

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-79876-5_18

zbMATH Keywords

safetydescription logiccomplianceprivacy-preserving ontology publishing

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Combining event calculus and description logic reasoning via logic programming, Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes, Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes

Uses Software

• HermiT
• Konclude
• RacerPro

Cites Work

• Unnamed Item
• Deciding inseparability and conservative extensions in the description logic
• Testing containment of conjunctive queries under functional and inclusion dependencies
• The OWL reasoner evaluation (ORE) 2015 competition report
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
• Privacy-preserving ontology publishing for \(\mathcal{EL}\) instance stores
• HermiT: an OWL 2 reasoner
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• Debugging incoherent terminologies
• Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
• An Introduction to Description Logic
• Logical Foundations of Linked Data Anonymisation
• A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
• Non-standard inferences in description logics