Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change-Reference-Cited by-同舟云学术

Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change

Published:2023-03-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Baader Franz¹²^ORCID

Affiliation:

1. Institute of Theoretical Computer Science, TU Dresden, Dresden, Germany

2. Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI), Dresden/Leipzig, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3555776.3577719

Reference25 articles.

1. On the logic of theory change: Partial meet contraction and revision functions

2. An Introduction to Description Logic

3. Computing Optimal Repairs of Quantified ABoxes w.r.t. Static $$\mathcal {EL}$$ TBoxes

4. Optimal ABox Repair w.r.t. Static $$\mathcal {EL}$$ TBoxes: From Quantified ABoxes Back to ABoxes

5. Franz Baader , Francesco Kriegel , Adrian Nuradiansyah , and Rafael Peñaloza . 2018. Making Repairs in Description Logics More Gentle . In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018 , Tempe, Arizona , 30 October - 2 November 2018, Michael Thielscher, Francesca Toni, and Frank Wolter (Eds.). AAAI Press , 319--328. https://aaai.org/ocs/index.php/KR/KR18/paper/view/18056 Franz Baader, Francesco Kriegel, Adrian Nuradiansyah, and Rafael Peñaloza. 2018. Making Repairs in Description Logics More Gentle. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, Michael Thielscher, Francesca Toni, and Frank Wolter (Eds.). AAAI Press, 319--328. https://aaai.org/ocs/index.php/KR/KR18/paper/view/18056

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Relating Optimal Repairs in Ontology Engineering with Contraction Operations in Belief Change;ACM SIGAPP Applied Computing Review;2023-09

2. Optimal Repairs in Ontology Engineering as Pseudo-Contractions in Belief Change;Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing;2023-03-27

3. Optimal Repairs in the Description Logic $$\mathcal{E}\mathcal{L}$$ Revisited;Logics in Artificial Intelligence;2023