dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...) is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources. Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

The theory of collective agency and intentionality is a flourishing field of research, and our understanding of these phenomena has arguably increased greatly in recent years. Extant theories, however, are still ill-equipped to explain certain aspects of collective intentionality. In this article we draw attention to two such underappreciated aspects: the failure of the intentional states of collectives to supervene on the intentional states of their members, and the role of non-human factors in collective agency and intentionality. We propose a (...) theory of collective intentionality which builds on the ‘interpretationist’ tradition in metasemantics and the philosophy of mind as initiated by David Lewis and recently developed further by Robbie Williams. The collective-level analogue of interpretationism turns out to look different in some ways from the individual-level theory, but is well-suited to accommodating phenomena such as hybrid collective intentionality. Complemented with Kit Fine’s theory of variable embodiment, such a theory also provides a diachronic account of intentional collectives. (shrink)

Many Public Administrations structure their services around the notion of users’ need. However, there is a gap between private, subjectively perceived needs (self-attributed) and needs that are attributed by PA to citizens (heteroattributed). Because of the gap, citizens’ needs are often only partially satisfied by PAs services. This gap is in part due to the fact that the meaning of the word “need” is ambiguous and full of antinomic nuances. The purpose of this paper is to formulate a definition of (...) “need” suitable for citizens’ needs management with respect to PA’s services offering, and to provide an accurate ontological analysis of the notion of “need” and the network of concepts that relate to it. (shrink)

We present an ontological analysis of the notion of group agency developed by Christian List and Philip Pettit. We focus on this notion as it allows us to neatly distinguish groups, organizations, corporations – to which we may ascribe agency – from mere aggregates of individuals. We develop a module for group agency within a foundational ontology and we apply it to organizations.

How can organisations survive not only the substitution of members, but also other dramatic changes, like that of the norms regulating their activities, the goals they plan to achieve, or the system of roles that compose them? This paper is as first step towards a well-founded ontological analysis of the persistence of organisations through changes. Our analysis leverages Kit Fine’s notions of rigid and variable embodiment and proposes to view the (history of the) decisions made by the members of the (...) organisation as the criterion to re-identify the organisation through change. (shrink)

In this paper we want to examine how the mutual understanding of speakers is reached during a conversation through collaborative processes, and what role is played by abductive inference (in the Peircean sense) in these processes. We do this by bringing together contributions coming from a variety of disciplines, such as logic, philosophy of language and psychology. When speakers are engaged in a conversation, they refer to a supposed common ground: every participant ascribes to the others some knowledge, belief, opinion (...) etc. on which to rely in order to reach mutual understanding. As the conversation unfolds, this common ground is continually corrected and reshaped by the interchanges. An abductive reasoning takes place, in a collaborative setting, in order to build new possible theories about the common ground. In reconstructing this process through the use of a working example, we argue that the integration of a collaborative perspective within the Peircean theory of abduction can help to solve some of the drawbacks that the critics of the latter have outlined, for example its permissivity and non generativity. (shrink)

In knowledge representation, socio-technical systems can be modeled as multiagent systems in which the local knowledge of each individual agent can be seen as a context. In this paper we propose formal ontologies as a means to describe the assumptions driving the construction of contexts as local theories and to enable interoperability among them. In particular, we present two alternative conceptualizations of the notion of sociomateriality (and entanglement), which is central in the recent debates on socio-technical systems in the social (...) sciences, namely critical and agential realism. We thus start by providing a model of entanglement according to the critical realist view, representing it as a property of objects that are essentially dependent on different modules of an already given ontology. We refine then our treatment by proposing a taxonomy of sociomaterial entanglements that distinguishes between ontological and epistemological entanglement. In the final section, we discuss the second perspective, which is more challenging form the point of view of knowledge representation, and we show that the very distinction of information into modules can be at least in principle built out of the assumption of an entangled reality. (shrink)

In this paper we investigate how the dynamic nature of words’ meanings plays a role in a philosophical theory of meaning. For ‘dynamic nature’ we intend the characteristic of being flexible, of changing according to many factors (speakers, contexts, and more). We consider meaning as something that gradually takes shape from the dynamic processes of communication. Accordingly, we present a draft of a theory of meaning that, on the one hand, describes how a private meaning is formed as a mental (...) state of individual agents during a lifetime of experiences, and, on the other hand, shows how a public meaning emerges from the interaction of agents. When communicating with each other, agents need to converge on a shared meaning of the words used, by means of a negotiation process. A public meaning is the abstract product of many of these processes while, at the same time, the private meanings are continually reshaped by each negotiation. Exploring this dynamics, we have been looking at the work done by computer scientists dealing with problems of heterogeneity of sources of information. We argue that a suitable solution for both disciplines lies in a systematic characterization of the processes of meaning negotiation. (shrink)

In this paper, building on these previous works, we propose to go deeper into the understanding of crowd behavior by proposing an approach which integrates ontologi- cal models of crowd behavior and dedicated computer vision algorithms, with the aim of recognizing some targeted complex events happening in the playground from the observation of the spectator crowd behavior. In order to do that, we first propose an ontology encoding available knowledge on spectator crowd behavior, built as a spe- cialization of the (...) DOLCE foundational ontology, which allows the representation of categories belonging both to the physical and to the social realms. We then propose a simplified and tractable version of such ontology in a new temporal extension of a description logic, which is used for temporally coupling events happening on the play- ground and spectator crowd behavior. At last, computer vision algorithms provide the input information concerning what is observed on the stands and ontological reasoning delivers the output necessary to perform complex event recognition. (shrink)

Nonostante la pervasività della nozione di servizio e le recenti proposte per una Scienza dei Servizi unificata, esistono ancora parecchie inconsistenze tra le varie definizioni di servizio in uso nelle diverse discipline (e spesso anche all'interno della stessa disciplina). In particolare, a dispetto del fatto che l'obiettivo generale di questa scienza dovrebbe essere di permettere a persone e calcolatori di interagire agevolmente con i servizi nella vita di tutti i giorni, molti approcci alla modellazione dei servizi in informatica (specialmente quelli (...) centrati sui servizi web) sembrano focalizzarsi principalmente sugli aspetti connessi al flusso dati, per cui i servizi sono considerati come scatole nere che trasformano un ingresso in un’uscita, e che interoperano tra loro secondo modalità predefinite. Questo modello a scatola nera ha sicuramente i suoi vantaggi ma, stando a quanto dicono Petrie e Bussler, sembra funzionare bene sono all'interno di contesti omogenei, i cosiddetti parchi di servizi, dove l'interoperabilità è tecnicamente possibile solo perché i contenuti e le modalità di erogazione di ogni servizio sono predefiniti e condivisi da tutti i soggetti coinvolti. (shrink)

A thorough understanding of what needs are is fundamental for design- ing well-behaved information systems for many social applications and in partic- ular for public services. Talking about needs pervades indeed the jargon of Public Administrations when motivating their service offering. In this paper, we propose an ontological analysis of needs, aiming at a principled disentangling of the differ- ent uses of the term. We leverage philosophical tradition on intentionality, for its rich understanding of mental entities, we compare it with (...) the well-established BDI (Belief-Desire-Intention) tradition in knowledge representation, and we propose a formalisation of needs within the foundational ontology DOLCE. Throughout the paper, we motivate our analysis focusing on needs in public services. (shrink)

Forests, cars and orchestras are very different ontological entities, and yet very similar in some aspects. The relationships they have with the elements they are composed of is often assumed to be reducible to standard ontological relations, like parthood and constitution, but how this could be done is still debated. This paper sheds light on the issue starting from a linguistic and philosophical analysis aimed at understanding notions like plurality, collective and composite, and propos- ing a formal approach to characterise (...) them. We conclude the presentation with a discussion and analysis of social groups within this framework. (shrink)

Nonostante la pervasività della nozione di servizio e le recenti proposte per una Scienza dei Servizi unificata, esistono ancora parecchie inconsistenze tra le varie definizioni di servizio in uso nelle diverse discipline (e spesso anche all'interno della stessa disciplina). In particolare, a dispetto del fatto che l'obiettivo generale di questa scienza dovrebbe essere di permettere a persone e calcolatori di interagire agevolmente con i servizi nella vita di tutti i giorni, molti approcci alla modellazione dei servizi in informatica (specialmente quelli (...) centrati sui servizi web) sembrano focalizzarsi principalmente sugli aspetti connessi al flusso dati, per cui i servizi sono considerati come scatole nere che trasformano un ingresso in un’uscita, e che interoperano tra loro secondo modalità predefinite. Questo modello a scatola nera ha sicuramente i suoi vantaggi ma, stando a quanto dicono Petrie e Bussler, sembra funzionare bene sono all'interno di contesti omogenei, i cosiddetti parchi di servizi, dove l'interoperabilità è tecnicamente possibile solo perché i contenuti e le modalità di erogazione di ogni servizio sono predefiniti e condivisi da tutti i soggetti coinvolti. (shrink)

Primary goal of this paper is to show that counterfactual reasoning, as many other kinds of common sense reasoning, can be studied and analyzed through what we can call a cognitive approach, that represents knowledge as structured and partitioned into different domains, everyone of which has a specific theory, but can exchange data and information with some of the others. Along these lines, we are going to show that a kind of ``counterfactual attitude'' is pervasive in a lot of forms (...) of common sense reasoning, as in theories of action, beliefs/intentions ascription, cooperative and antagonistic situations, communication acts. The second purpose of the paper is to give a reading of counterfactual reasoning as a specific kind of contextual reasoning, this latter interpreted according to the theory of MultiContext Systems developed by Fausto Giunchiglia and his group. (shrink)

1 Introduzione La Fiorentina è una squadra di calcio dalla vita ultimamente piuttosto travagliata. Maurizio Ferraris, citando un’acuta osservazione di un suo studente, dà un’interessante descrizione di questa sua complicata esistenza: L’ac Fiorentina, nata il 26 agosto 1926, fallisce nel luglio 2002, e cessa ufficialmente di esistere. Una nuova società, la Florentia Viola, nasce il 3 agosto 2002, all’indomani della mancata iscrizione al campionato di serie B della ac Fiorentina 1926, e prende...

This book is written in homage to Nicola Guarino. It is a tribute to his many scientific contributions to the new discipline, applied ontology, he struggled to establish. Nicola Guarino is widely recognized as one of the pioneers in formal and applied ontology. Renow – and sometimes even criticized – for his deep interest for the subtlest details of theoretical analysis, all throughout his career he has held the conviction that all science has to be for the benefit of society (...) at large, hence his motto that ontologies are not just for making information systems interoperable, but also – and more importantly – for making people (users of the systems) understand each other. He was among the first to realize that, to capture the intended meaning of the terms used by an information system, applied ontology has necessarily to be an interdisciplinary enterprise. Nicola’s early career developed in the areas of data systems and expert systems in physics and biomedical engineering. The lack of methodologies in expert systems led him to turn to philosophical logic as a source of inspiration, prompting him to attend the meetings of the analytic philosophy group at the University of Padua, and to discover a whole new world. It was the end of the 1980s and in that period the term ‘ontology’ started to be used to indicate a shared vocabulary across a community. Recognizing the potentials of this idea, Nicola began studying philosophical work. Knowing that language remains one of the pivotal elements in knowledge acquisition and representation, he paired it with the study of linguistic analysis. The combination of the two fields proved to be fundamental to shape his research vision, which could be summarized as: ontological analysis is hard, yet unavoidable to address the pervasive need for explicit, meaningful and transparent information systems. In other words, ontology makes sense. (shrink)

Nicola Guarino is widely recognized as one of the founders of applied ontology. His deep interest in the subtlest details of theoretical analysis and his vision of ontology as the Rosetta Stone for semantic interoperability guided the development and understanding of this domain. His motivations in research stem from the conviction that all science must be for the benefit of society at large, and his motto has always been that ontologies are not just for making information systems interoperable, but – (...) more importantly – for ensuring that systems’ users understand each other. He was among the first to recognize that applied ontology must be an interdisciplinary enterprise if it is to capture the intended meaning of the terms used by an information system. (shrink)

This volume collects the papers presented at the 9th edition of the Formal Ontology in Information Systems conference, FOIS 2016, held July 6–9, 2016, in Annecy, France. As in the previous editions, FOIS 2016 included keynote addresses, full paper presentations, an Ontology Competition, an Early Career Symposium in its scientific program and was preceded by the Interdisciplinary Summer School on Ontological Analysis, now at its third edition and held June 27–July 1 in Bolzano-Bozen, Italy.

Nicola Guarino is widely recognized as one of the founders of applied ontology. His deep interest in the subtlest details of theoretical analysis and his vision of ontology as the Rosetta Stone for semantic interoperability guided the development and understanding of this domain. His motivations in research stem from the conviction that all science must be for the benefit of society at large, and his motto has always been that ontologies are not just for making information systems interoperable, but – (...) more importantly – for ensuring that systems’ users understand each other. He was among the first to recognize that applied ontology must be an interdisciplinary enterprise if it is to capture the intended meaning of the terms used by an information system. (shrink)

This is a short editorial, maybe introducing editorial board members' changes.

The growth of the Semantic Web resulted in the emergence of various kinds of artificial agents navigating the web, sharing resources and communicating among each other in a more and more sophisticated fashion. No one denies the relevance of research concerning the establishment of architectures and models for representing and enabling interaction and communication among agents. In another domain, ontologies have been consecrated as an essential tool to structure information in order to facilitate shareability and re-usability of knowledge resources like (...) the ones found on the Web. It is therefore no surprise that the management of ontologies by interacting and communicating agents is a hot topic for the whole Semantic Web community. In addition, the ontological foundations of agent interaction still remain a very active research area. The present issue of Applied Ontology on Formal Ontologies for Communicating Agents follows a workshop organized in July/August 2006 in the scope of the 11th European Summer School in Logic, Language and Information. After the workshop we issued an open call for contributions that allowed us to select a focused range of works addressing the research topics raised in the original workshop call. We would like to thank Nicola Guarino and Laure Vieu for their help in the organization process, as well as all the reviewers and authors, all workshop participants and other people who contributed in various ways to the success of the workshop and of this issue of Applied Ontology. (shrink)