Defeasible reasoning in Description Logics: an overview on DL^N

Bonatti, Piero A.; Petrova, Iliana M.; Sauro, Luigi

doi:10.48550/arxiv.2009.04978

Cited by 2 publications

(2 citation statements)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Defeasible reasoning in DL is an active research topic, and extensions for DL providing such capabilities are proposed [8], for which guideleines for a concrete use remain vague and may require a consequent effort of adaptation of existing knowledge bases.…”

Section: Introductionmentioning

confidence: 99%

Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies

2022

View full text Add to dashboard Cite

Ontologies are logical theories that are used in computer science for describing different items such as web services, agents in multi-agent systems, or domain knowledge. Many ontologies exist, expressing various domains of knowledge with different abstraction levels (domain ontologies, top-level ontologies, and task ontologies are the usual categories). The conceptualization of the knowledge contained in an ontology is subject to change, whether because the context of its use changes, because the domain evolves, or because an ontology needs to interoperate with other elements using other ontologies. Change in logical theories is a form of defeasible reasoning, in which some formulas need to be added or removed from a knowledge base. Adaptive Logics (AL) is a logic managing defeasible reasoning that we investigate in this paper for managing change in ontologies expressed with Description Logics (DL). The adaptation of AL for DL will help express the context in which formulas remain valid or can be added to a DL knowledge base, and ease the interoperability between ontologies.

show abstract

Section: Introductionmentioning

confidence: 99%

Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies

2022

View full text Add to dashboard Cite

show abstract

“…Belief Revision is concerned with changing beliefs to consistently add new information, a non-monotonic process closely related to changing ontologies for description logics. Works with NMR in description logics are not restricted to these areas, though [124,18,125,19,22,126].…”

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

Defeasible reasoning in Description Logics: an overview on DL^N

Cited by 2 publications

References 28 publications

Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies

Using Adaptive Logics for Expression of Context and Interoperability in DL Ontologies

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

Contact Info

Product

Resources

About