Computing optimal repairs of quantified ABoxes w.r.t. static EL TBoxes
From MaRDI portal
Publication:2055866
Recommendations
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
- Optimal repairs in the description logic \(\mathcal{EL}\) revisited
- Computing repairs of inconsistent DL-programs over \(\mathcal{EL}\) ontologies
- Computing repairs for inconsistent DL-programs over \(\mathcal{EL}\) ontologies
- Data repair of inconsistent nonmonotonic description logic programs
Cites work
- A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
- Acyclicity notions for existential rules and their application to query answering in ontologies
- 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
- HermiT: an OWL 2 reasoner
- scientific article; zbMATH DE number 1306878 (Why is no real title available?)
- Logical foundations of linked data anonymisation
- Non-standard inferences in description logics
- Privacy-preserving ontology publishing for \(\mathcal{EL}\) instance stores
- Testing containment of conjunctive queries under functional and inclusion dependencies
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- The OWL reasoner evaluation (ORE) 2015 competition report
Cited in
(11)- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes
- Optimal repair for omega-regular properties
- Optimal repairs in the description logic \(\mathcal{EL}\) revisited
- Controlled query evaluation in description logics through consistent query answering
- Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies
- Reasoning in OWL 2 EL with hierarchical concrete domains
- Closure-based tractable possibilistic inference from partially ordered DL-Lite ontologies
- Exploiting uncertainty for querying inconsistent description logics knowledge bases
- Inconsistency-tolerant semantics based on (preferred) repairs (invited paper)
- Combining event calculus and description logic reasoning via logic programming
This page was built for publication: Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2055866)
