Ontology Revision Using the Concept of Belief Revision

Kang, Seung Hwan; Lau, Sim Kim

doi:10.1007/978-3-540-30134-9_2

Cited by 4 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The evolution process in the description logics ontology consists of removing or adding some input information to the old ontology while preserving its consistency [18]. Kang and Lau in [64] have studied the viability of adopting the belief revision as a foundation for DL ontology revision. In [19,22], the authors generalized the AGM postulates by dropping all the assumptions that limit the direct application to DL ontologies and determining the necessary and sufficient conditions for logic to support AGM-compliant operators.…”

Section: Evolution Of Description Logics Ontologiesmentioning

confidence: 99%

Revision of prioritized $$\mathcal {E}\mathcal {L}$$ ontologies

Mohamed,

Loukil,

Gargouri

et al. 2023

Appl Intell

View full text Add to dashboard Cite

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

show abstract

Section: Evolution Of Description Logics Ontologiesmentioning

confidence: 99%

Revision of prioritized $$\mathcal {E}\mathcal {L}$$ ontologies

Mohamed,

Loukil,

Gargouri

et al. 2023

Appl Intell

View full text Add to dashboard Cite

show abstract

“…For the case of description logics specifically, there are several works in NMR, many in the area of Belief Revision [121] (and, by consequence, to Ontology Repair as well [122,123]). Belief Revision is concerned with changing beliefs to consistently add new information, a non-monotonic process closely related to changing ontologies for description logics.…”

Section: Modelling Nmrmentioning

confidence: 99%

Law and Order(ing): Providing a Natural Deduction System and Non-Monotonic Reasoning to an Intuitionistic Description Logic

PINTO DE ALKMIM

View full text Add to dashboard Cite

This study was financed in part by the Coordenação de Aperfeiçoamento de Pessoal de Nível Superior -Brasil (CAPES) -Finance Code 001.I would like to thank CNPq for financially funding my studies (process number 141290/2019-6).First and foremost, I would like to thank both Hermann and Cláudia, which provided advice and guidance in the writing of this document, as well as some much needed reality checks. If not for them this work would probably would not have taken shape. I also thank my colleagues at TecMF for the academic exchanges and camaraderie along the years.I am also very grateful for those who help me to distract from the existential dread of writing a thesis, my friends, but most importantly, my boyfriend. When I'm with you it seems as if there is not a care in the world. I love you very much. Also, sorry to all of you for not being that much of a social butterfly these past months -now I intend to make up for lost time.Last, but not least, I would like to thank my mother, who always supports me in my professional and academical pursuits, and my father, who never failed to provide for us, sacrificing even his own stability when he needed it most. I love you both and I miss you, dad. This work is dedicated to you.

show abstract