Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
From MaRDI portal
Publication:2055866
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
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
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
