Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
From MaRDI portal
Publication:6041308
DOI10.1007/978-3-031-15791-2_11zbMath1522.68528MaRDI QIDQ6041308
Publication date: 26 May 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Cites Work
- Unnamed Item
- A theory of diagnosis from first principles
- A correction to the algorithm in Reiter's theory of diagnosis
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- Pseudo-contractions as gentle repairs
- Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
- Debugging incoherent terminologies
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- SAT Encoding of Unification in $\mathcal{ELH}_{{R}^+}$ w.r.t. Cycle-Restricted Ontologies
- An Introduction to Description Logic
- Enriching [Escr [Lscr ]-Concepts with Greatest Fixpoints]
- Axiom Pinpointing in General Tableaux
- Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
- Non-standard inferences in description logics
This page was built for publication: Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
