Optimal repairs in the description logic \(\mathcal{EL}\) revisited

DOI10.1007/978-3-031-43619-2_2MaRDI QIDQ6545515

Patrick Koopmann, Francesco Kriegel, Franz Baader

Publication date: 29 May 2024

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• Foundations of a functional approach to knowledge representation
• Deciding inseparability and conservative extensions in the description logic
• A theory of diagnosis from first principles
• A correction to the algorithm in Reiter's theory of diagnosis
• The OWL reasoner evaluation (ORE) 2015 competition report
• Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
• Repairing socially aggregated ontologies using axiom weakening
• Privacy-preserving ontology publishing for \(\mathcal{EL}\) instance stores
• The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
• Debugging incoherent terminologies
• SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies
• An Introduction to Description Logic
• Logical Foundations of Linked Data Anonymisation
• A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
• Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes

Related Items (1)

Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies

This page was built for publication: Optimal repairs in the description logic \(\mathcal{EL}\) revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545515)