Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies
From MaRDI portal
Publication:6630183
DOI10.1007/978-3-031-56940-1_1MaRDI QIDQ6630183
Francesco Kriegel, Adrian Nuradiansyah, Franz Baader
Publication date: 30 October 2024
Database theory (68P15) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Deciding inseparability and conservative extensions in the description logic
- Computing optimal repairs of quantified ABoxes w.r.t. static \(\mathcal{EL}\) TBoxes
- Debugging incoherent terminologies
- Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$
- Ontology-Mediated Query Answering with Data-Tractable Description Logics
- An Introduction to Description Logic
- The complexity of acyclic conjunctive queries
- Optimal repairs in the description logic \(\mathcal{EL}\) revisited
This page was built for publication: Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of \(\mathcal{EL}^\bot\) ontologies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6630183)
