Combining Prototypes in Description Logics with Prototype Descriptions: First Steps

Defeasible reasoning has been studied as a fundamental component of common-sense reasoning: different logic based solutions have been proposed for its formal modelling. We recently proposed a non-monotonic Description Logic (DL) framework, DLs with Prototype Descriptions, which deals with defeasible reasoning by combining aspects from prototype theory, weighted logics, and justifiable exceptions. Prototype descriptions are weighted characterizations of concepts that denote the typical features of prototype members in a quantitative way. In this paper, we further develop the notion of prototype description by suggesting different directions for combining prototypes and features. We consider a way to reason with conjunction of prototypes in defeasible inclusions. On the other hand, we discuss how complex features can influence the definition of weights in prototype descriptions. While preliminary, the directions we outline are worth exploring in order to increase the flexibility of our formalisms, as shown through examples.