Formal ontology is here understood as the rigorous, axiomatic account of the nature and structure of what exists. While we deliberately avoid any metaphysical implications of the verb ‘to exist’, we share with the broad philosophical area of analytic metaphysics the fundamental notions that, due to their generality, allow us to explain and make explicit our ontological commitment on what exists. Such notions concern the basic kinds of entities (particulars, universals, objects, events, processes, actions, states of affairs, qualities, roles, relationships…), the basic kinds of relations among entities (parthood, identity, connection, dependence, constitution, causality…), the general issues of location, change, persistence and granularity in space and in time.Note that our approach to applied ontology puts the focus on foundational aspects, therefore a large part of the work presented in the other sections also includes ontological analysis and formal ontology discussions.
Keywords objects, events, processes, action, ontological relations, roles, states of affairs, tropes, change
- N. Guarino, T. P. Sales, and G. Guizzardi, Reification and truthmaking patterns, in Conceptual Modeling. Proceedings of 37th International Conference (ER 2018) (J.C. Trujillo, K. Davis, X. Du, Z. Li, T.W. Ling, G. Li, M.L. Lee, ed.), pp. 151–165, Springer, 2018.
- A. Arapinis and L. Vieu, A plea for complex categories in ontologies, Applied Ontology, 10(3–4), pp. 285–296, 2015.
- S. Borgo and C. Masolo, Full mereogeometries, The Review of Symbolic Logic, 3(4), pp. 521–567, 2010.
- N. Guarino and C. Welty, An overview of Ontoclean, in Handbook of Ontologies (S. Staab and R. Studer, eds.), pp. 201–220, Springer Verlag, 2nd ed., 2009.
- S. Borgo and C. Masolo, Foundational Choices in DOLCE, in Handbook on Ontologies (S. Staab and R. Studer, eds.), pp. 361–381, Springer Verlag, 2nd ed., 2009.
- N. Guarino, The ontological level: Revisiting 30 years of knowledge representation, in Conceptual Modeling: Foundations and Applications. Essays in Honor of John Mylopoulos, pp. 52–67, Springer, 2009.
- L. Vieu, S. Borgo, and C. Masolo, Artefacts and roles: Modeling strategies in a multiplicative ontology, in Proceedings of the 5th International Conference on Formal Ontology in Information Systems (FOIS 2008) (C. Eschenbach and M. Gruninger, eds.), pp. 121–134, IOS Press, 2008.
- N. Troquard, R. Trypuz, and L. Vieu, Towards an ontology of agency and action. From STIT to OntoSTIT+, in Proceedings of the 4th International Conference on Formal Ontology in Information Systems (FOIS 2006) (B. Bennett and C. Fellbaum, eds.), pp. 179–190, IOS Press, 2006.
- C. Masolo, L. Vieu, E. Bottazzi, C. Catenacci, R. Ferrario, A. Gangemi, and N. Guarino, Social roles and their descriptions, in Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoning (KR 04) (D. Dubois, C. Welty, and M. A. Williams, eds.), pp. 267–277, 2004.
- C. Masolo, S. Borgo, A. Gangemi, N. Guarino, and A. Oltramari, Ontology Library, Deliverable 18, EU WonderWeb Project, http://wonderweb.man.ac.uk/deliverables/documents/D18.pdf, 2003.
- C. Masolo, S. Borgo, A. Gangemi, N. Guarino, A. Oltramari, and L. Schneider, Dolce: a descriptive ontology for linguistic and cognitive engineering, Deliverable 17, EU WonderWeb Project, http://wonderweb.man.ac.uk/deliverables/documents/D17.pdf, 2002.
- N. Guarino, Formal ontology and information systems, in Proceedings of the 1st International Conference on Formal Ontology in Information Systems (FOIS 1998) (N. Guarino, ed.), pp. 3–15, IOS Press, 1998.
- N. Guarino, Understanding, building and using ontologies, International journal of human-computer studies, 46(2-3), pp. 293–310, 1997.
We are interested in the ways social interaction is carried out in complex organizations and socio-technical systems (e.g. airports, coordination centres, emergency rooms, so-called ‘smart cities’) taking work, and technologically-mediated or aided work in particular, as a paradigmatic case. We pay particular attention to processes of techno-organizational change and innovation. At a more general level, we focus on the details of human action-in-interaction and human-machine interaction, with particular attention to nonverbal and affective aspects, and the role of tools and technologies.
Furthermore, we study the foundational properties – for instance identity, intentionality, persistence through time and change… – of collective and social entities, like roles, organizations, informal groups, norms, etc.
social ontology, ontology of interaction, embodied communication, processes of techno-organizational change and innovation, ontology of organisations, socio-technical systems, workplace studies, ethnomethodology.
- S. Borgo, An Ontological View of Components and Interactions in Behaviorally Adaptive Systems, in Journal of Integrated Design and Process Science, 23(1):17-35, 2019, DOI 10.3233/JID190013.
- R. Ferrario, C. Masolo, and D. Porello, Organisations and variable embodiments, in Proceedings of the 10th International Conference on Formal Ontology in Information Systems, FOIS (S. Borgo, P. Hitzler, and O. Kutz, eds.), pp. 127–140, IOS Press, 2018.
- C. Bassetti, Airport security contradictions: Interorganizational entanglements and changing work practices, Ethnography, 19(3), pp. 288–311, 2018.
- T. P. Sales, F. Baião, G. Guizzardi, J. P. A. Almeida, N. Guarino, and J. Mylopoulos, The common ontology of value and risk, in Conceptual Modeling (ER 2018) (J.C. Trujillo, K.C. Davis, X. Du, Z. Li, T.W. Ling, G. Li, M.L. Lee, eds.), pp. 121–135, Springer, 2018.
- A. Calafiore, G. Boella, S. Borgo, and N. Guarino, Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices, in 13th International Conference on Spatial Information Theory (COSIT 2017) (E. Clementini, M. Donnelly, M. Yuan, C. Kray, P. Fogliaroni, and A. Ballatore, eds.), vol. 86 of Leibniz International Proceedings in Informatics, pp. 6:1–6:13, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, 2017.
- F. Setti, D. Conigliaro, P. Rota, C. Bassetti, N. Conci, N. Sebe, and M. Cristani, The S-HOCK dataset: A new benchmark for spectator crowd analysis, Computer Vision and Image Understanding, 159, pp. 47–58, 2017.
- B. Andersson, N. Guarino, P. Johannesson, and B. Livieri, Towards an ontology of value ascription, in Proceedings of the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016) (R. Ferrario and W. Kuhn, eds.), pp. 331–344, IOS Press, 2016.
- D. Porello, E. Bottazzi, and R. Ferrario, Group conflict as social contradiction, in Conflict and Multimodal Communication (F. D’Errico, I. Poggi, A. Vinciarelli, and L. Vincze, eds.), pp. 33–52, Springer, 2015.
- C. Bassetti and E. Bottazzi, Introduction. Rhythm in social interaction, Etnografia e ricerca qualitativa, Rivista quadrimestrale, 3, pp. 367–382, 2015.
- Setti F, Russell C, Bassetti C, Cristani M, F-Formation Detection: Individuating Free-Standing Conversational Groups in Images, PLOS ONE, 10(5): e0123783, 2015.
- J. C. Nardi, R. de Almeida Falbo, J. P. A. Almeida, G. Guizzardi, L. F. Pires, M. J. van Sinderen, N. Guarino, and C. Fonseca, A Commitment-Based reference ontology for services, Information systems, 54, pp. 263–288, 2015.
- D. Porello, E. Bottazzi, and R. Ferrario, The ontology of group agency, in Proceedings of the 8th International Conference on Formal Ontology in Information Systems (FOIS 2014) (P. Garbacz and O. Kutz, eds.), pp. 183–196, IOS Press, 2014.
- E. Bottazzi and R. Ferrario, Arbitral functions and constitutive rules, in The Background of Social Reality (M. Schmitz, B. Kobow, and H. B. Schmid, eds.), pp. 201–216, Springer, 2013.
We are interested in understanding the connection between studies in cognitive sciences and in ontology. We investigate on the one hand the cognitive foundations of ontologies, i.e., the mechanisms behind the conceptualization of the world and the classification process (e.g., connections with theories of concepts and categorization, image schemas, etc.) and on the other hand the ontological foundations of cognitive theories including the ontological analysis of mental entities (e.g., desires, beliefs, intentions), conceptual spaces, prototypes, etc.
Our starting point is that the way agents (humans, non-human animals, cyborgs, artificial agents and robots) interact with the environment – via their cognitive and embodied capabilities – forms and, at the same time, depends on their conceptualization of the world that can be made explicit by means of ontologies.
ontology of mental entities, cognitive foundations of ontologies, ontologies of cognitive theories
- S. Borgo and E. Blanzieri, Trait-Based Module for Culturally-Competent Robots, in International Journal of Humanoid Robotics, 2019, DOI 10.1142/S0219843619500282.
- C. Masolo and D. Porello, Representing Concepts by Weighted Formulas, in Proceedings of the 10th International Conference on Formal Ontology in Information Systems (FOIS 2018) (S. Borgo, P. Hitzler, and O. Kutz, ed.), pp. 55-68, IOS Press, 2018.
- C. Masolo and E. Sanfilippo, Representing types through image schemas and patterns, in Proceedings of the International Workshop on Cognition And Ontologies (CAOS 2017) (M. Hedblom, T. Besold, and O. K., eds.), pp. 247–253, 2017.
- C. Masolo and D. Porello, Understanding predication in conceptual spaces, in Proceedings of the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016) (R. Ferrario and W. Kuhn, eds.), pp. 139-152, 2016.
- P. E. Vermaas, M. Carrara, S. Borgo, and P. Garbacz, The design stance and its artefacts, Synthese, 190(6), pp. 1131–1152, 2013.
- R. Ferrario and A. Oltramari, Towards a computational ontology of mind, in Proceedings of the 3rd International Conference on Formal Ontology in Information Systems (FOIS 2004) (A. C. Varzi and L. Vieu, eds.), pp. 287– 297, IOS Press, 2004
We find that design activities are particularly challenging as they require to integrate information about the world (the fragment to be understood and/or modified), about the designer (the knowledge available, the expectations as well as the cognitive capabilities) and about the model (the perspective it takes, what it does or should contain, its envisioned use). No matter whether one designs industrial or administrative processes, devices or social objects, ontology is an essential tool to help understanding and organising the types of information that must be considered in this activity like, depending on the application domain, spatial, material, structural, functional, behavioural, procedural, agentive, cognitive and social information.
enterprise modelling, service science, ontology of economics, ontology and modeling of cyber-physical systems, ontology, design and modeling of processes and products, ontology of function and action, ontology in and for artificial agents and robotics, types and rules in architecture
- S. Borgo, A. Cesta, A. Orlandini, and A. Umbrico, Knowledge-based adaptive agents for manufacturing domains, Engineering with Computers, 35:755, Springer, 2019.
- G. Adamo, S. Borgo, C. Di Francescomarino, C. Ghidini, N. Guarino, and E. M. Sanfilippo, Business process activity relationships: Is there anything beyond arrows?, in Business Process Activity Relationships (BPM 2018) (F. Daniel, Q.Z Sheng, and H. Motahari, eds.), pp. 53–70, Springer, 2018.
- R. Mizoguchi, Y. Kitamura, and S. Borgo, A unifying definition for artifact and biological functions, Applied Ontology, 11(2), pp. 129–154, IOS Press, 2016.
- E. M. Sanfilippo and S. Borgo, What are features? An ontology-based review of the literature, Computer-Aided Design, 80, pp. 9–18, 2016.
- S. Borgo, M. Franssen, P. Garbacz, Y. Kitamura, R. Mizoguchi, and P. E. Vermaas, Technical artifacts: An integrated perspective, Applied Ontology, 9(3-4), pp. 217–235, IOS Press, 2014.
- R. Ferrario and N. Guarino, Commitment-based modeling of service systems, in Exploring Services Science (M. Snene, ed.), pp. 170–185, Springer, 2012.
- N. Guarino, E. Bottazzi, R. Ferrario, and G. Sartor, Open ontology-driven sociotechnical systems: Transparency as a key for business resiliency, in Information Systems: Crossroads for Organization, Management, Accounting and Engineering (M. De Marco, D. Te’eni, V. Albano, and S. Za, eds.), Physica, pp. 535–542, Springer, 2012.
- S. Borgo and L. Vieu, Artefacts in formal ontology, in Handbook of Philosophy of Technology and Engineering Sciences (A. Meijers, ed.), pp. 273–308, Elsevier, 2009.
- R. Ferrario and N. Guarino, Towards an ontological foundation for services science, in Future Internet (FIS 2008) (J. Domingue, D. Fensel, and P. Traverso, eds.), pp. 152–169, Springer, 2009.
We aim at exploring the epistemological stance in formal ontology and knowledge representation. In particular, we are interested in two intertwined research directions: (i) the epistemological foundations of ontologies and (ii) the ontology of epistemology. A number of important topics are related to these points, for instance: the representation of empirical data, measurements, and observations together with their provenance and the reliability of the sources of information (both human and artificial, e.g. sensors) in the context in which data have been collected; the ontological analysis of epistemological concepts like argument, explanation, proof or, more generally, of how raw data are elaborated to produce new data; the integration of ontological approaches with machine learning and micro-sociological approaches, in particular in computer vision and sociable robotics.
ontology of empirical data, observations, sensors, and provenance, representation of different perspectives on the same domain (contexts, granularity, resolution, ontological levels), epistemological foundations of ontologies and ontologies of epistemology
- C. Masolo, A. B. Benevides, and D. Porello, The interplay between models and observations, Applied Ontology, 13, pp. 41–71, 2018.
- E. Bottazzi, R. Ferrario, and C. Masolo, The mysterious appearance of objects, in Proceedings of the 7th International Conference on Formal Ontologies in Information Systems (FOIS 2012) (M. Donnelly and G. Guizzardi, eds.), pp. 59–72, IOS Press, 2012.
- C. Masolo, Understanding ontological levels, in Proceedings of the 12th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010) (F. Lin and U. Sattler, eds.), pp. 258–268, AAAI Press, 2010.
- C. Masolo, Founding properties on measurement, in Proceedings of the 6th International Conference on Formal Ontology and Information Systems (FOIS 2010) (A. Galton and R. Mizoguchi, eds.), pp. 89–102, IOS Press, 2010.
- S. Borgo and C. Masolo, Qualities in possible worlds, in Proceedings of the 4th International Conference on Formal Ontology in Information Systems (FOIS-06) (B. Bennett and C. Fellbaum, eds.), pp. 250–261, IOS Press, 2006.
We do research in logics for knowledge representations, cognitive science, and for representing ontological concepts and theories. We work mainly on first-order theories, modal logics, and description logics. We also explore the application and advantages of non-classical logics in knowledge representation, cognitive science, and ontologies.
Overall, the aim is to develop expressive and clear logical systems that are well motivated and robust for modeling ontological and cognitive views.
formal logics for ontology, ontological commitment of logical operators, formalization of an ontology in different logical languages
The full list of recent publications can be found here.