The Counting Problem in the Light of Role Kinds

Starting from a general characterization of roles, we focus on the ways in which roles are specified, we examine the formal constraints on their definitions, and propose definitional schemas motivating different kinds of roles. This classification, in addition to clarify the notion of role itself, helps us to reconsider the two standard solutions that have been proposed for the famous counting problem, and to suggest that a third mixed approach may be considered.

[1]  C. Barker.  Nominals don't provide criteria of identity , 2008 .

[2]  Giancarlo Guizzardi,et al.  Ontological foundations for structural conceptual models , 2005 .

[3]  T. Kapitan,et al.  The Logic of Common Nouns: An Investigation in Quantified Modal Logic. , 1984 .

[4]  Friedrich Steimann,et al.  On the representation of roles in object-oriented and conceptual modelling , 2000, Data Knowl. Eng..

[5]  Peter Clark,et al.  Representing roles and purpose , 2001, K-CAP '01.

[6]  Frank Loebe,et al.  Abstract vs. social roles - Towards a general theoretical account of roles , 2007, Appl. Ontology.

[7]  Nicola Guarino,et al.  An Overview of OntoClean , 2004, Handbook on Ontologies.

[8]  Riichiro Mizoguchi,et al.  The model of roles within an ontology development tool: Hozo , 2007, Appl. Ontology.

[9]  Nicola Guarino,et al.  Social Roles and their Descriptions , 2004, KR.

[10]  Fred Landman,et al.  Events and Plurality: The Jerusalem Lectures , 2001 .

[11]  Giancarlo Guizzardi,et al.  Relational roles and qua-individuals , 2005, AAAI 2005.

[12]  Anthony R. Davis,et al.  Relations among Roles , 2003 .

[13]  D. Armstrong.  Truth and Truthmakers , 2004 .

[14]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[15]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[16]  Terence Parsons,et al.  Events in the Semantics of English: A Study in Subatomic Semantics , 1990 .

[17]  James D. McCawley,et al.  The Logic of Common Nouns: An Investigation in Quantified Modal Logic , 1980 .

[18]  D. Armstrong.  Universals: An Opinionated Introduction , 1989 .

[19]  Helen Beebee,et al.  Truthmakers: The Contemporary Debate , 2005 .

[20]  Nicola Guarino,et al.  Concepts, attributes and arbitrary relations , 1992, Data Knowl. Eng..