Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

A Guided Tour of Artificial Intelligence ResearchReasoning with Ontologies

A Guided Tour of Artificial Intelligence Research: Reasoning with Ontologies [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 existential 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.] http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png

A Guided Tour of Artificial Intelligence ResearchReasoning with Ontologies

Download PDF
30 pages

Loading next page...
 
/lp/springer-journals/a-guided-tour-of-artificial-intelligence-research-reasoning-with-z50UXbLc1S
Publisher
Springer International Publishing
Copyright
© Springer Nature Switzerland AG 2020
ISBN
978-3-030-06163-0
Pages
185 –215
DOI
10.1007/978-3-030-06164-7_6
Publisher site
See Chapter on Publisher Site

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 existential 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.]

Published: May 8, 2020

There are no references for this article.