Inconsistency- and error-tolerant reasoning w.r.t. optimal repairs of EL^ ontologies

DOI10.1007/978-3-031-56940-1_1MaRDI QIDQ6630183zbMATH OpenFDO

Authors Franz Baader, Francesco Kriegel, Adrian Nuradiansyah

Publication date 30 October 2024

Full work available at URL https://doi.org/10.1007/978-3-031-56940-1_1

Mathematics Subject Classification ID

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

• 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
• Error-tolerant reasoning in the description logic \(\mathcal{EL}\)
• scientific article; zbMATH DE number 1306878 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Ontology-Mediated Query Answering with Data-Tractable Description Logics
• Optimal repairs in the description logic \(\mathcal{EL}\) revisited
• The complexity of acyclic conjunctive queries

Cited in

(1)

• Inconsistency-tolerant semantics based on (preferred) repairs (invited paper)

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)