Skip to Main content Skip to Navigation
Book sections

Reasoning with Ontologies

Meghyn Bienvenu 1, 2 Michel Leclère 1 Marie-Laure Mugnier 1 Marie-Christine Rousset 3
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : This chapter considers the notion of a formal ontology, which is a conceptual vocabulary equipped with a logical semantics. Three families of knowledge representation and reasoning formalisms that put ontologies at the core of any knowledge base are presented, namely: description logics, conceptual graphs and existen-tial rules. We present the main knowledge constructs and dialects of these families, as well as the main reasoning problems with their complexity. We highlight the relationships between these families and compare them from an expressivity viewpoint.
Document type :
Book sections
Complete list of metadata

Cited literature [78 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-02922020
Contributor : Marie-Laure Mugnier Connect in order to contact the contributor
Submitted on : Tuesday, August 25, 2020 - 4:59:48 PM
Last modification on : Tuesday, October 12, 2021 - 3:19:32 AM
Long-term archiving on: : Tuesday, December 1, 2020 - 5:57:15 PM

File

guided-tour-AI-chapter-6.pdf
Files produced by the author(s)

Identifiers

Citation

Meghyn Bienvenu, Michel Leclère, Marie-Laure Mugnier, Marie-Christine Rousset. Reasoning with Ontologies. A Guided Tour of Artificial Intelligence Research, pp.185-215, 2020, Volume I: Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_6⟩. ⟨lirmm-02922020⟩

Share

Metrics

Record views

112

Files downloads

217