Relational roles and qua-individuals

AAAI Fall Symposium - Technical Report

Volumn FS-05-08, Issue , 2005, Pages 103-112

  Masolo, Claudio ^a   Guizzardi, Giancarlo ^a   Vieu, Laure ^a,b   Bottazzi, Emanuele ^a   Ferrario, Roberta ^a  

^a CNR   (Italy)

^b IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING;

COUNTING PROBLEMS; QUA-INDIVIDUALS;

RELATIONAL DATABASE SYSTEMS;

EID: 33645973687     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Angelelli, I. 1967. On identity and interchangeability in Leibniz and Frege. Notre Dame Journal of Formal Logic 8(1-2):94-100.
2. Anscombe, G. E. M. 1979. Under a description. Nous 13(2).
3. Armstrong, D. 1989. Universals. An Opinionated Introduction. Focus Series. San Francisco: Westview Press.
4. Back, A. 1982. Syllogism with reduplication in Aristotle. Notre Dame Journal of Formal Logic 23(4):453-458.
5. Daly, C. 1997. Tropes. In Mellor, D., and Oliver, A., eds., Properties. Oxford: Oxford University Press. 140-159.
6. Fine, K. 1982. Acts, events and things. In Sixth International Wittgenstein Symposium, Kirchberg-Wechsel (Austria), 97-105.
7. Fine, K. 1995. Ontological dependence. Proceedings of the Aristotelian Society 95:269-90.
8. Guarino, N., and Welty, C. 2002. Evaluating ontological decisions with ontoclean. Communications of the ACM 45(2):61-65.
9. Guizzardi, G.; Wagner, G.; and Herre, H. 2004. On the foundations of uml as an ontology representation language. In Motta, E.; Shadbolt, N.; Stutt, A.; and Gibbins, N., eds., Engineering Knowledge in the Age of the Semantic Web, 14th International Conference, EKAW 2004, volume 3257, 47-62. Whittlebury Hall, UK: Springer.
10. Guizzardi, G. 2005. Agent roles, qua individuals and the counting problem. In Giorgini, P.; Garcia, A.; Lucena, C.; and Chores, R., eds., Software Engineering of Multi-Agent Systems (forthcoming). Springer.
11. Gupta, A. 1980. The Logic of Common Nouns: an investigation in quantified modal logic. Phd thesis, Yale University.
12. Loebe, F. 2003. An Analysis of Roles. Toward Ontology-Based Modelling Master's Thesis. Master's thesis, University of Leipzig.
13. Masolo, C.; Vieu, L.; Bottazzi, E.; Catenacci, C.; Ferrario, R.; Gangemi, A.; and Guarino, N. 2004. Social roles and their descriptions. In Welty, C., and Dubois, D., eds., Ninth Intl. Conference on the Principles of Knowledge Representation and Reasoning (KR 2004), 267-277.
14. Moltmann, F. 1997. Parts and Wholes in Semantics. Oxford University Press.
15. Poli, R. 1998. Qua-theories. In Shapes of Forms. Kluwer, Dordrecht.
16. Steimann, F. 2000. On the representation of roles in object-oriented and conceptual modelling. Data and Knowledge Engineering 35:83-106.
17. Szabó, Z. G. 2003. On qualification. Philosophical Perspectives 17(1):385.
18. Wieringa, R.; de Jonge, W.; and Spruit, P. 1995. Using dynamic classes and role classes to model object migration. Theory and Practice of Object Systems 1(1):31-83.