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

Baader, Franz; Koopmann, Patrick; Kriegel, Francesco; Nuradiansyah, Adrian

doi:10.1007/978-3-031-06981-9_8

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2022

2024

Publication Types

Select...

Other3

Book3

Relationship

Self Cite0

Independent6

Authors

Journals

Cited by 7 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Meanwhile, we give conditions that guarantee that our operations perform minimal changes on epistemic states. Baader et al (2022) propose to repair EL ontologies by modifying only their ABox, preserving as many entailments as possible. Still, in this approach, one cannot contract all necessary kinds of information, as the TBox cannot be modified.…”

Section: Related Workmentioning

confidence: 99%

Finite Based Contraction and Expansion via Models

Guimarães¹,

Ozaki²,

Ribeiro³

2023

Preprint

View full text Add to dashboard Cite

We propose a new paradigm for Belief Change in which the new information is represented as sets of models, while the agent's body of knowledge is represented as a finite set of formulae, that is, a finite base. The focus on finiteness is crucial when we consider limited agents and reasoning algorithms. Moreover, having the input as arbitrary set of models is more general than the usual treatment of formulae as input. In this setting, we define new Belief Change operations akin to traditional expansion and contraction, and we identify the rationality postulates that emerge due to the finite representability requirement. We also analyse different logics concerning compatibility with our framework.

show abstract

Section: Related Workmentioning

confidence: 99%