This chapter considers the notion of a formal ontology, which is a conceptual vocabulary equipped with a logical semantics. Three families of knowl- edge 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.
CITATION STYLE
Bienvenu, M., Leclère, M., Mugnier, M.-L., & Rousset, M.-C. (2020). Reasoning with Ontologies. In A Guided Tour of Artificial Intelligence Research (pp. 185–215). Springer International Publishing. https://doi.org/10.1007/978-3-030-06164-7_6
Mendeley helps you to discover research relevant for your work.