Optimal repairs in the description logic EL revisited
From MaRDI portal
Publication:6545515
Recommendations
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
- Error-tolerant reasoning in the description logic \(\mathcal{EL}\)
- Computing repairs of inconsistent DL-programs over \(\mathcal{EL}\) ontologies
- Computing repairs for inconsistent DL-programs over \(\mathcal{EL}\) ontologies
Cites work
- A correction to the algorithm in Reiter's theory of diagnosis
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
- A theory of diagnosis from first principles
- An introduction to description logic
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- Debugging incoherent terminologies
- Deciding inseparability and conservative extensions in the description logic
- Foundations of a functional approach to knowledge representation
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- Logical foundations of linked data anonymisation
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
- Privacy-preserving ontology publishing for \(\mathcal{EL}\) instance stores
- Repairing socially aggregated ontologies using axiom weakening
- SAT encoding of unification in \(\mathcal{ELH}_{{R}^+}\) w.r.t. cycle-restricted ontologies
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- The OWL reasoner evaluation (ORE) 2015 competition report
Cited in
(3)
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)
