Logo image
Combining Prototypes in Description Logics with Prototype Descriptions: First Steps
Conference proceeding   Peer reviewed

Combining Prototypes in Description Logics with Prototype Descriptions: First Steps

Proceedings of the 41th Italian Conference on Computational Logic, Vol.4244, pp.1-8
CEUR Workshop Proceedings, 4244
41th Italian Conference on Computational Logic, CILC 2026 (Ferrara, 23/06/2026–25/06/2026)
2026
Handle:
https://hdl.handle.net/10863/53824

Abstract

Prototype theory Description logics Answer set programming Non-monotonic logic Typicality
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.
url
https://ceur-ws.org/Vol-4244/View

Details

Metrics

1 Record Views
Logo image