Reformism and Evaluation in the Field of Social and Political Sciences. Consequences for the Academic Community, Projects, People

After the introduction of the most recent University evaluation reforms, this article aims at presenting the first findings of a research project on these reforms and the evaluation processes carried out so far in the field of social and political sciences. In particular, the research wishes to investigate the relational dynamics, the behaviors and the values of the academic profession with special attention to the scientific activity, but without putting aside the implications for the teaching, management and the “third mission” activities. Inserted in the line of studies on higher education and evaluation well consolidated in Italy, the research is characterized by the added value  of  connecting the criticaltheoretical level to the empirical one

Ontology and medical terminology: Why description logics are not enough

Ontology is currently perceived as the solution of first resort for all problems related to biomedical terminology, and the use of description logics is seen as a minimal requirement on adequate ontology-based systems. Contrary to common conceptions, however, description logics alone are not able to prevent incorrect representations; this is because they do not come with a theory indicating what is computed by using them, just as classical arithmetic does not tell us anything about the entities that are added or subtracted. In this paper we shall show that ontology is indeed an essential part of any solution to the problems of medical terminology – but only if it is understood in the right sort of way. Ontological engineering, we shall argue, should in every case go hand in hand with a sound ontological theory

Using cross-lingual information to cope with underspecification in formal ontologies

Description logics and other formal devices are frequently used as means for preventing or detecting mistakes in ontologies. Some of these devices are also capable of inferring the existence of inter-concept relationships that have not been explicitly entered into an ontology. A prerequisite, however, is that this information can be derived from those formal definitions of concepts and relationships which are included within the ontology. In this paper, we present a novel algorithm that is able to suggest relationships among existing concepts in a formal ontology that are not derivable from such formal definitions. The algorithm exploits cross-lingual information that is implicitly present in the collection of terms used in various languages to denote the concepts and relationships at issue. By using a specific experimental design, we are able to quantify the impact of cross-lingual information in coping with underspecification in formal ontologies

Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies

Efficiently querying Description Logic (DL) ontologies is becoming a vital task in various data-intensive DL applications. Considered as a basic service for answering object queries over DL ontologies, instance checking can be realized by using the most specific concept (MSC) method, which converts instance checking into subsumption problems. This method, however, loses its simplicity and efficiency when applied to large and complex ontologies, as it tends to generate very large MSC's that could lead to intractable reasoning. In this paper, we propose a revision to this MSC method for DL SHI, allowing it to generate much simpler and smaller concepts that are specific-enough to answer a given query. With independence between computed MSC's, scalability for query answering can also be achieved by distributing and parallelizing the computations. An empirical evaluation shows the efficacy of our revised MSC method and the significant efficiency achieved when using it for answering object queries

Simulation model of the logistic distribution in a medical oxygen supply chain

Research activities on operations management in the last years are always more dedicated to supply chain and logistics optimization models. The study belongs to this branch and describes the problems related to a re-configuration of the distribution net in a company that produces medical oxygen cylinders for Italian market. The enterprise is particularly sensible to the optimization of supplying processes due to the characteristics of its product, as any delay in the delivery could create dangerous health situation for patients. The work has the objective to realize a software for supply chain management that could be a decision support system, analyzing strategic impacts that changes in distribution system create. In details, the model shows the differences in service level in case of closing one or more factories and the relative necessary changes in logistics net. The paper is articulated in the following parts: • analysis of company and construction of simulation model; • study of classic operation research techniques to solve dynamic vehicle routing problems; • description of possible scenes derived by strategic decision in closing factories; analysis of experiments and global conclusions and developments

Use-cases on evolution

This report presents a set of use cases for evolution and reactivity for data in the Web and Semantic Web. This set is organized around three different case study scenarios, each of them is related to one of the three different areas of application within Rewerse. Namely, the scenarios are: “The Rewerse Information System and Portal”, closely related to the work of A3 – Personalised Information Systems; “Organizing Travels”, that may be related to the work of A1 – Events, Time, and Locations; “Updates and evolution in bioinformatics data sources” related to the work of A2 – Towards a Bioinformatics Web

Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems

In this paper we investigate multi agent systems whose agent interaction is based on social commitments that evolve over time, in presence of (possibly incomplete) data. In particular, we are interested in modeling and verifying how data maintained by the agents impact on the dynamics of such systems, and on the evolution of their commitments. This requires to lift the commitment-related conditions studied in the literature, which are typically based on propositional logics, to a first-order setting. To this purpose, we propose a rich framework for modeling data-aware commitment-based multiagent systems. In this framework, we study verification of rich temporal properties, establishing its decidability under the condition of “state-boundedness”, i.e., data items come from an infinite domain but, at every time point, each agent can store only a bounded number of them

PHENOMENOLOGY TODAY: A GOOD TRAVEL MATE FOR ANALYTIC PHILOSOPHY?

On the basis of a short summary of phenomenological aims and methods, this essay describes the present state of relationships between phenomenology and analytic philosophy, pointing out the progress done in the last years on the way of their rapprochement, after a long time of reciprocal scorn and misunderstandings. In the way of a presentation of the Phenomenology Lab and Center’s present and future research program, it recalls some relevant chapters of past and present phenomenological research in Europe, and quite particularly in Italy. After discussing some aspects of contemporary debates in phenomenology and philosophy of mind, it attempts at establishing a convergent line of argument toward the assessment of an anti-reductive ontology of concreteness, or the life world