A Typicality-Based Knowledge Generation Framework

This short paper is an abridged version of [1], where we introduce a framework for the dynamic generation of novel knowledge obtained by exploiting a recently introduced extension of a Description Logic of typicality able to combine prototypical descriptions of concepts. Given a goal expressed as a set of properties, in case an intelligent agent cannot find a concept in its initial knowledge base able to fulfill all these properties, our system exploits the reasoning services of the Description Logic \(\mathbf{T}^{\textsf {\tiny CL}}\) in order to find two concepts whose creative combination satisfies the goal.