Representing Mereological Relations in Weighted Description Logics

Perceptron operators have been recently introduced in Description Logics: they define a concept by listing features of the concept together with associated weights, as well as a threshold that needs to be reached to classify an individual as a member of the defined concept. These formal operators have been shown to be useful in simplifying the representation of complex classifications and for defining combinations of concepts. In this paper, we discuss how perceptron operators can provide a tool to capture some of the complex relationships that arise in the conceptual use and definition of a variety of mereological relations. We here study the use case of the concept of “bike” as a mereologically/structurally complex object, analyse the most relevant difficulties that emerge from the modelling approach using percepton operators, and propose several starting points to overcome these difficulties