Reasoning with Ontologies - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Chapitre D'ouvrage Année : 2020

Reasoning with Ontologies

Résumé

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.
Fichier principal
Vignette du fichier
guided-tour-AI-chapter-6.pdf (271.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

lirmm-02922020 , version 1 (25-08-2020)

Identifiants

Citer

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⟩
160 Consultations
809 Téléchargements

Altmetric

Partager

More