A Description Logic for Analogical Reasoning

Schockaert, Steven; Ibáñez-García, Yazmín; Gutiérrez-Basulto, Víctor

doi:10.24963/ijcai.2021/281

A Description Logic for Analogical Reasoning

Steven Schockaert, Yazmin Ibanez-Garcia, Victor Gutierrez-Basulto

Download BibTeX Cite

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Main Track. Pages 2040-2046.

https://doi.org/10.24963/ijcai.2021/281

Keywords

Knowledge Representation and Reasoning: Common-Sense Reasoning
Knowledge Representation and Reasoning: Description Logics and Ontologies

Abstract

Ontologies formalise how the concepts from a given domain are interrelated. Despite their clear potential as a backbone for explainable AI, existing ontologies tend to be highly incomplete, which acts as a significant barrier to their more widespread adoption. To mitigate this issue, we present a mechanism to infer plausible missing knowledge, which relies on reasoning by analogy. To the best of our knowledge, this is the first paper that studies analogical reasoning within the setting of description logic ontologies. After showing that the standard formalisation of analogical proportion has important limitations in this setting, we introduce an alternative semantics based on bijective mappings between sets of features. We then analyse the properties of analogies under the proposed semantics, and show among others how it enables two plausible inference patterns: rule translation and rule extrapolation.

Steven Schockaert, Yazmín Ibáñez-García, and Víctor Gutiérrez-Basulto. 2021. A Description Logic for Analogical Reasoning. In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21. IJCAI, 2040–2046. https://doi.org/10.24963/ijcai.2021/281

@inproceedings{ijcai2021p281,
  title     = {A Description Logic for Analogical Reasoning},
  author    = {Schockaert, Steven and Ibáñez-García, Yazmín and Gutiérrez-Basulto, Víctor},
  booktitle = {Proceedings of the Thirtieth International Joint Conference on
               Artificial Intelligence, {IJCAI-21}},
  publisher = {International Joint Conferences on Artificial Intelligence Organization},
  editor    = {Prof. Zhi-Hua Zhou},
  pages     = {2040--2046},
  year      = {2021},
  month     = {8},
  note      = {Main Track},
  doi       = {10.24963/ijcai.2021/281},
  url       = {https://doi.org/10.24963/ijcai.2021/281},
}

TY  - CPAPER
TI  - A Description Logic for Analogical Reasoning
AU  - Schockaert, Steven
AU  - Ibáñez-García, Yazmín
AU  - Gutiérrez-Basulto, Víctor
T2  - Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21
PB  - International Joint Conferences on Artificial Intelligence Organization
PY  - 2021
SP  - 2040
EP  - 2046
DO  - 10.24963/ijcai.2021/281
UR  - https://doi.org/10.24963/ijcai.2021/281
ER  -