Prototype theories are an important family of cognitive theories of concepts that model the classification under a concept in terms of the proximity of an object to the prototype of the concept. While logic-based definitions of concepts are standard in Description Logics and OWL, prototype-based definitions are not directly available, although they are very useful whenever we need to model commonsense concepts or data dependent classifications. We propose a strategy to define prototypes in OWL enriched with SWRL (Semantic Web Rule Language). By means of data properties we model the weighted features of prototypes, and, by using SWRL constraints, we implement the computation of the proximity of an instance to a prototype. We also leverage a foundational ontology to provide semantics of the features occurring in prototype descriptions. We exemplify our treatment in Protégé.

An Ontological Modelling of Prototype Theories / Porello, D.; Righetti, G.; Troquard, N.; Confalonieri, R.; Kutz, O.. - ELETTRONICO. - 3500:(2023), pp. 20-31. ( 9th Workshop on Formal and Cognitive Reasoning Berlin 26 settembre 2023).

An Ontological Modelling of Prototype Theories

Porello D.;Troquard N.;
2023-01-01

Abstract

Prototype theories are an important family of cognitive theories of concepts that model the classification under a concept in terms of the proximity of an object to the prototype of the concept. While logic-based definitions of concepts are standard in Description Logics and OWL, prototype-based definitions are not directly available, although they are very useful whenever we need to model commonsense concepts or data dependent classifications. We propose a strategy to define prototypes in OWL enriched with SWRL (Semantic Web Rule Language). By means of data properties we model the weighted features of prototypes, and, by using SWRL constraints, we implement the computation of the proximity of an instance to a prototype. We also leverage a foundational ontology to provide semantics of the features occurring in prototype descriptions. We exemplify our treatment in Protégé.
2023
FCR 2023 Formal and Cognitive Reasoning 2023: Proceedings of the 9th Workshop on Formal and Cognitive Reasoning co-located with the 46th German Conference on Artificial Intelligence (KI 2023): Berlin, Germany, September 26, 2023.
Aachen
CEUR
Settore M-FIL/02 - Logica e Filosofia della Scienza
Settore PHIL-02/A - Logica e filosofia della scienza
Porello, D.; Righetti, G.; Troquard, N.; Confalonieri, R.; Kutz, O.
An Ontological Modelling of Prototype Theories / Porello, D.; Righetti, G.; Troquard, N.; Confalonieri, R.; Kutz, O.. - ELETTRONICO. - 3500:(2023), pp. 20-31. ( 9th Workshop on Formal and Cognitive Reasoning Berlin 26 settembre 2023).
File in questo prodotto:
File Dimensione Formato  
PorelloEtalFCR2023.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Creative commons
Dimensione 1.32 MB
Formato Adobe PDF
1.32 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/471872
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact