Reasoning with Ontologies
| Autor: | Meghyn Bienvenu, Michel Leclère, Marie-Laure Mugnier, Marie-Christine Rousset |
|---|---|
| Přispěvatelé: | Graphs for Inferences on Knowledge (GRAPHIK), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Inria Sophia Antipolis - Méditerranée (CRISAM), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS) |
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Vocabulary
Knowledge representation and reasoning Computer science media_common.quotation_subject 02 engineering and technology computer.software_genre Description Logics [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI] Description logic 020204 information systems 0202 electrical engineering electronic engineering information engineering Ontologies media_common business.industry Rotation formalisms in three dimensions Formal ontology Knowledge base Core (graph theory) Conceptual graph Conceptual Graphs 020201 artificial intelligence & image processing Artificial intelligence business computer Existential Rules Natural language processing Knowledge Representation and Reasoning |
| Zdroj: | A Guided Tour of Artificial Intelligence Research 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⟩ A Guided Tour of Artificial Intelligence Research ISBN: 9783030061630 |
| DOI: | 10.1007/978-3-030-06164-7_6⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|